org.jmlspecs.jml4.fspv.theory
Class TheoryAssignmentStatement

java.lang.Object
  org.jmlspecs.jml4.fspv.theory.TheoryStatement
      org.jmlspecs.jml4.fspv.theory.TheoryAssignmentStatement

public class TheoryAssignmentStatement
extends TheoryStatement

Author:

karabot

Field Summary

TheoryExpression	lhs
TheoryExpression	rhs

Fields inherited from class org.jmlspecs.jml4.fspv.theory.TheoryStatement

EMPTY

Constructor Summary

TheoryAssignmentStatement(TheoryExpression l, TheoryExpression r)

Method Summary

java.lang.String	toString()
java.lang.Object	visit(TheoryVisitor visitor)

Methods inherited from class java.lang.Object

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

Field Detail

lhs

public TheoryExpression lhs

rhs

public TheoryExpression rhs

Constructor Detail

TheoryAssignmentStatement

public TheoryAssignmentStatement(TheoryExpression l,
                                 TheoryExpression r)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

visit

public java.lang.Object visit(TheoryVisitor visitor)

Overrides:

visit in class TheoryStatement