Uses of Class
org.multijava.mjc.JBlock

Packages that use JBlock

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.jmlspecs.jmldoc.jmldoc_142
org.jmlspecs.jmlrac	Generates Java classes from JML specifications that check assertions at runtime.
org.jmlspecs.jmlspec	A tool that can generate or compare specification skeletons from Java source or class files.
org.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of JBlock in org.jmlspecs.checker

Subclasses of JBlock in org.jmlspecs.checker

class	JConstructorBlockWrapper
class	JmlClassBlock This class represents a instance or static initializer block annotated with a JML method specification.

Fields in org.jmlspecs.checker declared as JBlock

private JBlock[]

JmlNondetChoiceStatement.alternativeStatements

Methods in org.jmlspecs.checker that return JBlock

JBlock	JmlMethodDeclaration.body()
JBlock[]	JmlNondetChoiceStatement.alternativeStatements() Returns an array of JStatement arrays, each of them representing a jml-compound-statement.

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

void	JmlAbstractVisitor.visitBlockStatement(JBlock self) Visits the given block statement.
static JmlMethodDeclaration	JmlMethodDeclaration.makeInstance(TokenReference where, long modifiers, CTypeVariable[] typevariables, CType returnType, String ident, JFormalParameter[] parameters, CClassType[] exceptions, JBlock body, JavadocComment javadoc, JavaStyleComment[] comments, JmlMethodSpecification methodSpecification)
void	JmlMethodDeclaration.setBody(JBlock body) Set the body of this method.
void	JmlVisitorNI.visitBlockStatement(JBlock self) visits an expression statement
void	JmlAccumSubclassingInfo.visitBlockStatement(JBlock self)
void	JmlAccumSubclassingInfo.visitTLMethodBody(JBlock body)

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

JMethodDeclarationWrapper(TokenReference where, long modifiers, CTypeVariable[] typevariables, CType returnType, String ident, JFormalParameter[] parameters, CClassType[] exceptions, JBlock body, JavadocComment javadoc, JavaStyleComment[] comments)
Construct a node in the parsing tree This method is directly called by the parser

JmlNondetChoiceStatement(TokenReference where, JBlock[] alternativeStatements, JavaStyleComment[] comments)

JmlSourceMethod(MemberAccess access, String ident, CType returnType, CSpecializedType[] paramTypes, CClassType[] exceptions, CTypeVariable[] typevariables, boolean deprecated, JBlock body, CContextType declarationContext, JMethodDeclaration declarationASTNode)

Uses of JBlock in org.jmlspecs.jmldoc.jmldoc_142

Methods in org.jmlspecs.jmldoc.jmldoc_142 with parameters of type JBlock

void	SpecWriter.visitBlockStatement(JBlock self) visits an expression statement

Uses of JBlock in org.jmlspecs.jmlrac

Subclasses of JBlock in org.jmlspecs.jmlrac

static class

RacParser.RacBlock A RAC node class for representing blocks.

Fields in org.jmlspecs.jmlrac declared as JBlock

protected JBlock

TransMethodBody.body method body to be translated

Methods in org.jmlspecs.jmlrac that return JBlock

protected JBlock	WrapperMethod.buildWrapperBody() Returns code for the body of the wrapper method being created.
private JBlock	ConstructorWrapper.buildWrapperBody(JExpression explicitSuper) Returns a body for the constructor wrapper being built.
JBlock	TransMethodBody.translate() Performs the translation of method body and returns the resulting method body, which may be modified during the translation.

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

void	TransMethodBody.visitBlockStatement(JBlock self) Translates the given Java block statement.

Uses of JBlock in org.jmlspecs.jmlspec

Methods in org.jmlspecs.jmlspec with parameters of type JBlock

void	JspPrettyPrinter.visitTLMethodBody(JBlock body)

Uses of JBlock in org.multijava.mjc

Subclasses of JBlock in org.multijava.mjc

class	JClassBlock This class represents an initializer block in a type declaration.
class	JConstructorBlock This class represents the block of a constructor.

Fields in org.multijava.mjc declared as JBlock

private JBlock	CSourceMethod.body
private JBlock	JMethodDeclaration.body
static JBlock	JBlock.DUM_BLOCK
private JBlock	JTryCatchStatement.tryClause
private JBlock	JTryFinallyStatement.tryClause
private JBlock	JTryFinallyStatement.finallyClause
private JBlock	JSynchronizedStatement.body
private JBlock	JCatchClause.body

Methods in org.multijava.mjc that return JBlock

JBlock	CSourceMethod.body() Returns the body of this method
protected JBlock	CSourceMethod.getBody()
JBlock	JMethodDeclaration.body()
abstract JBlock	JMethodDeclarationType.body() WMD TODO remove WMD TODO remove
JBlock	JTryCatchStatement.tryClause()
JBlock	JTryFinallyStatement.tryClause()
JBlock	JTryFinallyStatement.finallyClause()
JBlock	JSynchronizedStatement.body()
JBlock	JCatchClause.body()
private static JBlock	MJTopLevelAbstractMethodDeclaration.make_abstract_body(TokenReference where)

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

abstract void	MjcVisitor.visitBlockStatement(JBlock self) visits an expression statement
void	JMethodDeclaration.setBody(JBlock body)
void	MjcPrettyPrinter.visitTLMethodBody(JBlock body)
void	MjcPrettyPrinter.visitBlockStatement(JBlock self) prints an expression statement

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

CSourceMethod(MemberAccess access, String ident, CType returnType, CSpecializedType[] paramTypes, CClassType[] exceptions, CTypeVariable[] typevariables, boolean deprecated, JBlock body, CContextType declarationContext, JMethodDeclaration declarationASTNode)
Constructs a representation of the method as read from the source file including the type signature and the method body

JMethodDeclaration(TokenReference where, long modifiers, CTypeVariable[] typevariables, CType returnType, String ident, JFormalParameter[] parameters, CClassType[] exceptions, JBlock body, JavadocComment javadoc, JavaStyleComment[] comments)
Construct a node in the parsing tree This method is directly called by the parser

JInitializerDeclaration(TokenReference where, JBlock body, boolean isStatic, boolean isDummy)
Construct a node in the parsing tree This method is directly called by the parser

MJTopLevelMethodDeclaration(TokenReference where, long modifiers, CTypeVariable[] typevariables, CType returnType, CType openClassType, String ident, JFormalParameter[] parameters, CClassType[] exceptions, JBlock body, JavadocComment javadoc, JavaStyleComment[] comments)
This class represents a MultiJava external method in the syntax tree Construct a node in the parsing tree This method is directly called by the parser

JTryCatchStatement(TokenReference where, JBlock tryClause, JCatchClause[] catchClauses, JavaStyleComment[] comments)
Construct a node in the parsing tree.

JTryFinallyStatement(TokenReference where, JBlock tryClause, JBlock finallyClause, JavaStyleComment[] comments)
Construct a node in the parsing tree

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

JCatchClause(TokenReference where, JFormalParameter exception, JBlock body)
Constructs a node in the parsing tree.

CSourceRedirectorMethod(CClass owner, CMemberHost host, long modifiers, String ident, CType returnType, CSpecializedType[] paramTypes, CClassType[] exceptions, boolean deprecated, JBlock body, CContextType declarationContext)
Constructs a redirector method.

MJTopLevelAbstractMethodDeclaration(TokenReference where, long modifiers, CType returnType, CType openClassType, String ident, JFormalParameter[] parameters, CClassType[] exceptions, JBlock body, JavadocComment javadoc, JavaStyleComment[] comments)
This class represents an abstract MultiJava external method in the syntax tree.