GNU Prolog for Java

gnu.prolog.io
Class Operator

java.lang.Object
  extended by gnu.prolog.io.Operator

public final class Operator
extends Object

Represents a Prolog operator with a name, Operator.SPECIFIER and priority.


Nested Class Summary
static class Operator.SPECIFIER
          Specifier Class Associativity
 
Field Summary
static int MAX_PRIORITY
           
static int MIN_PRIORITY
           
 String name
           
static Operator nonOperator
           
 int priority
           
 Operator.SPECIFIER specifier
           
 CompoundTermTag tag
           
 
Constructor Summary
protected Operator(String name, Operator.SPECIFIER specifier, int priority)
           
 
Method Summary
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

MAX_PRIORITY

public static final int MAX_PRIORITY
See Also:
Constant Field Values

MIN_PRIORITY

public static final int MIN_PRIORITY
See Also:
Constant Field Values

nonOperator

public static final Operator nonOperator

name

public final String name

specifier

public final Operator.SPECIFIER specifier

priority

public final int priority

tag

public final CompoundTermTag tag
Constructor Detail

Operator

protected Operator(String name,
                   Operator.SPECIFIER specifier,
                   int priority)
Method Detail

toString

public String toString()
Overrides:
toString in class Object

GNU Prolog for Java