org.jpc.term

Class JRef<T>

java.lang.Object

org.jpc.term.Term

org.jpc.term.JRef<T>

Direct Known Subclasses:

JRef.StrongJRef, JRef.WeakJRef

public abstract class JRef<T>
extends Term

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	JRef.StrongJRef<T>
static class	JRef.WeakJRef<T>

Method Summary

Modifier and Type	Method and Description
void	accept(TermVisitor termVisitor) Accepts a Jpc term visitor.
boolean	equals(Object term)
abstract org.minitoolbox.gc.ReferenceType	getReferenceType()
abstract T	getReferent()
boolean	hasFunctor(Functor functor) Whether this term has a given functor.
int	hashCode()
boolean	isGround()
static <T> JRef<T>	jRef(T ref)
Term	preCompile(Environment env)
Term	prepareForFrame(Environment env)
Term	prepareForQuery(Environment env)
static <T> JRef<T>	softJRef(T ref)
static <T> JRef<T>	softJRef(T ref, ReferenceQueue<? super T> referenceQueue)
static <T> JRef<T>	softJRef(T ref, ReferenceQueue<? super T> referenceQueue, Runnable cleaningTask)
static <T> JRef<T>	softJRef(T ref, Runnable cleaningTask)
String	toEscapedString()
String	toString() Reads the contents of this term (i.e., generates events) to a content handler
String	toString(OperatorsContext o)
void	unify(Term term)
static <T> JRef<T>	weakJRef(T ref)
static <T> JRef<T>	weakJRef(T ref, ReferenceQueue<? super T> referenceQueue)
static <T> JRef<T>	weakJRef(T ref, ReferenceQueue<? super T> referenceQueue, Runnable cleaningTask)
static <T> JRef<T>	weakJRef(T ref, Runnable cleaningTask)

Methods inherited from class org.jpc.term.Term

arg, arity, asList, basicIsList, basicRead, canUnify, changeVariablesNames, compile, compile, compile, compile, compileAndUnify, compileAndUnifyVars, getArgs, getNamedVariables, getNamedVariablesNames, getNonUnderscoreVariableNames, getNonUnderscoreVariables, getVariableNames, getVariables, hasFunctor, hasFunctor, hasFunctor, hasFunctor, hasVariable, isHilog, isList, listLength, prepareForFrame, prepareForQuery, read, read, replaceVariables, resolveBindings, termEquals, termEquals, termExpansion, toEscapedString, toEscapedString, unifyAndBind, varBindings

Methods inherited from class java.lang.Object

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

Method Detail

jRef

public static <T> JRef<T> jRef(T ref)

softJRef

public static <T> JRef<T> softJRef(T ref)

softJRef

public static <T> JRef<T> softJRef(T ref,
                                   Runnable cleaningTask)

softJRef

public static <T> JRef<T> softJRef(T ref,
                                   ReferenceQueue<? super T> referenceQueue)

softJRef

public static <T> JRef<T> softJRef(T ref,
                                   ReferenceQueue<? super T> referenceQueue,
                                   Runnable cleaningTask)

weakJRef

public static <T> JRef<T> weakJRef(T ref)

weakJRef

public static <T> JRef<T> weakJRef(T ref,
                                   Runnable cleaningTask)

weakJRef

public static <T> JRef<T> weakJRef(T ref,
                                   ReferenceQueue<? super T> referenceQueue)

weakJRef

public static <T> JRef<T> weakJRef(T ref,
                                   ReferenceQueue<? super T> referenceQueue,
                                   Runnable cleaningTask)

getReferent

public abstract T getReferent()

getReferenceType

public abstract org.minitoolbox.gc.ReferenceType getReferenceType()

hasFunctor

public boolean hasFunctor(Functor functor)

Description copied from class: Term

Whether this term has a given functor.

Specified by:

hasFunctor in class Term

Parameters:

functor - the functor of this term.

Returns:

true if the term has the given functor. False otherwise.

isGround

public boolean isGround()

Specified by:

isGround in class Term

Returns:

true if the term is ground (it does not have unbound variables). false otherwise.

toEscapedString

public String toEscapedString()

Specified by:

toEscapedString in class Term

toString

public String toString(OperatorsContext o)

Specified by:

toString in class Term

toString

public String toString()

Description copied from class: Term

Reads the contents of this term (i.e., generates events) to a content handler

Overrides:

toString in class Term

equals

public boolean equals(Object term)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

unify

public void unify(Term term)

Overrides:

unify in class Term

preCompile

public Term preCompile(Environment env)

Specified by:

preCompile in class Term

prepareForQuery

public Term prepareForQuery(Environment env)

Specified by:

prepareForQuery in class Term

prepareForFrame

public Term prepareForFrame(Environment env)

Specified by:

prepareForFrame in class Term

accept

public void accept(TermVisitor termVisitor)

Description copied from class: Term

Accepts a Jpc term visitor.

Specified by:

accept in class Term

Parameters:

termVisitor - the accepted visitor