Uses of Interface
jml2b.structure.java.IModifiers

Packages that use IModifiers

jml2b.structure.bytecode
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.

Uses of IModifiers in jml2b.structure.bytecode

Classes in jml2b.structure.bytecode that implement IModifiers

class	ClassDefaultConstructor
class	ClassField
class	ClassFile
class	ClassMethod

Methods in jml2b.structure.bytecode that return IModifiers

IModifiers	ClassField.getModifiers()
IModifiers	ClassFile.getModifiers()
IModifiers	ClassMethod.getModifiers()

Uses of IModifiers in jml2b.structure.java

Classes in jml2b.structure.java that implement IModifiers

class

Modifiers Class used to represent Java modifiers .

Methods in jml2b.structure.java that return IModifiers

abstract IModifiers	AClass.getModifiers()
IModifiers	Class.getModifiers() Returns the modifiers associated to the current class.
IModifiers	Declaration.getModifiers() Returns the visibility modifiers associated to this declaration.

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

boolean

Modifiers.isCompatible(IModifiers modifiers) Indicates wether the modifier is compatible with the given modifier.

Uses of IModifiers in jml2b.structure.jml

Methods in jml2b.structure.jml that return IModifiers

IModifiers

SpecCase.getModifiers() Returns the modifier associated to this SpecCase.