Uses of Interface
org.multijava.mjc.JTypeDeclarationType

Packages that use JTypeDeclarationType

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.jmlspecs.jmlunit	Generates JUnit test classes from JML specifications.
org.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of JTypeDeclarationType in org.jmlspecs.checker

Classes in org.jmlspecs.checker that implement JTypeDeclarationType

class	JClassDeclarationWrapper A wrapper class to JClassDeclaration to implement JML-specific typechecking.
class	JInterfaceDeclarationWrapper This class represents a java interface in the syntax tree
class	JmlClassDeclaration This type represents a java class declaration in the syntax tree.
class	JmlInterfaceDeclaration This class represents a java interface in the syntax tree
class	JmlTypeDeclaration This type represents a java class or interface in the syntax tree.

Fields in org.jmlspecs.checker declared as JTypeDeclarationType

private JTypeDeclarationType[]

JmlCompilationUnit.combinedTypeDeclarations

Methods in org.jmlspecs.checker that return JTypeDeclarationType

JTypeDeclarationType[]	JmlCompilationUnit.typeDeclarations()
JTypeDeclarationType[]	JmlCompilationUnit.combinedTypeDeclarations()

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

void	JmlContext.catchUp(JTypeDeclarationType decl) Calls back to the compiler for this context and requests that the compiler catch-up decl to the same pass as the currently active task.
void	JmlClassContext.checkingComplete(JTypeDeclarationType decl, CVariableInfoTable staticC, CVariableInfoTable instanceC, CVariableInfoTable[] constructorsC) Verifies that all final fields are initialized and all abstract methods are appropriately implemented.
void	JmlInterfaceContext.checkingComplete(JTypeDeclarationType decl, CVariableInfoTable staticC, CVariableInfoTable instanceC, CVariableInfoTable[] constructorsC) Verifies all final fields are initialized. !

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

JmlCompilationUnit(TokenReference where, JPackageName packageName, CCompilationUnit export, JPackageImportType[] importedPackages, ArrayList importedUnits, JTypeDeclarationType[] typeDeclarations, ArrayList tlMethods, JmlRefinePrefix refinePrefix)
Constructs a CompilationUnit with the specified top level context

Uses of JTypeDeclarationType in org.jmlspecs.jmldoc.jmldoc_142

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

(package private) void	JmlHTML.jmlize(JTypeDeclarationType jtype, String packageRoot) This method generates the html file for the class represented by 'jtype'.
protected void	JmlHTML.jmlizeFile(File f, JTypeDeclarationType jtype) This method inserts into the given File all the jml annotations corresponding to the given JTypeDeclarationType.
void	JmldocWrapper.select(JTypeDeclarationType jtype)

Uses of JTypeDeclarationType in org.jmlspecs.jmlrac

Fields in org.jmlspecs.jmlrac declared as JTypeDeclarationType

static JTypeDeclarationType	TransUtils.typeDecl
protected JTypeDeclarationType	TransMethodBody.typeDecl type declaration to which the method belongs
protected JTypeDeclarationType	TransExpression.typeDecl The type declaration within which this expression resides (the type of 'this').
protected JTypeDeclarationType	TransExpression2.typeDecl The type declaration within which this expression resides (the type of 'this').

Constructors in org.jmlspecs.jmlrac with parameters of type JTypeDeclarationType

TransMethodBody(VarGenerator varGen, JmlMethodDeclaration mdecl, JTypeDeclarationType typeDecl)
Construct an object of TransMethodBody.

TransConstructorBody(VarGenerator varGen, JmlMethodDeclaration mdecl, JTypeDeclarationType typeDecl)
Construct an object of TransConstructorBody.

TransExpression(VarGenerator varGen, RacContext ctx, JExpression expr, String resultVar, JTypeDeclarationType typeDecl)
Constructs an instance and translates the given expression.

TransExpression2(VarGenerator varGen, RacContext ctx, JExpression expr, String resultVar, JTypeDeclarationType typeDecl)
Constructs an instance and translates the given expression.

TransExpressionSideEffect(VarGenerator varGen, RacContext ctx, JExpression expr, String resultVar, JTypeDeclarationType typeDecl)
Constructs an instance and translates the given expression.

TransExpressionSideEffect(VarGenerator varGen, JExpression expr, String resultVar, JTypeDeclarationType typeDecl)
Constructs an instance and translates the given expression.

TransPredicate(VarGenerator varGen, RacContext ctx, JExpression pred, String resultVar, JTypeDeclarationType typeDecl)
Constructs a new instance.

TransPostcondition(VarGenerator varGen, RacContext ctx, VarGenerator oldVarGen, boolean forStatic, JExpression pred, String resultVar, JTypeDeclarationType typeDecl)
Constructs a new instance and translates the given postcondition, pred.

TransOldExpression(VarGenerator varGen, RacContext ctx, JExpression expr, String resultVar, JTypeDeclarationType typeDecl)
Construct an object of TransOldExpression.

TransPostExpression2(VarGenerator varGen, RacContext ctx, VarGenerator oldVarGen, boolean forStatic, JExpression pred, String resultVar, JTypeDeclarationType typeDecl)
Constructs a new instance and translates the given post-expression.

Uses of JTypeDeclarationType in org.jmlspecs.jmlspec

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

String	JspComparator.compareTypes(JTypeDeclarationType[] types, JTypeDeclarationType[] jtypes, String filename, String jfilename)
String	JspComparator.compareTypes(JTypeDeclarationType[] types, Class[] jtypes, String filename, String jfilename)
boolean	JspComparator.isInterface(JTypeDeclarationType t)
String	JspComparator.compareType(JTypeDeclarationType ty, JTypeDeclarationType jty, String filename, String jfilename)
String	JspComparator.compareType(JTypeDeclarationType ty, Class cc, String filename, String jfilename)

Uses of JTypeDeclarationType in org.jmlspecs.jmlunit

Fields in org.jmlspecs.jmlunit declared as JTypeDeclarationType

protected JTypeDeclarationType

TestClassGenerator.typeDecl The type declaration currently being translated.

Methods in org.jmlspecs.jmlunit with parameters of type JTypeDeclarationType

protected void	TestClassGenerator.generateTestClass(JCompilationUnit cunit, JTypeDeclarationType cdecl) Generates a test oracle class for the given class declaration, cdecl.
private void	TestClassGenerator.printTestIsRACCompiled(JTypeDeclarationType cdecl) Prints test$IfRACCompiled method.
private boolean	TestClassGenerator.isTestable(JTypeDeclarationType cdecl, String fileNameId) Returns true if the given type declaration is testable using the JML/JUnit approach.
protected void	TestDataClassGenerator.generateTestClass(JCompilationUnit cunit, JTypeDeclarationType cdecl) Generates a test data class for the given class, cdecl.

Uses of JTypeDeclarationType in org.multijava.mjc

Subinterfaces of JTypeDeclarationType in org.multijava.mjc

interface	JClassDeclarationType This type represents a java class declaration in the syntax tree.
interface	JInterfaceDeclarationType This type represents a java interface in the syntax tree.

Classes in org.multijava.mjc that implement JTypeDeclarationType

class	JClassDeclaration This class represents a java class in the syntax tree
class	JInterfaceDeclaration This class represents a java interface in the syntax tree
class	JTypeDeclaration This class represents a java class or interface in the syntax tree
class	MJGenericFunctionDecl This class represents a group of method declarations, all sharing the same name, that together form the top of one or more overloaded external generic function lattices.

Fields in org.multijava.mjc declared as JTypeDeclarationType

private JTypeDeclarationType[]	JCompilationUnit.typeDeclarations
private JTypeDeclarationType	JTypeDeclarationStatement.decl

Methods in org.multijava.mjc that return JTypeDeclarationType

JTypeDeclarationType[]	JCompilationUnit.typeDeclarations()
abstract JTypeDeclarationType[]	JCompilationUnitType.typeDeclarations()
JTypeDeclarationType	JTypeDeclarationStatement.decl()
JTypeDeclarationType[]	CParseCompilationUnitContext.getTypeDeclarations()

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

abstract void	CContextType.catchUp(JTypeDeclarationType decl) Calls back to the compiler for this context and requests that the compiler catch-up decl to the same pass as the currently active task.
void	Main.catchUp(JTypeDeclarationType decl) Compiles the given AST (using the options of the current compilation session) up to the same compilation pass as the currently active task in the task queue.
Main.Task	Main.firstCheckingTask(JTypeDeclarationType decl) Generates the first task in the compilation sequence for an already formed AST.
void	CTopLevel.CTopLevel$1.catchUp(JTypeDeclarationType decl)
private void	JCompilationUnit.clonePrivateAnchorsAndAddTo(Main compiler, JTypeDeclarationType parent, boolean genInterface) Clones every private generic function anchor and adds each as a child of the given parent node.
void	CContext.catchUp(JTypeDeclarationType decl) Calls back to the compiler for this context and requests that the compiler catch-up decl (which is necessary the AST for an anonymous type or a type declared in a type declaration statement) to the same pass as the currently active task.
void	CClassContext.checkingComplete(JTypeDeclarationType decl, CVariableInfoTable staticC, CVariableInfoTable instanceC, CVariableInfoTable[] constructorsC) Verifies that all final fields are initialized and all abstract methods are appropriately implemented.
abstract void	CClassContextType.checkingComplete(JTypeDeclarationType decl, CVariableInfoTable staticC, CVariableInfoTable instanceC, CVariableInfoTable[] constructorsC) Verifies that all final fields are initialized and all abstract methods are appropriately implemented.
void	CParseClassContext.addInnerDeclaration(JTypeDeclarationType decl)
abstract void	CInterfaceContextType.checkingComplete(JTypeDeclarationType decl, CVariableInfoTable staticC, CVariableInfoTable instanceC, CVariableInfoTable[] constructorsC) Verifies all final fields are initialized.
void	CParseCompilationUnitContext.addTypeDeclaration(Main compiler, JTypeDeclarationType decl)
void	CInterfaceContext.checkingComplete(JTypeDeclarationType decl, CVariableInfoTable staticC, CVariableInfoTable instanceC, CVariableInfoTable[] constructorsC) Verifies all final fields are initialized.

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

JCompilationUnit(TokenReference where, JPackageName packageName, CCompilationUnit export, JPackageImportType[] importedPackages, ArrayList importedUnits, JTypeDeclarationType[] typeDeclarations, ArrayList tlMethods)
Constructs a CompilationUnit with the specified top level context

JTypeDeclarationStatement(TokenReference where, JTypeDeclarationType decl)
Construct a node in the parsing tree