ubc.cs.JLog.Terms.Entries
Class pConsOperatorEntry

java.lang.Object
  extended by ubc.cs.JLog.Parser.pOperatorEntry
      extended by 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.