public class DefaultProofReference<T> extends Object implements IProofReference<T>
IProofReference
.Modifier and Type | Field and Description |
---|---|
private String |
kind
The reference kind as human readable
String . |
private LinkedHashSet<Node> |
nodes
The
Node in which the reference was found. |
private Proof |
source
The source
Proof . |
private T |
target
The target source member.
|
ACCESS, CALL_METHOD, INLINE_METHOD, USE_AXIOM, USE_CONTRACT, USE_INVARIANT
Constructor and Description |
---|
DefaultProofReference(String kind,
Node node,
T target)
Constructor
|
Modifier and Type | Method and Description |
---|---|
void |
addNodes(Collection<Node> nodes)
|
boolean |
equals(Object obj) |
String |
getKind()
Returns the reference kind which is a human readable
String . |
LinkedHashSet<Node> |
getNodes()
Returns the
Node s in which the reference was found. |
Proof |
getSource()
Returns the source
Proof . |
T |
getTarget()
Returns the target source member.
|
int |
hashCode() |
String |
toString() |
private T target
private LinkedHashSet<Node> nodes
Node
in which the reference was found.public T getTarget()
getTarget
in interface IProofReference<T>
public LinkedHashSet<Node> getNodes()
Node
s in which the reference was found.getNodes
in interface IProofReference<T>
Node
s in which the reference was found.public void addNodes(Collection<Node> nodes)
addNodes
in interface IProofReference<T>
nodes
- The Node
s to add.public String getKind()
String
.getKind
in interface IProofReference<T>
String
.public Proof getSource()
Proof
.getSource
in interface IProofReference<T>
Proof
.