Uses of Interface
fmrisc.ProgramExplorer.Syntax.Spec.Specification

Packages that use Specification

Package	Description
fmrisc.ProgramExplorer.Syntax.Spec

Uses of Specification in fmrisc.ProgramExplorer.Syntax.Spec

Classes in fmrisc.ProgramExplorer.Syntax.Spec that implement Specification

Modifier and Type	Class and Description
class	ClassSpec A class specification.
class	LoopSpec A loop specification.
class	MethodSpec A method specification.
class	SpecificationBase The base class of specifications.
class	StatementSpec A statement specification.
class	UnitSpec A unit specification.