fmrisc.ProgramExplorer.Semantics

Class TypeCloner

java.lang.Object

fmrisc.ProgramExplorer.Syntax.ASTVisitorBase

fmrisc.ProgramExplorer.Syntax.ASTCloner

fmrisc.ProgramExplorer.Semantics.ReferenceCloner

fmrisc.ProgramExplorer.Semantics.TypeCloner

All Implemented Interfaces:

ASTVisitor

public class TypeCloner
extends ReferenceCloner

Clone a type expression transforming references to certain symbols.

Method Summary

Modifier and Type	Method and Description
static AST	clone(AST tree, java.util.Map<Symbol,Symbol> map) Create a clone (deep copy) of a tree replacing references to certain symbols.
void	visit(Reference ref) Replace reference to symbol by base type and new reference name.

Methods inherited from class fmrisc.ProgramExplorer.Syntax.ASTCloner

clone, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, 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

Method Detail

clone

public static AST clone(AST tree,
                        java.util.Map<Symbol,Symbol> map)

Create a clone (deep copy) of a tree replacing references to certain symbols.

Parameters:

tree - the tree to be cloned

map - a map of (original) symbols to (new) symbols.

Returns:

the clone of the tree

visit

public void visit(Reference ref)

Replace reference to symbol by base type and new reference name.

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ReferenceCloner

Parameters:

ref - the reference to be replaced.