org.jmlspecs.jml4.esc.gc.lang.expr
Class CfgBinaryExpression

java.lang.Object
  org.jmlspecs.jml4.esc.gc.lang.expr.CfgExpression
      org.jmlspecs.jml4.esc.gc.lang.expr.CfgBinaryExpression

public class CfgBinaryExpression
extends CfgExpression

Field Summary

CfgExpression	left
CfgOperator	operator
CfgExpression	right

Fields inherited from class org.jmlspecs.jml4.esc.gc.lang.expr.CfgExpression

sourceEnd, sourceStart, type

Constructor Summary

CfgBinaryExpression(CfgOperator operator, CfgExpression left, CfgExpression right, TypeBinding type, int sourceStart, int sourceEnd)

Method Summary

CfgExpression	accept(CfgExpressionVisitor visitor)
VC	accept(WlpVisitor visitor)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

left

public final CfgExpression left

right

public final CfgExpression right

operator

public final CfgOperator operator

Constructor Detail

CfgBinaryExpression

public CfgBinaryExpression(CfgOperator operator,
                           CfgExpression left,
                           CfgExpression right,
                           TypeBinding type,
                           int sourceStart,
                           int sourceEnd)

Method Detail

accept

public VC accept(WlpVisitor visitor)

Specified by:

accept in class CfgExpression

toString

public java.lang.String toString()

Specified by:

toString in class CfgExpression

accept

public CfgExpression accept(CfgExpressionVisitor visitor)

Specified by:

accept in class CfgExpression