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

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

Direct Known Subclasses:

SimplAndAndExpression, SimplAndExpression, SimplDivExpression, SimplEqualExpression, SimplGreaterEqualExpression, SimplGreaterExpression, SimplLessEqualExpression, SimplLessExpression, SimplMinusExpression, SimplMultExpression, SimplNotEqualExpression, SimplPlusExpression

public class SimplBinaryExpression
extends SimplExpression

Field Summary

SimplExpression	expression
SimplExpression	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

SimplBinaryExpression(SimplExpression left, SimplExpression expression)

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

left

public final SimplExpression left

expression

public final SimplExpression expression

Constructor Detail

SimplBinaryExpression

public SimplBinaryExpression(SimplExpression left,
                             SimplExpression expression)