Uses of Class
org.jmlspecs.checker.JmlAxiom

Packages that use JmlAxiom

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

Uses of JmlAxiom in org.jmlspecs.checker

Fields in org.jmlspecs.checker declared as JmlAxiom

protected JmlAxiom[]	JmlTypeDeclaration.axioms
protected JmlAxiom[]	JmlTypeDeclaration.combinedAxioms

Methods in org.jmlspecs.checker that return JmlAxiom

JmlAxiom[]	CParseClassContext.axioms()
JmlAxiom[]	JmlTypeDeclaration.axioms()
JmlAxiom[]	JmlTypeDeclaration.combinedAxioms()
private JmlAxiom[]	TestJmlParser.axiomsFrom(JmlCompilationUnit unit)

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

void	JmlAbstractVisitor.visitJmlAxiom(JmlAxiom self)
abstract void	JmlVisitor.visitJmlAxiom(JmlAxiom self)
void	CParseClassContext.addAxiom(JmlAxiom inv)
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, JmlRepresentsDecl[] representsDecls, JmlAxiom[] axioms, JmlVarAssertion[] varAssertions, JavadocComment javadoc, JavaStyleComment[] comment, boolean isRefinedType) Constructs a class declaration in the parsing tree.
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.
void	JmlVisitorNI.visitJmlAxiom(JmlAxiom self)

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

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

JmlClassDeclaration(TokenReference where, boolean isWeakSubtype, boolean[] interfaceWeaklyFlags, JmlInvariant[] invariants, JmlConstraint[] constraints, JmlRepresentsDecl[] representsDecls, JmlAxiom[] axioms, JmlVarAssertion[] varAssertions, JClassDeclarationWrapper delegee)
Constructs a new JML class declaration; clients should use factory method makeInstance instead.

JmlInterfaceDeclaration(TokenReference where, boolean[] interfaceWeaklyFlags, JmlInvariant[] invariants, JmlConstraint[] constraints, JmlRepresentsDecl[] representsDecls, JmlAxiom[] axioms, JmlVarAssertion[] varAssertions, JInterfaceDeclarationWrapper delegee)
Constructs a new JML interface declaration; clients should use factory method makeInstance instead.

Uses of JmlAxiom in org.jmlspecs.jmldoc.jmldoc_142

Methods in org.jmlspecs.jmldoc.jmldoc_142 with parameters of type JmlAxiom

void	SpecWriter.visitJmlAxiom(JmlAxiom self)

Uses of JmlAxiom in org.jmlspecs.jmlrac

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

void	RacPrettyPrinter.visitJmlAxiom(JmlAxiom self) Prints a JML axim.