org.jmlspecs.jml4.esc.gc.lang.sugared.expr
Class SugaredSuperReference

java.lang.Object
  org.jmlspecs.jml4.esc.gc.lang.sugared.expr.SugaredExpression
      org.jmlspecs.jml4.esc.gc.lang.sugared.expr.SugaredThisReference
          org.jmlspecs.jml4.esc.gc.lang.sugared.expr.SugaredSuperReference

public class SugaredSuperReference
extends SugaredThisReference

Field Summary

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

EMPTY, sourceEnd, sourceStart, type

Constructor Summary

SugaredSuperReference(TypeBinding type, int sourceStart, int sourceEnd)

Method Summary

SimpleExpression	accept(DesugaringVisitor visitor)
SugaredExpression	accept(SugaredExpressionVisitor visitor)
java.lang.String	toString()

Methods inherited from class org.jmlspecs.jml4.esc.gc.lang.sugared.expr.SugaredThisReference

getImplicit

Methods inherited from class org.jmlspecs.jml4.esc.gc.lang.sugared.expr.SugaredExpression

clearSourcePosition, equals, hashCode

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

SugaredSuperReference

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

Method Detail

accept

public SimpleExpression accept(DesugaringVisitor visitor)

Overrides:

accept in class SugaredThisReference

accept

public SugaredExpression accept(SugaredExpressionVisitor visitor)

Overrides:

accept in class SugaredThisReference

toString

public java.lang.String toString()

Overrides:

toString in class SugaredThisReference