com.svincent.moksa
Class JavaTerm

java.lang.Object
  |
  +--com.svincent.moksa.WamObject
        |
        +--com.svincent.moksa.PrologTerm
              |
              +--com.svincent.moksa.JavaTerm

All Implemented Interfaces:

Trailable

public class JavaTerm

extends PrologTerm

A subclass of PrologTerm which contains a reference to a Java object.

See Also:

JavaInterface

Fields inherited from class com.svincent.moksa.PrologTerm

EmptyArray

Constructor Summary

JavaTerm(PrologEngine _engine, java.lang.Object _o)

Method Summary

java.lang.Object	accept(PrologTermVisitor v, java.lang.Object parm) Allow PrologTermVisitor to access this PrologTerm.
PrologTerm	clonePrologTerm(java.util.Map objs)
java.lang.String	getName()
java.lang.Object	getObject()
boolean	isJavaObject() Returns true iff this is a Java object wrapper.
void	tag(java.io.PrintWriter out) Writes a short human-readable representation of this object to the given Writer.
boolean	unify(PrologTerm _that, boolean bindVars) Unification algorithm.

Methods inherited from class com.svincent.moksa.PrologTerm

clonePrologTerm, deref, evaluateExpression, floatValue, getArity, getNameConstant, getPriority, intValue, isAtom, isCompoundTerm, isConstant, isEmptyList, isFloat, isInteger, isList, isNonEmptyList, isStreamId, isStructure, isVariable, printVariables, setPriority, unify, unifyWithoutBindings, untrail

Methods inherited from class com.svincent.moksa.WamObject

tag

Methods inherited from class java.lang.Object

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

Constructor Detail

JavaTerm

public JavaTerm(PrologEngine _engine,
                java.lang.Object _o)

Method Detail

isJavaObject

public boolean isJavaObject()

Description copied from class: PrologTerm

Returns true iff this is a Java object wrapper.

Overrides:

isJavaObject in class PrologTerm

getObject

public java.lang.Object getObject()

clonePrologTerm

public PrologTerm clonePrologTerm(java.util.Map objs)

Overrides:

clonePrologTerm in class PrologTerm

getName

public java.lang.String getName()

Overrides:

getName in class PrologTerm

accept

public java.lang.Object accept(PrologTermVisitor v,
                               java.lang.Object parm)

Allow PrologTermVisitor to access this PrologTerm.

Overrides:

accept in class PrologTerm

unify

public boolean unify(PrologTerm _that,
                     boolean bindVars)

Description copied from class: PrologTerm

Unification algorithm.

Overrides:

unify in class PrologTerm

Tags copied from class: PrologTerm

Parameters:

doBindings - Pass in true if you want matched variables to be bound.

Returns:

true iff the two PrologTerms successfully unify.

tag

public void tag(java.io.PrintWriter out)

Description copied from class: WamObject

Writes a short human-readable representation of this object to the given Writer.

Overrides:

tag in class WamObject