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

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

Direct Known Subclasses:

TheoryCompoundAssignment

public class TheoryAssignment
extends TheoryExpression

Field Summary

TheoryExpression	expression
TheoryExpression	left

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

base, enclosingTheory

Constructor Summary

TheoryAssignment(ASTNode base, Theory theory, TheoryExpression lhs, TheoryExpression expression)

Method Summary

java.lang.String	getType()
boolean	isSubExpression()
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

left

public final TheoryExpression left

expression

public final TheoryExpression expression

Constructor Detail

TheoryAssignment

public TheoryAssignment(ASTNode base,
                        Theory theory,
                        TheoryExpression lhs,
                        TheoryExpression expression)

Method Detail

isSubExpression

public boolean isSubExpression()

traverse

public void traverse(TheoryVisitor visitor)

Specified by:

traverse in class TheoryNode

getType

public java.lang.String getType()

Specified by:

getType in class TheoryExpression