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

java.lang.Object
  org.jmlspecs.jml4.fspv.simpl.ast.SimplTheoryNode
      org.jmlspecs.jml4.fspv.simpl.ast.SimplStatement
          org.jmlspecs.jml4.fspv.simpl.ast.SimplExpression
              org.jmlspecs.jml4.fspv.simpl.ast.SimplBinaryExpression
                  org.jmlspecs.jml4.fspv.simpl.ast.SimplGreaterEqualExpression

public class SimplGreaterEqualExpression
extends SimplBinaryExpression

Field Summary

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

expression, left

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

RESULT, THIS, THIS_EQUAL_PRE_THIS, THIS_NOT_NULL

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

SKIP

Constructor Summary

SimplGreaterEqualExpression(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

Constructor Detail

SimplGreaterEqualExpression

public SimplGreaterEqualExpression(SimplExpression left,
                                   SimplExpression expression)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object