org.jmlspecs.jml4.esc.vc.lang
Class VcSuperReference

java.lang.Object
  org.jmlspecs.jml4.esc.vc.lang.VC
      org.jmlspecs.jml4.esc.vc.lang.VcThisReference
          org.jmlspecs.jml4.esc.vc.lang.VcSuperReference

All Implemented Interfaces:

java.lang.Comparable

public class VcSuperReference
extends VcThisReference

Field Summary

Fields inherited from class org.jmlspecs.jml4.esc.vc.lang.VC

EMPTY, NEGLBL, NO_LBL, sourceEnd, sourceStart, type

Constructor Summary

VcSuperReference(TypeBinding type, int sourceStart, int sourceEnd)

VcSuperReference(TypeBinding type, KindOfAssertion kindOfAssertion, int kindOfLabel, int sourceStart, int sourceEnd, int labelStart)

Method Summary

java.lang.String	accept(ProverVisitor visitor)
int	hashCode()
java.lang.String	toString()

Methods inherited from class org.jmlspecs.jml4.esc.vc.lang.VC

acceptAsTerm, addDecl, addDecls, compareTo, decls, declString, endsInImpliesTrue, equals, getName, hasName, isImplication, kindOfAssertion, kindOfLabel, labelStart, markAsImplication, negateLastImplication, setLabel, setName, toStringWithName, visitVarDecls

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

VcSuperReference

public VcSuperReference(TypeBinding type,
                        KindOfAssertion kindOfAssertion,
                        int kindOfLabel,
                        int sourceStart,
                        int sourceEnd,
                        int labelStart)

VcSuperReference

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

Method Detail

accept

public java.lang.String accept(ProverVisitor visitor)

Overrides:

accept in class VcThisReference

hashCode

public int hashCode()

Overrides:

hashCode in class VcThisReference

toString

public java.lang.String toString()

Overrides:

toString in class VcThisReference