fmrisc.ProofNavigator.Syntax

Class ASTVisitorBase

java.lang.Object

fmrisc.ProofNavigator.Syntax.ASTVisitorBase

All Implemented Interfaces:

ASTVisitor

Direct Known Subclasses:

BoundVariables, FreeVariables, GroundExpressions, Rewriting, Substitute

public class ASTVisitorBase
extends java.lang.Object
implements ASTVisitor

Base class of visitors of abstract syntax trees.

Constructor Summary

Constructors

Constructor and Description
ASTVisitorBase()

Method Summary

Modifier and Type	Method and Description
boolean	isCloned() Signal whether tree is to be cloned.
AST	visit(AST tree) Visit an abstract syntax tree.

Methods inherited from class java.lang.Object

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

Constructor Detail

ASTVisitorBase

public ASTVisitorBase()

Method Detail

isCloned

public boolean isCloned()

Signal whether tree is to be cloned.

Specified by:

isCloned in interface ASTVisitor

Returns:

false, signalling that the tree is not to be cloned.

visit

public AST visit(AST tree)

Visit an abstract syntax tree.

Specified by:

visit in interface ASTVisitor

Parameters:

tree - the abstract syntax tree that is visited.

Returns:

the result of the visit.