ubc.cs.JLog.Builtins.Entries
Class pIfThenOperatorEntry

java.lang.Object
  ubc.cs.JLog.Parser.pOperatorEntry
      ubc.cs.JLog.Builtins.Entries.pIfThenOperatorEntry

public class pIfThenOperatorEntry
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

pIfThenOperatorEntry()

Method Summary

jTerm

createOperator(jTerm l, jTerm r) The internal method for creating the jTerm representation of this operator representation.

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

createOperator, getAssociativity, getLibrary, getName, getPriority, getType, hasLHS, hasRHS, isAtomPermitted, 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

pIfThenOperatorEntry

public pIfThenOperatorEntry()

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.