Uses of Class
jml2b.structure.java.NamedNode

Packages that use NamedNode

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

Subclasses of NamedNode in jml2b.pog.util

class

TemporaryField This class provides services to create and use temporary fields that are usefull during the proof obligation calculation.

Uses of NamedNode in jml2b.structure

Subclasses of NamedNode in jml2b.structure

class	AField
class	AMethod

Uses of NamedNode in jml2b.structure.bytecode

Subclasses of NamedNode in jml2b.structure.bytecode

class	ClassDefaultConstructor
class	ClassField
class	ClassFile
class	ClassMethod

Uses of NamedNode in jml2b.structure.java

Subclasses of NamedNode in jml2b.structure.java

class	AClass
class	Class Internal representation of classes.
class	Constraint
class	Constructor Specialisation of the Method class suitable for representing constructors.
class	Declaration Base class for representing declarations.
class	Field Class representing fields.
class	Invariant class representing invariants.
class	Method
class	Package class representing packages.

Uses of NamedNode in jml2b.structure.jml

Subclasses of NamedNode in jml2b.structure.jml

class	Depends This class implements a depends clause.
class	Represents This abstract class describes a represents clause.