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

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

All Implemented Interfaces:

java.lang.Comparable

public class VcVarDecl
extends VC

Field Summary

static VcVarDecl[]	EMPTY
java.lang.String	name
int	pos

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

NEGLBL, NO_LBL, sourceEnd, sourceStart, type

Constructor Summary

VcVarDecl(java.lang.String name, int pos, TypeBinding type, int sourceStart, int sourceEnd)

Method Summary

java.lang.String	accept(ProverVisitor visitor)
java.lang.String	accept(ProverVisitor visitor, int max)
boolean	equals(java.lang.Object obj)
int	hashCode()
java.lang.String	toString()

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

acceptAsTerm, addDecl, addDecls, compareTo, decls, declString, endsInImpliesTrue, 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

EMPTY

public static final VcVarDecl[] EMPTY

name

public final java.lang.String name

pos

public final int pos

Constructor Detail

VcVarDecl

public VcVarDecl(java.lang.String name,
                 int pos,
                 TypeBinding type,
                 int sourceStart,
                 int sourceEnd)

Method Detail

toString

public java.lang.String toString()

Specified by:

toString in class VC

accept

public java.lang.String accept(ProverVisitor visitor,
                               int max)

accept

public java.lang.String accept(ProverVisitor visitor)

Specified by:

accept in class VC

hashCode

public int hashCode()

Specified by:

hashCode in class VC

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class VC