|
UTJML | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use JmlClassDeclaration | |
|---|---|
| edu.utep.cs.utjml.compiler | |
| Uses of JmlClassDeclaration in edu.utep.cs.utjml.compiler |
|---|
| Methods in edu.utep.cs.utjml.compiler that return JmlClassDeclaration | |
|---|---|
static JmlClassDeclaration |
JmlClassDeclaration.makeInstance(TokenReference where,
long modifiers,
String ident,
CTypeVariable[] typevariables,
CClassType superType,
boolean isWeakSubtype,
CClassType[] interfaces,
boolean[] interfaceWeaklyFlags,
ArrayList methods,
ArrayList inners,
JPhylum[] fieldsAndInits,
JmlInvariant[] invariants,
JmlConstraint[] constraints,
JmlCallSequence[] callSequences,
JmlRepresentsDecl[] representsDecls,
JmlAxiom[] axioms,
JmlVarAssertion[] varAssertions,
JavadocComment javadoc,
JavaStyleComment[] comment,
boolean isRefinedType)
Constructs a class declaration in the parsing tree. |
| Constructors in edu.utep.cs.utjml.compiler with parameters of type JmlClassDeclaration | |
|---|---|
UtTransClass(JmlClassDeclaration classDecl)
Constructs a TransClass object. |
|
|
UTJML | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||