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

java.lang.Object
  org.jmlspecs.jml4.fspv.theory.ast.TheoryNode
      org.jmlspecs.jml4.fspv.theory.ast.TheoryStatement
          org.jmlspecs.jml4.fspv.theory.ast.TheoryExpression
              org.jmlspecs.jml4.fspv.theory.ast.TheoryReference
                  org.jmlspecs.jml4.fspv.theory.ast.TheorySingleNameReference

public class TheorySingleNameReference
extends TheoryReference

Field Summary

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

base, enclosingTheory

Constructor Summary

TheorySingleNameReference(ASTNode base, Theory theory)

Method Summary

java.lang.String	getName()
java.lang.String	getType()
boolean	isArgument()
boolean	isField()
boolean	isLocal()
boolean	isStatic()
void	traverse(TheoryVisitor visitor)

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

toString

Methods inherited from class java.lang.Object

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

Constructor Detail

TheorySingleNameReference

public TheorySingleNameReference(ASTNode base,
                                 Theory theory)

Method Detail

traverse

public void traverse(TheoryVisitor visitor)

Specified by:

traverse in class TheoryNode

isField

public boolean isField()

isLocal

public boolean isLocal()

isArgument

public boolean isArgument()

getName

public java.lang.String getName()

isStatic

public boolean isStatic()

getType

public java.lang.String getType()

Specified by:

getType in class TheoryExpression