|
UTJML | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use JmlInterfaceDeclaration | |
|---|---|
| edu.utep.cs.utjml.compiler | |
| Uses of JmlInterfaceDeclaration in edu.utep.cs.utjml.compiler |
|---|
| Methods in edu.utep.cs.utjml.compiler that return JmlInterfaceDeclaration | |
|---|---|
static JmlInterfaceDeclaration |
JmlInterfaceDeclaration.makeInstance(TokenReference where,
long modifiers,
String ident,
CTypeVariable[] typevariables,
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 an interface declaration in the parsing tree. |
| Constructors in edu.utep.cs.utjml.compiler with parameters of type JmlInterfaceDeclaration | |
|---|---|
UtTransInterface(JmlInterfaceDeclaration interfaceDecl)
Constructs a UtTransInterface object. |
|
|
UTJML | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||