Uses of Class
org.multijava.mjc.JConstructorBlock

Packages that use JConstructorBlock

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.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of JConstructorBlock in org.jmlspecs.checker

Subclasses of JConstructorBlock in org.jmlspecs.checker

class

JConstructorBlockWrapper

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

void	JmlAbstractVisitor.visitConstructorBlock(JConstructorBlock self) Visits the given constructor block.
static JmlConstructorDeclaration	JmlConstructorDeclaration.makeInstance(TokenReference where, long modifiers, String ident, JFormalParameter[] params, CClassType[] exceptions, JConstructorBlock body, JavadocComment javadoc, JavaStyleComment[] comments, JmlMethodSpecification methodSpecification)
void	JmlVisitorNI.visitConstructorBlock(JConstructorBlock self) visits a constructor block
void	JmlAccumSubclassingInfo.visitConstructorBlock(JConstructorBlock self)

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

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

Uses of JConstructorBlock in org.jmlspecs.jmldoc.jmldoc_142

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

void	SpecWriter.visitConstructorBlock(JConstructorBlock self) visits a constructor block

Uses of JConstructorBlock in org.jmlspecs.jmlrac

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

void	TransMethodBody.visitConstructorBlock(JConstructorBlock self) Translates the given Java constructor statement.

Uses of JConstructorBlock in org.multijava.mjc

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

abstract void	MjcVisitor.visitConstructorBlock(JConstructorBlock self) visits a constructor block
void	MjcPrettyPrinter.visitConstructorBlock(JConstructorBlock self) prints an expression statement

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

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

JConstructorDeclaration(TokenReference where, long modifiers, String ident, JFormalParameter[] parameters, CClassType[] exceptions, JConstructorBlock body)
Constructs an AST node for a compiler-generated constructor.