de.uka.ilkd.key.util.mergerule

Class MergeRuleUtils.TermWrapperFactory

java.lang.Object

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

Enclosing class:

MergeRuleUtils

static class MergeRuleUtils.TermWrapperFactory
extends java.lang.Object

Creates MergeRuleUtils.TermWrapper objects, thereby ensuring that equal term wrappers also have equal hash codes.

Author:

Dominic Scheurer

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.ArrayList<Term>	wrappedTerms

Constructor Summary

Constructors

Constructor and Description
TermWrapperFactory()

Method Summary

Modifier and Type	Method and Description
MergeRuleUtils.TermWrapper	wrapTerm(Term term)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

wrappedTerms

private java.util.ArrayList<Term> wrappedTerms

Constructor Detail

TermWrapperFactory

TermWrapperFactory()

Method Detail

wrapTerm

public MergeRuleUtils.TermWrapper wrapTerm(Term term)