Docjar: A Java Source and Docuemnt Enginecom.*    java.*    javax.*    org.*    all    new    plug-in

Quick Search    Search Deep

alice.tuprolog
Class OperatorManager  view OperatorManager download OperatorManager.java

java.lang.Object
  extended byalice.tuprolog.OperatorManager
All Implemented Interfaces:
java.io.Serializable
Direct Known Subclasses:
DefaultOperatorManager

public class OperatorManager
extends java.lang.Object
implements java.io.Serializable

collects and manages prolog operators


Field Summary
static int OP_HIGH
          highest operator priority
static int OP_LOW
          lowest operator priority
protected  alice.util.LinkedQueue opQueue
          current known operators
 
Constructor Summary
OperatorManager()
           
 
Method Summary
 alice.util.LinkedList getOperators()
           
 boolean opNew(java.lang.String name, java.lang.String type, int prio)
          deletes evelentually present operator (name,type) and adds a new op(precedence,type,name);
 int opNext(int prio)
           
 int opPrio(java.lang.String name, java.lang.String type)
          gets op priority (OP_LOW if the op is not defined)
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

opQueue

protected alice.util.LinkedQueue opQueue
current known operators


OP_LOW

public static final int OP_LOW
lowest operator priority

See Also:
Constant Field Values

OP_HIGH

public static final int OP_HIGH
highest operator priority

See Also:
Constant Field Values
Constructor Detail

OperatorManager

public OperatorManager()
Method Detail

opNew

public boolean opNew(java.lang.String name,
                     java.lang.String type,
                     int prio)
deletes evelentually present operator (name,type) and adds a new op(precedence,type,name);


opPrio

public int opPrio(java.lang.String name,
                  java.lang.String type)
gets op priority (OP_LOW if the op is not defined)


getOperators

public alice.util.LinkedList getOperators()

opNext

public int opNext(int prio)