org.jmlspecs.jml4.esc.vc.lang
Class VcBinaryExpression

java.lang.Object
  org.jmlspecs.jml4.esc.vc.lang.VC
      org.jmlspecs.jml4.esc.vc.lang.VcBinaryExpression

All Implemented Interfaces:

java.lang.Comparable

Direct Known Subclasses:

VcAnd, VcArithExpression, VcLogicalExpression, VcOr, VcRelativeExpression

public abstract class VcBinaryExpression
extends VC

Field Summary

VC	left
VC	right

Fields inherited from class org.jmlspecs.jml4.esc.vc.lang.VC

EMPTY, NEGLBL, NO_LBL, sourceEnd, sourceStart, type

Constructor Summary

VcBinaryExpression(VC left, VC right, TypeBinding type, int sourceStart, int sourceEnd)

VcBinaryExpression(VC left, VC right, TypeBinding type, KindOfAssertion kindOfAssertion, int kindOfLabel, int sourceStart, int sourceEnd, int labelStart)

Method Summary

java.util.List

getVarDecls()

Methods inherited from class org.jmlspecs.jml4.esc.vc.lang.VC

accept, acceptAsTerm, addDecl, addDecls, compareTo, decls, declString, endsInImpliesTrue, equals, getName, hashCode, hasName, isImplication, kindOfAssertion, kindOfLabel, labelStart, markAsImplication, negateLastImplication, setLabel, setName, toString, toStringWithName, visitVarDecls

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Field Detail

left

public final VC left

right

public final VC right

Constructor Detail

VcBinaryExpression

public VcBinaryExpression(VC left,
                          VC right,
                          TypeBinding type,
                          KindOfAssertion kindOfAssertion,
                          int kindOfLabel,
                          int sourceStart,
                          int sourceEnd,
                          int labelStart)

VcBinaryExpression

public VcBinaryExpression(VC left,
                          VC right,
                          TypeBinding type,
                          int sourceStart,
                          int sourceEnd)

Method Detail

getVarDecls

public java.util.List getVarDecls()