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

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

Direct Known Subclasses:

CfgSuperReference

public class CfgThisReference
extends CfgExpression

Field Summary

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

sourceEnd, sourceStart, type

Constructor Summary

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

Constructor Detail

CfgThisReference

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

Method Detail

accept

public VC accept(WlpVisitor visitor)

Specified by:

accept in class CfgExpression

accept

public CfgExpression accept(CfgExpressionVisitor visitor)

Specified by:

accept in class CfgExpression

toString

public java.lang.String toString()

Specified by:

toString in class CfgExpression