de.uka.ilkd.key.util.mergerule

Class MergeRuleUtils.TermWrapper

java.lang.Object

de.uka.ilkd.key.util.mergerule.MergeRuleUtils.TermWrapper

Enclosing class:

MergeRuleUtils

static class MergeRuleUtils.TermWrapper
extends java.lang.Object

Simple term wrapper for comparing terms modulo renaming.

Author:

Dominic Scheurer

See Also:

MergeRuleUtils.TermWrapperFactory

Field Summary

Fields

Modifier and Type	Field and Description
private int	hashcode
private Term	term

Constructor Summary

Constructors

Constructor and Description
TermWrapper(Term term, int hashcode)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj)
Term	getTerm()
int	hashCode()
java.lang.String	toString()
static <T extends java.util.Collection<Term>> T	toTermList(T target, java.lang.Iterable<MergeRuleUtils.TermWrapper> wrappedCollection) Adds the wrapped content of the Iterable object into the given target collection.

Methods inherited from class java.lang.Object

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

Field Detail

term

private Term term

hashcode

private int hashcode

Constructor Detail

TermWrapper

public TermWrapper(Term term,
                   int hashcode)

Method Detail

getTerm

public Term getTerm()

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

toTermList

public static <T extends java.util.Collection<Term>> T toTermList(T target,
                                                                  java.lang.Iterable<MergeRuleUtils.TermWrapper> wrappedCollection)

Adds the wrapped content of the Iterable object into the given target collection.

Parameters:

target - The collection to insert the wrapped terms into.

wrappedCollection - Iterable to transform.

Returns:

The target collection with inserted terms.