fmrisc.ProgramExplorer.Semantics

Class PostStateCloner

java.lang.Object

fmrisc.ProgramExplorer.Syntax.ASTVisitorBase

fmrisc.ProgramExplorer.Syntax.ASTCloner

fmrisc.ProgramExplorer.Semantics.PostStateCloner

All Implemented Interfaces:

ASTVisitor

public final class PostStateCloner
extends ASTCloner

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

Constructor Summary

Constructors

Constructor and Description
PostStateCloner()

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 pre-state references by post-state references.
void	visit(OldState tree)
void	visit(PreVariable 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

PostStateCloner

public PostStateCloner()

Method Detail

clone

public static AST clone(AST tree)

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

Parameters:

tree - the tree to be cloned

Returns:

the clone of the tree

visit

public void visit(PreVariable tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTCloner

visit

public void visit(OldState tree)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTCloner