Uses of Class
org.multijava.mjc.JTypeDeclaration

Packages that use JTypeDeclaration

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

Uses of JTypeDeclaration in org.jmlspecs.checker

Subclasses of JTypeDeclaration in org.jmlspecs.checker

class	JClassDeclarationWrapper A wrapper class to JClassDeclaration to implement JML-specific typechecking.
class	JInterfaceDeclarationWrapper This class represents a java interface in the syntax tree

Fields in org.jmlspecs.checker declared as JTypeDeclaration

private JTypeDeclaration

JmlTypeDeclaration.delegee

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

void	JmlMemberAccess.checkClassModifiers(CContextType context, JTypeDeclaration member) Check for illegal combinations of modifiers specific to classes and interfaces.

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

JmlTypeDeclaration(TokenReference where, boolean[] interfaceWeaklyFlags, JmlInvariant[] invariants, JmlConstraint[] constraints, JmlRepresentsDecl[] representsDecls, JmlAxiom[] axioms, JmlVarAssertion[] varAssertions, JTypeDeclaration delegee)

Uses of JTypeDeclaration in org.multijava.mjc

Subclasses of JTypeDeclaration in org.multijava.mjc

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	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.

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

void	MemberAccess.checkClassModifiers(CContextType context, JTypeDeclaration member) Check for illegal combinations of modifiers disallowed in classes and interfaces.

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

JTypeDeclaration.MethodRecord(JMethodDeclarationType methodDecl)

JTypeDeclaration.DispatcherClassList(int initialCapacity)

JTypeDeclaration.MethodList(int initialCapacity)

JTypeDeclaration.PleomorphSet(JTypeDeclaration.MethodList list)