Uses of Class
fmrisc.ProgramExplorer.Syntax.ASTVisitorBase

Packages that use ASTVisitorBase

Package	Description
fmrisc.ProgramExplorer.InOut
fmrisc.ProgramExplorer.Judgements
fmrisc.ProgramExplorer.Semantics
fmrisc.ProgramExplorer.Syntax
fmrisc.ProgramExplorer.Tasks

Uses of ASTVisitorBase in fmrisc.ProgramExplorer.InOut

Subclasses of ASTVisitorBase in fmrisc.ProgramExplorer.InOut

Modifier and Type	Class and Description
class	ASTPrinterHTML Print syntax tree for embedding in HTML documents.
class	Breaks Compute line break information for pretty-printing abstract syntax trees.
class	PrettyMathML Pretty-pinting abstract syntax trees in HTML/MathML.
class	PrettyPrinter Printing abstract syntax trees with appropriate line breaks (old version).

Uses of ASTVisitorBase in fmrisc.ProgramExplorer.Judgements

Subclasses of ASTVisitorBase in fmrisc.ProgramExplorer.Judgements

Modifier and Type	Class and Description
class	ExpSubstitution The expression substitution P[E1/E2]
class	Normalization Normalize a specification formula with respect to the set of modified variables.
class	RefSubstitution Reference substitution P[T1/I1,...]
class	Simplification Simplify a specification formula to make it easier understandable.
class	Simplification2 Post-processing of a specification formula to make it easier understandable.
class	Substitution The program variable substitution P[U1/VAR x,...]

Uses of ASTVisitorBase in fmrisc.ProgramExplorer.Semantics

Subclasses of ASTVisitorBase in fmrisc.ProgramExplorer.Semantics

Modifier and Type	Class and Description
class	FreeVariables Compute the free variables of an expression (revised version).
class	PostStateCloner Clone a formula transforming all state references to the post-state.
class	PreStateCloner Clone a formula transforming all state references to the pre-state.
class	ReferenceCloner Clone an expression transforming all references to certain symbols.
class	ReferencedExcs Compute the exception types referenced by an expression.
class	ReferencedUnits Compute the units (theory/class) referenced by a unit.
class	ReferencedVars Compute the program variables referenced by an expression.
class	TypeCloner Clone a type expression transforming references to certain symbols.
class	UsedVariables Compute the (logic) variables/constants used in an expression.
class	VariableTypes Set logical types of all variables declared in program.

Uses of ASTVisitorBase in fmrisc.ProgramExplorer.Syntax

Subclasses of ASTVisitorBase in fmrisc.ProgramExplorer.Syntax

Modifier and Type	Class and Description
class	ASTCloner A cloner for abstract syntax trees.
class	ASTPrinter A printer for abstract syntax trees.

Uses of ASTVisitorBase in fmrisc.ProgramExplorer.Tasks

Subclasses of ASTVisitorBase in fmrisc.ProgramExplorer.Tasks

Modifier and Type	Class and Description
class	PreconditionTasks The tasks of proving that the preconditions of a method body are satisfied.