org.jmlspecs.jml4.fspv.theory.ast
Class TheoryNode

java.lang.Object
  org.jmlspecs.jml4.fspv.theory.ast.TheoryNode

Direct Known Subclasses:

Theory, TheoryMethodDeclaration, TheoryStatement

public abstract class TheoryNode
extends java.lang.Object

Field Summary

ASTNode	base
Theory	enclosingTheory

Constructor Summary

TheoryNode(ASTNode base, Theory theory)

Method Summary

java.lang.String	toString()
abstract void	traverse(TheoryVisitor visitor)

Methods inherited from class java.lang.Object

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

Field Detail

base

public final ASTNode base

enclosingTheory

public final Theory enclosingTheory

Constructor Detail

TheoryNode

public TheoryNode(ASTNode base,
                  Theory theory)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

traverse

public abstract void traverse(TheoryVisitor visitor)