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

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

Direct Known Subclasses:

TheoryFieldDeclaration, TheoryLocalDeclaration

public abstract class TheoryVariableDeclaration
extends TheoryStatement

Field Summary

Fields inherited from class org.jmlspecs.jml4.fspv.theory.ast.TheoryNode

base, enclosingTheory

Constructor Summary

TheoryVariableDeclaration(ASTNode base, Theory theory)

Method Summary

abstract java.lang.String	getName()
abstract java.lang.String	getType()

Methods inherited from class org.jmlspecs.jml4.fspv.theory.ast.TheoryNode

toString, traverse

Methods inherited from class java.lang.Object

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

Constructor Detail

TheoryVariableDeclaration

public TheoryVariableDeclaration(ASTNode base,
                                 Theory theory)

Method Detail

getType

public abstract java.lang.String getType()

getName

public abstract java.lang.String getName()