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

java.lang.Object
  org.jmlspecs.jml4.esc.vc.lang.VC
      org.jmlspecs.jml4.esc.vc.lang.VcFieldReference

All Implemented Interfaces:

java.lang.Comparable

public class VcFieldReference
extends VC

Field Summary

java.lang.String	field
int	incarnation
VC	receiver

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

EMPTY, NEGLBL, NO_LBL, sourceEnd, sourceStart, type

Constructor Summary

VcFieldReference(VC receiver, java.lang.String field, int incarnation, TypeBinding type, int sourceStart, int sourceEnd)

VcFieldReference(VC receiver, java.lang.String field, int incarnation, 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

Field Detail

receiver

public final VC receiver

field

public final java.lang.String field

incarnation

public final int incarnation

Constructor Detail

VcFieldReference

public VcFieldReference(VC receiver,
                        java.lang.String field,
                        int incarnation,
                        TypeBinding type,
                        KindOfAssertion kindOfAssertion,
                        int kindOfLabel,
                        int sourceStart,
                        int sourceEnd,
                        int labelStart)

VcFieldReference

public VcFieldReference(VC receiver,
                        java.lang.String field,
                        int incarnation,
                        TypeBinding type,
                        int sourceStart,
                        int sourceEnd)

Method Detail

accept

public java.lang.String accept(ProverVisitor visitor)

Specified by:

accept in class VC

hashCode

public int hashCode()

Specified by:

hashCode in class VC

toString

public java.lang.String toString()

Specified by:

toString in class VC