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 java.lang.Object
implements IProofReference<T>

Default implementation of IProofReference.

Author:

Martin Hentschel

Field Summary

Fields

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.

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(java.lang.String kind, Node node, T target) Constructor

Method Summary

Modifier and Type	Method and Description
void	addNodes(java.util.Collection<Node> nodes) Adds the given Nodes to the own 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 Nodes 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()

Methods inherited from class java.lang.Object

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

Field Detail

kind

private java.lang.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 java.util.LinkedHashSet<Node> nodes

The Node in which the reference was found.

Constructor Detail

DefaultProofReference

public DefaultProofReference(java.lang.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 java.util.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(java.util.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 java.lang.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(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object