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

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

Direct Known Subclasses:

GroundFactTermAdapter, TermAdapter, TermAdapter, TermAdapter

public abstract class TermWrapper<NativeTerm>
extends java.lang.Object

Field Summary

protected NativeTerm

nativeTerm

Constructor Summary

TermWrapper(NativeTerm nativeTerm)

Method Summary

boolean	equals(java.lang.Object obj)
java.lang.String	getInfixNotation()
abstract KIFTerm	getKIFTerm()
java.lang.String	getName()
NativeTerm	getNativeTerm()
java.lang.String	getPrefixNotation()
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

nativeTerm

protected NativeTerm nativeTerm

Constructor Detail

TermWrapper

public TermWrapper(NativeTerm nativeTerm)

Method Detail

getNativeTerm

public NativeTerm getNativeTerm()

getTerm

public KIFTerm getTerm()

getKIFTerm

public abstract KIFTerm getKIFTerm()

getName

public java.lang.String getName()

getInfixNotation

public java.lang.String getInfixNotation()

getPrefixNotation

public java.lang.String getPrefixNotation()

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