public class DefaultProofReference<T> extends java.lang.Object implements IProofReference<T>
IProofReference
.Modifier and Type | Field and Description |
---|---|
private java.lang.String |
kind
The reference kind as human readable
String . |
private java.util.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(java.lang.String kind,
Node node,
T target)
Constructor
|
Modifier and Type | Method and Description |
---|---|
void |
addNodes(java.util.Collection<Node> nodes)
|
boolean |
equals(java.lang.Object obj) |
java.lang.String |
getKind()
Returns the reference kind which is a human readable
String . |
java.util.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() |
java.lang.String |
toString() |
private java.lang.String kind
String
.private T target
public T getTarget()
getTarget
in interface IProofReference<T>
public java.util.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(java.util.Collection<Node> nodes)
addNodes
in interface IProofReference<T>
nodes
- The Node
s to add.public java.lang.String getKind()
String
.getKind
in interface IProofReference<T>
String
.public Proof getSource()
Proof
.getSource
in interface IProofReference<T>
Proof
.public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object