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

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.TheoryFieldDeclaration

public class TheoryFieldDeclaration
extends TheoryVariableDeclaration

Field Summary

TheoryExpression

initialization

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

base, enclosingTheory

Constructor Summary

TheoryFieldDeclaration(ASTNode base, Theory theory, TheoryExpression initialization)

Method Summary

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

Field Detail

initialization

public final TheoryExpression initialization

Constructor Detail

TheoryFieldDeclaration

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

Method Detail

isStatic

public boolean isStatic()

isBaseType

public boolean isBaseType()

isArrayType

public boolean isArrayType()

isClassType

public boolean isClassType()

isIntType

public boolean isIntType()

isBooleanType

public boolean isBooleanType()

getName

public java.lang.String getName()

Specified by:

getName in class TheoryVariableDeclaration

getType

public java.lang.String getType()

Specified by:

getType in class TheoryVariableDeclaration

traverse

public void traverse(TheoryVisitor visitor)

Specified by:

traverse in class TheoryNode