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

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
                  org.jmlspecs.jml4.fspv.theory.ast.TheoryLocalDeclarationStatement

public class TheoryLocalDeclarationStatement
extends TheoryLocalDeclaration

Field Summary

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

initialization

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

base, enclosingTheory

Constructor Summary

TheoryLocalDeclarationStatement(LocalDeclaration localDeclaration, Theory theory, TheoryExpression initialization)

Method Summary

void	traverse(TheoryVisitor visitor)

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

getName, getType, isArrayType, isBooleanType, isClassType, isIntType

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

TheoryLocalDeclarationStatement

public TheoryLocalDeclarationStatement(LocalDeclaration localDeclaration,
                                       Theory theory,
                                       TheoryExpression initialization)

Method Detail

traverse

public void traverse(TheoryVisitor visitor)

Overrides:

traverse in class TheoryLocalDeclaration