de.uka.ilkd.key.proof_references.reference

Class DefaultProofReference<T>

java.lang.Object

de.uka.ilkd.key.proof_references.reference.DefaultProofReference<T>

All Implemented Interfaces:

IProofReference<T>

public class DefaultProofReference<T>
extends Object
implements IProofReference<T>

Default implementation of IProofReference.

Author:

Martin Hentschel

Field Summary

Fields

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.

Fields inherited from interface de.uka.ilkd.key.proof_references.reference.IProofReference

ACCESS, CALL_METHOD, INLINE_METHOD, USE_AXIOM, USE_CONTRACT, USE_INVARIANT

Constructor Summary

Constructors

Constructor and Description
DefaultProofReference(String kind, Node node, T target) Constructor

Method Summary

Modifier and Type	Method and Description
void	addNodes(Collection<Node> nodes) Adds the given Nodes to the own Nodes.
boolean	equals(Object obj)
String	getKind() Returns the reference kind which is a human readable String.
LinkedHashSet<Node>	getNodes() Returns the Nodes in which the reference was found.
Proof	getSource() Returns the source Proof.
T	getTarget() Returns the target source member.
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

kind

private String kind

The reference kind as human readable String.

source

private Proof source

The source Proof.

target

private T target

The target source member.

nodes

private LinkedHashSet<Node> nodes

The Node in which the reference was found.

Constructor Detail

DefaultProofReference

public DefaultProofReference(String kind,
                             Node node,
                             T target)

Constructor

Parameters:

kind - The reference kind as human readable String.

source - The source Proof.

target - The target source member.

Method Detail

getTarget

public T getTarget()

Returns the target source member.

Specified by:

getTarget in interface IProofReference<T>

Returns:

The target source member.

getNodes

public LinkedHashSet<Node> getNodes()

Returns the Nodes in which the reference was found.

Specified by:

getNodes in interface IProofReference<T>

Returns:

The Nodes in which the reference was found.

addNodes

public void addNodes(Collection<Node> nodes)

Adds the given Nodes to the own Nodes.

Specified by:

addNodes in interface IProofReference<T>

Parameters:

nodes - The Nodes to add.

getKind

public String getKind()

Returns the reference kind which is a human readable String.

Specified by:

getKind in interface IProofReference<T>

Returns:

The reference kind as human readable String.

getSource

public Proof getSource()

Returns the source Proof.

Specified by:

getSource in interface IProofReference<T>

Returns:

The source Proof.

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object