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

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

Direct Known Subclasses:

TheoryArgument, TheoryLocalDeclarationStatement

public class TheoryLocalDeclaration
extends TheoryVariableDeclaration

Field Summary

TheoryExpression

initialization

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

base, enclosingTheory

Constructor Summary

TheoryLocalDeclaration(ASTNode base, Theory theory, TheoryExpression initialization)

Method Summary

java.lang.String	getName()
java.lang.String	getType()
boolean	isArrayType()
boolean	isBooleanType()
boolean	isClassType()
boolean	isIntType()
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

Field Detail

initialization

public final TheoryExpression initialization

Constructor Detail

TheoryLocalDeclaration

public TheoryLocalDeclaration(ASTNode base,
                              Theory theory,
                              TheoryExpression initialization)

Method Detail

getName

public java.lang.String getName()

Specified by:

getName in class TheoryVariableDeclaration

getType

public java.lang.String getType()

Specified by:

getType in class TheoryVariableDeclaration

isArrayType

public boolean isArrayType()

isClassType

public boolean isClassType()

isIntType

public boolean isIntType()

isBooleanType

public boolean isBooleanType()

traverse

public void traverse(TheoryVisitor visitor)

Specified by:

traverse in class TheoryNode