org.eclipse.palamedes.gdl.core.model.utils
Class TermDelegator<NativeTerm>

java.lang.Object
  org.eclipse.palamedes.gdl.core.model.utils.TermDelegator<NativeTerm>

Direct Known Subclasses:

GenericFluent, GenericMove

public class TermDelegator<NativeTerm>
extends java.lang.Object

Field Summary

protected TermWrapper<NativeTerm>

termwrapper

Constructor Summary

TermDelegator(TermWrapper<NativeTerm> term)

Method Summary

boolean	equals(java.lang.Object obj)
java.lang.String	getName()
NativeTerm	getNativeTerm()
KIFTerm	getTerm()
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

termwrapper

protected TermWrapper<NativeTerm> termwrapper

Constructor Detail

TermDelegator

public TermDelegator(TermWrapper<NativeTerm> term)

Method Detail

getTerm

public KIFTerm getTerm()

getNativeTerm

public NativeTerm getNativeTerm()

getName

public java.lang.String getName()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object