fmrisc.ProgramExplorer.Syntax

Class ASTCloner

java.lang.Object

fmrisc.ProgramExplorer.Syntax.ASTVisitorBase

fmrisc.ProgramExplorer.Syntax.ASTCloner

All Implemented Interfaces:

ASTVisitor

Direct Known Subclasses:

ExpSubstitution, Normalization, PostStateCloner, PreStateCloner, ReferenceCloner, RefSubstitution, Simplification, Simplification2, Substitution

public class ASTCloner
extends ASTVisitorBase

A cloner for abstract syntax trees.

Constructor Summary

Constructors

Constructor and Description
ASTCloner()

Method Summary

Modifier and Type	Method and Description
static AST	clone(AST tree) Create a clone (deep copy) of a tree denoting a logic entity.
void	visit(AndFormula tree)
void	visit(ArrayTerm tree)
void	visit(ArrayType tree)
void	visit(AtomicFormula tree)
void	visit(AtomicType tree)
void	visit(AxiomDefinition tree)
void	visit(BitAndTerm tree)
void	visit(BitFalse tree)
void	visit(BitNegationTerm tree)
void	visit(BitOrTerm tree)
void	visit(BitTrue tree)
void	visit(BitType tree)
void	visit(BooleanType tree)
void	visit(DividesTerm tree)
void	visit(EqualsFormula tree)
void	visit(EquivalentFormula tree)
void	visit(ExistsFormula tree)
void	visit(False tree)
void	visit(ForallFormula tree)
void	visit(FormulaDefinition tree)
void	visit(FunctionApplication tree)
void	visit(FunctionType tree)
void	visit(GreaterEqualFormula tree)
void	visit(GreaterFormula tree)
void	visit(Identifier tree)
void	visit(IfThenElseFormula tree)
void	visit(IfThenElseTerm tree)
void	visit(ImpliesFormula tree)
void	visit(IntLiteral tree)
void	visit(IntType tree)
void	visit(LambdaFormula tree)
void	visit(LambdaTerm tree)
void	visit(LessEqualFormula tree)
void	visit(LessFormula tree)
void	visit(LetFormula tree)
void	visit(LetTerm tree)
void	visit(MinusTerm tree)
void	visit(Name tree)
void	visit(NatType tree)
void	visit(NegationTerm tree)
void	visit(NewState tree)
void	visit(NotEqualsFormula tree)
void	visit(NotEquivalentFormula tree)
void	visit(NotFormula tree)
void	visit(OldState tree)
void	visit(OrFormula tree)
void	visit(PlusTerm tree)
void	visit(PostVariable tree)
void	visit(PreVariable tree)
void	visit(ReadsOnlyFormula tree)
void	visit(Real0Type tree)
void	visit(RealType tree)
void	visit(RecordTerm tree)
void	visit(RecordType tree)
void	visit(Reference tree)
void	visit(SelectionTerm tree)
void	visit(SelectorIdentifier tree)
void	visit(SelectorIndex tree)
void	visit(SelectorNumber tree)
void	visit(SimilarFormula tree)
void	visit(StateBreaks tree)
void	visit(StateContinues tree)
void	visit(StateExecutes tree)
void	visit(StateMessage tree)
void	visit(StateReturns tree)
void	visit(StateThrows tree)
void	visit(StateThrowsException tree)
void	visit(StateType tree)
void	visit(StateValue tree)
void	visit(StringLiteral tree)
void	visit(StringType tree)
void	visit(SubrangeType tree)
void	visit(SubType tree)
void	visit(TimesTerm tree)
void	visit(True tree)
void	visit(TupleTerm tree)
void	visit(TupleType tree)
void	visit(TypeDeclaration tree)
void	visit(TypeDefinition tree)
void	visit(TypedIdentifier tree)
void	visit(UpdateTerm tree)
void	visit(ValueDeclarationClass tree)
void	visit(ValueDeclarationInitialized tree)
void	visit(ValueDefinitionClass tree)
void	visit(ValuedIdentifier tree)
void	visit(WritesOnlyFormula tree)

Methods inherited from class fmrisc.ProgramExplorer.Syntax.ASTVisitorBase

visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ASTCloner

public ASTCloner()

Method Detail

clone

public static AST clone(AST tree)

Create a clone (deep copy) of a tree denoting a logic entity.

Parameters:

tree - the tree to be cloned

Returns:

the clone of the tree

visit

public void visit(Name tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(Identifier tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(TypedIdentifier tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(ValuedIdentifier tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(ValueDefinitionClass tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(FormulaDefinition tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(AxiomDefinition tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(TypeDeclaration tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(TypeDefinition tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(ValueDeclarationClass tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(ValueDeclarationInitialized tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(Reference tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(AtomicFormula tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(FunctionApplication tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(EqualsFormula tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(GreaterEqualFormula tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(GreaterFormula tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(LessEqualFormula tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(LessFormula tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(NotEqualsFormula tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(SimilarFormula tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(AndFormula tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(EquivalentFormula tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(ImpliesFormula tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(NotEquivalentFormula tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(OrFormula tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(DividesTerm tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(MinusTerm tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(PlusTerm tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(BitOrTerm tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(TimesTerm tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(BitAndTerm tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(IntLiteral tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(True tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(BitTrue tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(False tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(BitFalse tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(OldState tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(NewState tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(StringLiteral tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(WritesOnlyFormula tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(ReadsOnlyFormula tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(IfThenElseFormula tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(IfThenElseTerm tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(LetFormula tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(LetTerm tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(StateBreaks tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(StateContinues tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(StateExecutes tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(StateReturns tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(StateThrows tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(StateThrowsException tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(StateValue tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(StateMessage tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(ForallFormula tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(ExistsFormula tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(ArrayTerm tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(LambdaTerm tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(LambdaFormula tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(RecordTerm tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(SelectionTerm tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(TupleTerm tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(UpdateTerm tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(PostVariable tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(PreVariable tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(ArrayType tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(FunctionType tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(RecordType tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(StateType tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(SubrangeType tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(SubType tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(TupleType tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(AtomicType tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(BooleanType tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(BitType tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(IntType tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(NatType tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(RealType tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(Real0Type tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(StringType tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(NotFormula tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(NegationTerm tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(BitNegationTerm tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(SelectorIdentifier tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(SelectorIndex tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(SelectorNumber tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase