Uses of Class
org.multijava.mjc.JStatement

Packages that use JStatement

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.jmlspecs.jmlrac	Generates Java classes from JML specifications that check assertions at runtime.
org.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of JStatement in org.jmlspecs.checker

Subclasses of JStatement in org.jmlspecs.checker

class	JConstructorBlockWrapper
class	JmlAssertOrAssumeStatement This class represents the type of assert-statement, and assume-statement in JML.
class	JmlAssertStatement JmlAssertStatement.java
class	JmlAssignmentStatement JmlAssignmentStatement.java
class	JmlAssumeStatement JmlAssumeStatement.java
class	JmlClassBlock This class represents a instance or static initializer block annotated with a JML method specification.
class	JmlDebugStatement A concrete AST node class to represent the debug statement of the following form: debug-statement ::= "debug" expression ;
class	JmlGuardedStatement JmlGuardedStatement.java
class	JmlHenceByStatement JmlHenceByStatement.java
class	JmlInvariantStatement JmlInvariantStatement.java
class	JmlLoopStatement This class represents loop-stmts annotated with loop-invariants and/or variant-functions.
class	JmlModelProgStatement The type of model-prog-statements.
class	JmlNondetChoiceStatement JmlNondetChoiceStatement.java
class	JmlNondetIfStatement JmlNondetIfStatement.java
class	JmlSetStatement JmlSetStatement.java
class	JmlSpecStatement JmlSpecStatement.java
class	JmlUnreachableStatement JmlUnreachableStatement.java
class	JStatementWrapper An abstraction of JML statement ASTs that should be subclass of JStatement.

Fields in org.jmlspecs.checker declared as JStatement

private JStatement	JStatementWrapper.assertionCode Java source code generated by jmlrac to check the assertion at runtime.
private JStatement	JmlFieldDeclaration.assertionCode Java source code generated by jmlrac for runtime assertion checking.
private JStatement[]	JmlGuardedStatement.statements
private JStatement	JmlLoopStatement.stmt
private JStatement[]	JmlModelProgram.statements
private JStatement[]	JmlNondetIfStatement.elseStatements
private JStatement	JmlOldExpression.target
private JStatement	JmlSetStatement.assertionCode Java source code generated by jmlrac to execute this set statement at runtime.
private JStatement	JmlUnreachableStatement.assertionCode Java source code generated by jmlrac to check the assertion at runtime.

Methods in org.jmlspecs.checker that return JStatement

JStatement	JStatementWrapper.assertionCode() Returns the Java source code generated by jmlrac to check this assertion at runtime.
JStatement	JmlFieldDeclaration.assertionCode() Returns the Java source code generated by jmlrac for runtime assertion checking.
JStatement[]	JmlGuardedStatement.statements()
JStatement	JmlLoopStatement.stmt() Returns the statement of this JML loop statement.
JStatement[]	JmlModelProgram.statements()
JStatement[]	JmlNondetIfStatement.elseStatements()
JStatement	JmlSetStatement.assertionCode() Returns the Java source code generated by jmlrac to execute this set statement at runtime.
JStatement	JmlUnreachableStatement.assertionCode() Returns the Java source code generated by jmlrac to check this assertion at runtime.
JStatement	JmlFlowControlContext.getNearestBreakableStatement() Returns the nearest breakable statement.
JStatement	JmlFlowControlContext.getNearestContinuableStatement() Returns the nearest continuable statement.
JStatement[]	JmlParser.jCompoundStatement(ParsingController.TokenWrapper declEnd)
JStatement	JmlParser.jStatement()
JStatement	JmlParser.mjStatement()
JStatement	JmlParser.jLoopStatement()
JStatement	JmlParser.jTryBlock()
JStatement	JmlParser.jForInit()
protected JStatement	TestJmlParser.Helper.getStatement(String sourceCode)

Methods in org.jmlspecs.checker with parameters of type JStatement

void	JmlAbstractVisitor.visitCompoundStatement(JStatement[] body) Visits the given compound statement.
void	JStatementWrapper.setAssertionCode(JStatement code) Sets the Java source code generated by jmlrac to check this assertion at runtime.
void	JmlFieldDeclaration.setAssertionCode(JStatement code) Sets the Java source code generated by jmlrac for runtime assertion checking.
void	JmlSetStatement.setAssertionCode(JStatement code) Sets the Java source code generated by jmlrac to execute this set statement at runtime.
void	JmlUnreachableStatement.setAssertionCode(JStatement code) Sets the Java source code generated by jmlrac to check this assertion at runtime.
void	JmlAccumSubclassingInfo.visitCompoundStatement(JStatement[] body)

Constructors in org.jmlspecs.checker with parameters of type JStatement

JConstructorBlockWrapper(TokenReference where, JStatement[] body)
Construct a node in the parsing tree.

JmlClassBlock(TokenReference where, boolean isStatic, JStatement[] body, JavadocComment javadoc, JmlMethodSpecification methodSpecification)
Constructs an initializer AST node annotated with a method specification.

JmlGuardedStatement(TokenReference where, JmlAssumeStatement assumeStatement, JStatement[] statements)

JmlLoopStatement(TokenReference where, JmlLoopInvariant[] loopInvariants, JmlVariantFunction[] variantFunctions, JStatement stmt, JavaStyleComment[] comments)
Constructs a new instance with the given arguments.

JmlModelProgram(TokenReference where, long modifiers, JStatement[] statements)

JmlNondetIfStatement(TokenReference where, JmlGuardedStatement[] guardedStatements, JStatement[] elseStatements, JavaStyleComment[] comments)

Uses of JStatement in org.jmlspecs.jmlrac

Subclasses of JStatement in org.jmlspecs.jmlrac

static class	RacParser.RacBlock A RAC node class for representing blocks.
static class	RacParser.RacStatement A RAC node class for representing statements.

Methods in org.jmlspecs.jmlrac that return JStatement

protected JStatement[]

TransMethod.genDelegatedMethod() Generates a method body for a non-abstract method that does not have an implementation; it is used to generate test fixtures for specification files in the absence of .java implementations.

Methods in org.jmlspecs.jmlrac with parameters of type JStatement

void	TransMethodBody.visitCompoundStatement(JStatement[] body) Translates the given Java compound statement.

Uses of JStatement in org.multijava.mjc

Subclasses of JStatement in org.multijava.mjc

class	JAssertStatement The syntax for Java assert statements is defined as follows.
class	JBlock A block is a sequence of statements and local variable declaration statements within braces.
class	JBreakStatement This class represents a break statement.
class	JClassBlock This class represents an initializer block in a type declaration.
class	JClassFieldDeclarator JLS 14.5: Field Statement.
class	JCompoundStatement A compound statement is a sequence of statements and local variable declaration statements without braces.
class	JConstructorBlock This class represents the block of a constructor.
class	JContinueStatement A continue statement may occur only in a while, do, or for statement; statements of these three kinds are called iteration statements.
class	JDoStatement This class represents a do statement in the AST.
class	JEmptyStatement This class represents an empty statement, which does nothing.
class	JExpressionListStatement This class represents an expression list, a comma-separated list of expression statements used in the initializer and iterator of a for-loop statement.
class	JExpressionStatement Certain kinds of expressions may be used as statements by following them with semicolon.
class	JForStatement This class represents a for statement in the AST.
class	JIfStatement This class represents an if statement in the AST.
class	JLabeledStatement This class represents a labeled statement.
class	JLoopStatement This abstract class is the superclass for all the classes representing loop statements in the AST.
class	JReturnStatement This class represents a return statement in the AST.
class	JSwitchStatement This class represents a switch statement in the AST.
class	JSynchronizedStatement This class represents a synchronized statement in an AST.
class	JThrowStatement This class represents a throw statement in the AST.
class	JTryCatchStatement This class represents a try-catch statement in the AST.
class	JTryFinallyStatement This class represents a try-catch statement in the AST.
class	JTypeDeclarationStatement This class represents a local type declaration statement.
class	JVariableDeclarationStatement A local variable declaration statement declares one or more local variable names.
class	JWhileStatement This class represents a while statement in the AST.

Fields in org.multijava.mjc declared as JStatement

protected JStatement[]	JBlock.body
private JStatement	JConstructorBlock.outerFieldInitializer Contains the AST for code to initialize local fields of inner classes that hold references to outer classes.
private JStatement	JWhileStatement.body
protected JStatement	JAssertStatement.desugared_stmt
private JStatement	JLabeledStatement.stmt
private JStatement	JIfStatement.thenClause
private JStatement	JIfStatement.elseClause
private JStatement	JForStatement.init
private JStatement	JForStatement.incr
private JStatement	JForStatement.body
private JStatement[]	JCompoundStatement.body
private JStatement	JDoStatement.body
private JStatement	JContinueStatement.target
private JStatement	JBreakStatement.target
private JStatement[]	JSwitchGroup.stmts

Methods in org.multijava.mjc that return JStatement

JStatement[]	JBlock.body()
JStatement	JConstructorBlock.blockCall() This lame accessor method is provided for JML visitor code.
abstract JStatement	CFlowControlContextType.getNearestBreakableStatement() Returns the nearest breakable statement.
abstract JStatement	CFlowControlContextType.getNearestContinuableStatement() Returns the nearest continuable statement.
JStatement	JWhileStatement.body()
JStatement	JLabeledStatement.stmt()
JStatement	JIfStatement.thenClause()
JStatement	JIfStatement.elseClause()
JStatement	JForStatement.init()
JStatement	JForStatement.incr()
JStatement	JForStatement.body()
JStatement[]	JCompoundStatement.body()
JStatement	JDoStatement.body()
JStatement[]	JSwitchGroup.getStatements() Returns a list of statements
JStatement	CFlowControlContext.getNearestBreakableStatement() Returns the nearest breakable statement.
JStatement	CFlowControlContext.getNearestContinuableStatement() Returns the nearest continuable statement.
JStatement	CLoopContext.getNearestBreakableStatement() Get the nearest breakable statement
JStatement	CLoopContext.getNearestContinuableStatement() Get the nearest continuable statement.
JStatement	CSwitchBodyContext.getNearestBreakableStatement() remove a label from the list of labels
JStatement[]	MjcParser.jCompoundStatement(ParsingController.TokenWrapper declEnd)
JStatement	MjcParser.jStatement()
JStatement	MjcParser.mjStatement()
JStatement	MjcParser.jLoopStatement()
JStatement	MjcParser.jTryBlock()
JStatement	MjcParser.jForInit()

Methods in org.multijava.mjc with parameters of type JStatement

void	CodeSequence.plantBreak(JStatement top) Ask the code handler to generate the necessary code to call every finally and monitorexit
void	CodeSequence.pushContext(JStatement stmt) Informs the code handlers that we begin a portion of breakable code.
void	CodeSequence.popContext(JStatement stmt) Informs the code handlers that we exit a breakable code.
void	MjcPrettyPrinter.visitCompoundStatement(JStatement[] body) prints a compound statement

Constructors in org.multijava.mjc with parameters of type JStatement

JBlock(TokenReference where, JStatement[] body, JavaStyleComment[] comments)
Construct a node in the parsing tree.

JConstructorBlock(TokenReference where, JStatement[] body)
Construct a node in the parsing tree.

JClassBlock(TokenReference where, boolean isStatic, JStatement[] body, JavadocComment javadoc)
Construct a node in the parsing tree

JClassBlock(TokenReference where, boolean isStatic, JStatement[] body)
Construct a block with no javadocs annotations.

JWhileStatement(TokenReference where, JExpression cond, JStatement body, JavaStyleComment[] comments)
Construct a node in the parsing tree

JLabeledStatement(TokenReference where, String label, JStatement stmt, JavaStyleComment[] comments)
Construct a node in the parsing tree.

JIfStatement(TokenReference where, JExpression cond, JStatement thenClause, JStatement elseClause, JavaStyleComment[] comments)
Construct a node in the parsing tree.

JForStatement(TokenReference where, JStatement init, JExpression cond, JStatement incr, JStatement body, JavaStyleComment[] comments)
Construct a node in the parsing tree

JCompoundStatement(TokenReference where, JStatement[] body)
Construct a node in the parsing tree.

JDoStatement(TokenReference where, JExpression cond, JStatement body, JavaStyleComment[] comments)
Construct a node in the parsing tree.

JSwitchGroup(TokenReference where, JSwitchLabel[] labels, JStatement[] stmts)
Construct a node in the parsing tree.