ubc.cs.JLog.Terms.Entries
Class pConsOperatorEntry

java.lang.Object
  ubc.cs.JLog.Parser.pOperatorEntry
      ubc.cs.JLog.Terms.Entries.pConsOperatorEntry

public class pConsOperatorEntry
extends pOperatorEntry

Field Summary

Fields inherited from class ubc.cs.JLog.Parser.pOperatorEntry

FX, FY, LEFT_ASSOCIATIVE, library, name, NON_ASSOCIATIVE, priority, RIGHT_ASSOCIATIVE, type, XF, XFX, XFY, YF, YFX

Constructor Summary

pConsOperatorEntry()

Method Summary

jTerm	createOperator(jTerm l, jTerm r) The internal method for creating the jTerm representation of this operator representation.
boolean	isAtomPermitted() Determine if an unbound operator is not an error, or if it could be an atom

Methods inherited from class ubc.cs.JLog.Parser.pOperatorEntry

createOperator, getAssociativity, getLibrary, getName, getPriority, getType, hasLHS, hasRHS, isNonAssociativeLeft, isNonAssociativeRight, isValidType, sameLibrary, setLibrary, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

pConsOperatorEntry

public pConsOperatorEntry()

Method Detail

createOperator

public jTerm createOperator(jTerm l,
                            jTerm r)

Description copied from class: pOperatorEntry

The internal method for creating the jTerm representation of this operator representation. Subclasses must override. The operands are provided, already created.

Specified by:

createOperator in class pOperatorEntry

Parameters:

l - The left hand jTerm.

r - The right hand jTerm.

Returns:

jTerm representing this operator and its operands.

isAtomPermitted

public boolean isAtomPermitted()

Description copied from class: pOperatorEntry

Determine if an unbound operator is not an error, or if it could be an atom

Overrides:

isAtomPermitted in class pOperatorEntry

Returns:

true if this operator could also be an atom if it is unbound.