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

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

Direct Known Subclasses:

CfgArrayAllocationExpression, CfgAssignable, CfgBinaryExpression, CfgBooleanConstant, CfgConditionalExpression, CfgFieldStore, CfgIntegerConstant, CfgQuantifiedExpression, CfgThisReference, CfgUnaryExpression

public abstract class CfgExpression
extends java.lang.Object

Field Summary

int	sourceEnd
int	sourceStart
TypeBinding	type

Constructor Summary

CfgExpression(TypeBinding type, int sourceStart, int sourceEnd)

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

type

public final TypeBinding type

sourceStart

public final int sourceStart

sourceEnd

public final int sourceEnd

Constructor Detail

CfgExpression

public CfgExpression(TypeBinding type,
                     int sourceStart,
                     int sourceEnd)

Method Detail

accept

public abstract VC accept(WlpVisitor visitor)

accept

public abstract CfgExpression accept(CfgExpressionVisitor visitor)

toString

public abstract java.lang.String toString()

Overrides:

toString in class java.lang.Object