org.jmlspecs.jml4.fspv.simpl.ast
Class SimplAssignment

java.lang.Object
  org.jmlspecs.jml4.fspv.simpl.ast.SimplTheoryNode
      org.jmlspecs.jml4.fspv.simpl.ast.SimplStatement
          org.jmlspecs.jml4.fspv.simpl.ast.SimplAssignment

public class SimplAssignment
extends SimplStatement

Field Summary

SimplExpression	expression
SimplExpression	left

Fields inherited from class org.jmlspecs.jml4.fspv.simpl.ast.SimplStatement

SKIP

Constructor Summary

SimplAssignment(SimplExpression left, SimplExpression expression)

Method Summary

java.lang.String

toString()

Methods inherited from class java.lang.Object

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

Field Detail

left

public final SimplExpression left

expression

public final SimplExpression expression

Constructor Detail

SimplAssignment

public SimplAssignment(SimplExpression left,
                       SimplExpression expression)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object