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

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

public class CfgSuperReference
extends CfgThisReference

Field Summary

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

sourceEnd, sourceStart, type

Constructor Summary

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

CfgSuperReference

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

Method Detail

accept

public VC accept(WlpVisitor visitor)

Overrides:

accept in class CfgThisReference

accept

public CfgExpression accept(CfgExpressionVisitor visitor)

Overrides:

accept in class CfgThisReference

toString

public java.lang.String toString()

Overrides:

toString in class CfgThisReference