Uses of Class
jml2b.structure.java.Modifiers

Packages that use Modifiers

jml2b.pog.util
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 Modifiers in jml2b.pog.util

Constructors in jml2b.pog.util with parameters of type Modifiers

TemporaryField(ParsedItem pi, Modifiers m, Type t, java.lang.String n, Expression a)
Constructs a temporary field from a field with a new name.

Uses of Modifiers in jml2b.structure

Constructors in jml2b.structure with parameters of type Modifiers

AField(ParsedItem pi, Modifiers mods)

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

AMethod(ParsedItem pi, Modifiers m, Class defining)

Uses of Modifiers in jml2b.structure.java

Methods in jml2b.structure.java with parameters of type Modifiers

static Field[]

Field.parseVarDecl(JmlFile jmlFile, antlr.collections.AST vardecl, Modifiers mods)

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

Class(JmlFile jf, antlr.collections.AST tree, Package class_package, Modifiers mods, boolean external)
Creates a new class in package class_package, with the given modifiers.

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

Declaration(ParsedItem pi, Modifiers mods)
Creates a new instance with the given modifiers from the given parsed item.

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.

Field(ParsedItem pi, Modifiers m, Type t, java.lang.String n, Expression a)

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)

VarDeclParser(Modifiers m)
Creates a new instance using the given modifier for the parsed variables.

Uses of Modifiers in jml2b.structure.jml

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

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.completeSpecCase(IJml2bConfiguration config, Expression req, java.util.Vector labels, Modifiers mods, Modifiers methodMods, int type) Completes the modifies, if no modifies were declared, the modifies becomes a modifies \everything
void	SpecCase.setModifiers(Modifiers mods) Sets the modifiers for the current SpecCase object.

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

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.

SpecCase(IJml2bConfiguration config, Modifiers mods)

Uses of Modifiers in jml2b.structure.statement

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

void	ArrayInitializer.isModifiersCompatible(Modifiers modifiers)
void	BinaryExp.isModifiersCompatible(Modifiers modifiers)
abstract void	Expression.isModifiersCompatible(Modifiers modifiers) Tests whether the expression contains fields that have modifiers compatible with the invariant modifiers.
void	IsSubtypeOfExp.isModifiersCompatible(Modifiers modifiers)
void	MethodCallExp.isModifiersCompatible(Modifiers modifiers)
void	QuantifiedExp.isModifiersCompatible(Modifiers modifiers)
void	QuestionExp.isModifiersCompatible(Modifiers modifiers)
void	TTypeExp.isModifiersCompatible(Modifiers modifiers)
void	TerminalExp.isModifiersCompatible(Modifiers modifiers) If the expression is an identifier, test if their modifiers are compatible with the invariant modifiers.
void	UnaryExp.isModifiersCompatible(Modifiers modifiers)
void	WithTypeExp.isModifiersCompatible(Modifiers modifiers)