fmrisc.ProgramExplorer.Semantics

Class PreStateCloner

java.lang.Object

fmrisc.ProgramExplorer.Syntax.ASTVisitorBase

fmrisc.ProgramExplorer.Syntax.ASTCloner

fmrisc.ProgramExplorer.Semantics.PreStateCloner

All Implemented Interfaces:

ASTVisitor

public final class PreStateCloner
extends ASTCloner

Clone a formula transforming all state references to the pre-state.

Constructor Summary

Constructors

Constructor and Description
PreStateCloner()

Method Summary

Methods

Modifier and Type	Method and Description
static AST	clone(AST tree) Create a clone (deep copy) of a tree denoting a logic entity replacing all post-state references by prestate references.
void	visit(NewState tree)
void	visit(PostVariable tree)

Methods inherited from class fmrisc.ProgramExplorer.Syntax.ASTCloner

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 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

PreStateCloner

public PreStateCloner()

Method Detail

clone

public static AST clone(AST tree)

Create a clone (deep copy) of a tree denoting a logic entity replacing all post-state references by prestate references.

Parameters:

tree - the tree to be cloned

Returns:

the clone of the tree

visit

public void visit(PostVariable tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTCloner

visit

public void visit(NewState tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTCloner