org.jmlspecs.jml4.esc.gc
Class SimpleSuperReference

java.lang.Object
  org.jmlspecs.jml4.esc.gc.lang.simple.expr.SimpleExpression
      org.jmlspecs.jml4.esc.gc.lang.simple.expr.SimpleThisReference
          org.jmlspecs.jml4.esc.gc.SimpleSuperReference

public class SimpleSuperReference
extends SimpleThisReference

Field Summary

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

sourceEnd, sourceStart, type

Constructor Summary

SimpleSuperReference(TypeBinding type, int sourceStart, int sourceEnd)

Method Summary

CfgExpression	accept(PassifyVisitor visitor, IncarnationMap incarnationMap)
SimpleExpression	accept(SimpleExprVisitor visitor)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

SimpleSuperReference

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

Method Detail

accept

public CfgExpression accept(PassifyVisitor visitor,
                            IncarnationMap incarnationMap)

Overrides:

accept in class SimpleThisReference

accept

public SimpleExpression accept(SimpleExprVisitor visitor)

Overrides:

accept in class SimpleThisReference

toString

public java.lang.String toString()

Overrides:

toString in class SimpleThisReference