Uses of Class
org.jmlspecs.checker.JmlInterfaceDeclaration

Packages that use JmlInterfaceDeclaration

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.jmlspecs.jmlrac	Generates Java classes from JML specifications that check assertions at runtime.

Uses of JmlInterfaceDeclaration in org.jmlspecs.checker

Methods in org.jmlspecs.checker 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, JmlRepresentsDecl[] representsDecls, JmlAxiom[] axioms, JmlVarAssertion[] varAssertions, JavadocComment javadoc, JavaStyleComment[] comment, boolean isRefinedType) Constructs an interface declaration in the parsing tree.

JmlInterfaceDeclaration[]

JmlTypeLoader.interfacesOf(JmlTypeDeclaration typeDecl) Returns the interfaces of a given JML type declaration.

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

void	JmlAbstractVisitor.visitJmlInterfaceDeclaration(JmlInterfaceDeclaration self)
abstract void	JmlVisitor.visitJmlInterfaceDeclaration(JmlInterfaceDeclaration self)
void	JmlVisitorNI.visitJmlInterfaceDeclaration(JmlInterfaceDeclaration self)

Uses of JmlInterfaceDeclaration in org.jmlspecs.jmlrac

Fields in org.jmlspecs.jmlrac declared as JmlInterfaceDeclaration

private JmlInterfaceDeclaration

TransInterface.interfaceDecl Target interface to be translated.

Methods in org.jmlspecs.jmlrac with parameters of type JmlInterfaceDeclaration

void	JmlRacGenerator.visitJmlInterfaceDeclaration(JmlInterfaceDeclaration self) Translate a JML interface declaration.
void	RacPrettyPrinter.visitJmlInterfaceDeclaration(JmlInterfaceDeclaration self) Prints a JML interface declaration.

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

TransInterface(JmlInterfaceDeclaration interfaceDecl)
Construct a TransInterface object.