Uses of Class
jml2b.structure.java.Class

Packages that use Class

jml2b.pog.proofobligation
jml2b.structure
jml2b.structure.java
jml2b.structure.jml	Provides the classes necessary to create and manage jml clauses such that depends, represents, specification cases, modifies and exsures.
jml2b.structure.statement	Provides the classes necessary to create and manage java and jml statements and expressions.

Uses of Class in jml2b.pog.proofobligation

Constructors in jml2b.pog.proofobligation with parameters of type Class

ConstructorPO(Class c, java.lang.String s, Method m, Formula h1, Formula h2, ColoredInfo box, Statement b, Theorem p1, Theorem p7)
Constructs a proof obligation

MethodPO(Class c, Method m, Formula h1, Formula h2, ColoredInfo box, Statement b, Theorem p1, Theorem p7)
Constructs a proof obligation

StaticInitializationPO(Class c, Statement b, Theorem p1, Theorem p7)
Constructs a proof obligation

WellDefinedInvPO(IJml2bConfiguration config, Class c, java.util.Enumeration invariants)

WellDefinedSpecPO(IJml2bConfiguration config, Class c, Method me)

Uses of Class in jml2b.structure

Constructors in jml2b.structure with parameters of type Class

AMethod(JmlFile jf, antlr.collections.AST tree, Modifiers m, Class defining)

AMethod(ParsedItem pi, Modifiers m, Class defining)

Uses of Class in jml2b.structure.java

Methods in jml2b.structure.java that return Class

static Class

Class.getArray(IJml2bConfiguration config) Return the class that is used to represent arrays.

Constructors in jml2b.structure.java with parameters of type Class

Constraint(JmlFile jf, antlr.collections.AST tree, Modifiers m, Class defining)

Declaration(JmlFile jf, antlr.collections.AST tree, Modifiers mods, Class defining)
Creates a new declaration from the given AST and modifiers.

Declaration(ParsedItem pi, Modifiers mods, Class defining)
Creates a new declaration instance.

Invariant(JmlFile jf, antlr.collections.AST tree, Modifiers m, Class defining)

Method(JmlFile jf, antlr.collections.AST tree, Modifiers m, Class defining)

Method(ParsedItem pi, Modifiers m, Class defining)

Uses of Class in jml2b.structure.jml

Methods in jml2b.structure.jml with parameters of type Class

abstract void	ModifiesClause.addDepends(IJml2bConfiguration config, Class c) Complete the modifies with modified store-ref issued from depends clauses.
void	ModifiesEverything.addDepends(IJml2bConfiguration config, Class c) Performs no action
void	ModifiesList.addDepends(IJml2bConfiguration config, Class c)
void	ModifiesNothing.addDepends(IJml2bConfiguration config, Class c) Performs no action
static Represents	Represents.create(JmlFile jf, antlr.collections.AST tree, Modifiers m, Class defining) Creates an empty represent clause from a loaded file.
void	SpecCase.jmlNormalize(IJml2bConfiguration config, Class definingClass) Normalize the specification case.

Constructors in jml2b.structure.jml with parameters of type Class

Depends(JmlFile jf, antlr.collections.AST tree, Modifiers m, Class defining)
Constructs an empty depends clause that will be fill at parsing.

Represents(JmlFile jf, antlr.collections.AST tree, Modifiers m, Class defining)
Constructs an empty represent clause from a loaded file.

Uses of Class in jml2b.structure.statement

Methods in jml2b.structure.statement with parameters of type Class

Statement	Expression.jmlNormalize(IJml2bConfiguration config, Class definingClass)
Statement	StAssert.jmlNormalize(IJml2bConfiguration config, Class definingClass)
Statement	StBlock.jmlNormalize(IJml2bConfiguration config, Class definingClass)
Statement	StControlFlowBreak.jmlNormalize(IJml2bConfiguration config, Class definingClass)
Statement	StDoWhile.jmlNormalize(IJml2bConfiguration config, Class definingClass)
Statement	StFor.jmlNormalize(IJml2bConfiguration config, Class definingClass)
Statement	StIf.jmlNormalize(IJml2bConfiguration config, Class definingClass)
Statement	StImplementsLabel.jmlNormalize(IJml2bConfiguration config, Class definingClass)
Statement	StLabel.jmlNormalize(IJml2bConfiguration config, Class definingClass)
Statement	StLoops.jmlNormalize(IJml2bConfiguration config, Class definingClass)
Statement	StSequence.jmlNormalize(IJml2bConfiguration config, Class definingClass)
Statement	StSkip.jmlNormalize(IJml2bConfiguration config, Class definingClass)
Statement	StSpecBlock.jmlNormalize(IJml2bConfiguration config, Class definingClass)
Statement	StSwitch.jmlNormalize(IJml2bConfiguration config, Class definingClass)
Statement	StTry.jmlNormalize(IJml2bConfiguration config, Class definingClass)
Statement	StVarDecl.jmlNormalize(IJml2bConfiguration config, Class definingClass)
abstract Statement	Statement.jmlNormalize(IJml2bConfiguration config, Class definingClass) Collects all the indentifier of the statement to give them an index in the identifer array.