Uses of Interface
org.multijava.mjc.JConstructorDeclarationType

Packages that use JConstructorDeclarationType

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.jmlspecs.jmldoc.jmldoc_142
org.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of JConstructorDeclarationType in org.jmlspecs.checker

Classes in org.jmlspecs.checker that implement JConstructorDeclarationType

class	JConstructorDeclarationWrapper A class representing a constructor declaration in the syntax tree.
class	JmlConstructorDeclaration JmlConstructorDeclaration.java

Methods in org.jmlspecs.checker that return JConstructorDeclarationType

protected JConstructorDeclarationType	JClassDeclarationWrapper.constructDefaultConstructor() Builds an AST node representing the default constructor for this class.
JConstructorDeclarationType	JmlTypeDeclaration.getDefaultConstructor()

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

void	JmlTypeDeclaration.setDefaultConstructor(JConstructorDeclarationType defaultConstructor)

Uses of JConstructorDeclarationType in org.jmlspecs.jmldoc.jmldoc_142

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

void	SpecWriter.visitConstructorDeclaration(JConstructorDeclarationType self) visits a constructor declaration

Uses of JConstructorDeclarationType in org.multijava.mjc

Classes in org.multijava.mjc that implement JConstructorDeclarationType

class

JConstructorDeclaration This class represents a constructor in the AST

Fields in org.multijava.mjc declared as JConstructorDeclarationType

private JConstructorDeclarationType

JTypeDeclaration.defaultConstructor

Methods in org.multijava.mjc that return JConstructorDeclarationType

abstract JConstructorDeclarationType	JTypeDeclarationType.getDefaultConstructor()
JConstructorDeclarationType	JTypeDeclaration.getDefaultConstructor()
protected JConstructorDeclarationType	JClassDeclaration.constructDefaultConstructor() Builds an AST node representing the default constructor for this class.

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

abstract void	JTypeDeclarationType.setDefaultConstructor(JConstructorDeclarationType defaultConstructor)
void	JTypeDeclaration.setDefaultConstructor(JConstructorDeclarationType defaultConstructor)