org.eclipse.palamedes.gdl.core.resolver.javaprover
Class TermAdapter

java.lang.Object
  org.eclipse.palamedes.gdl.core.model.utils.TermWrapper<cs227b.teamIago.resolver.Expression>
      org.eclipse.palamedes.gdl.core.resolver.javaprover.TermAdapter

public class TermAdapter
extends TermWrapper<cs227b.teamIago.resolver.Expression>

Field Summary

Fields inherited from class org.eclipse.palamedes.gdl.core.model.utils.TermWrapper

nativeTerm

Constructor Summary

TermAdapter(cs227b.teamIago.resolver.Expression nativeTerm)

Method Summary

KIFTerm	getKIFTerm()
static KIFTerm	getKIFTerm(cs227b.teamIago.resolver.Expression expr)

Methods inherited from class org.eclipse.palamedes.gdl.core.model.utils.TermWrapper

equals, getInfixNotation, getName, getNativeTerm, getPrefixNotation, getTerm, hashCode, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

TermAdapter

public TermAdapter(cs227b.teamIago.resolver.Expression nativeTerm)

Method Detail

getKIFTerm

public KIFTerm getKIFTerm()

Specified by:

getKIFTerm in class TermWrapper<cs227b.teamIago.resolver.Expression>

getKIFTerm

public static final KIFTerm getKIFTerm(cs227b.teamIago.resolver.Expression expr)