Uses of Class
edu.utep.cs.utjml.compiler.JmlCallSequence

Packages that use JmlCallSequence

edu.utep.cs.utjml.compiler

Uses of JmlCallSequence in edu.utep.cs.utjml.compiler

Fields in edu.utep.cs.utjml.compiler declared as JmlCallSequence

protected JmlCallSequence[]	JmlInterfaceDeclaration.callSequences
protected JmlCallSequence[]	JmlClassDeclaration.callSequences

Methods in edu.utep.cs.utjml.compiler that return JmlCallSequence

JmlCallSequence[]	JmlInterfaceDeclaration.callSequences()
JmlCallSequence[]	JmlClassDeclaration.callSequences()
JmlCallSequence[]	CParseClassContext.callSequences() Returns the call sequences of the current context.

Methods in edu.utep.cs.utjml.compiler with parameters of type JmlCallSequence

void	CParseClassContext.addCallSequence(JmlCallSequence cseq) Adds the given call sequence to the current context.
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.
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.
RacNode	TransCallSequence.translate(JmlCallSequence[] callseqs) Generates both static and instance call sequence check methods and return them.