fmrisc.ProgramExplorer.Syntax.Spec

Class SpecificationBase

java.lang.Object

fmrisc.ProgramExplorer.Syntax.ASTBase

fmrisc.ProgramExplorer.Syntax.Program.ASTProgramBase

fmrisc.ProgramExplorer.Syntax.Program.ProgramAnnotationBase

fmrisc.ProgramExplorer.Syntax.Spec.SpecificationBase

All Implemented Interfaces:

AST, ASTSource, ASTProgram, ProgramAnnotation, Specification

Direct Known Subclasses:

ClassSpec, LoopSpec, MethodSpec, StatementSpec, UnitSpec

public abstract class SpecificationBase
extends ProgramAnnotationBase
implements Specification

The base class of specifications.

Method Summary

Methods

Modifier and Type	Method and Description
void	accept(ASTVisitor visitor) Accept visitor for a visit.
void	accept(ASTVisitorOld visitor) Accept visitor for a visit.

Methods inherited from class fmrisc.ProgramExplorer.Syntax.Program.ProgramAnnotationBase

getPosition, getText, setPosition

Methods inherited from class fmrisc.ProgramExplorer.Syntax.ASTBase

accept, accept, acceptChildren, print, printCore, toString, toStringCore

Methods inherited from class java.lang.Object

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

Methods inherited from interface fmrisc.ProgramExplorer.Syntax.ASTSource

getPosition, setPosition

Methods inherited from interface fmrisc.ProgramExplorer.Syntax.AST

acceptChildren, print, printCore, toString, toStringCore

Method Detail

accept

public void accept(ASTVisitorOld visitor)

Accept visitor for a visit.

Specified by:

accept in interface AST

Overrides:

accept in class ProgramAnnotationBase

Parameters:

visitor - the visitor who is accepted by this node.

accept

public void accept(ASTVisitor visitor)

Accept visitor for a visit.

Specified by:

accept in interface AST

Overrides:

accept in class ProgramAnnotationBase

Parameters:

visitor - the visitor who is accepted by this node.