public class OperatorManager extends java.lang.Object implements IOperatorManager, java.io.Serializable
Operator
,
Serialized FormModifier and Type | Field and Description |
---|---|
static int |
OP_HIGH
highest operator priority
|
static int |
OP_LOW
lowest operator priority
|
Constructor and Description |
---|
OperatorManager() |
Modifier and Type | Method and Description |
---|---|
IOperatorManager |
clone() |
java.util.List<Operator> |
getOperators()
Gets the list of the operators currently defined
|
void |
opNew(java.lang.String name,
java.lang.String type,
int prio)
Creates a new operator.
|
int |
opNext(int prio)
Returns the priority nearest (lower) to the priority of a defined operator
|
int |
opPrio(java.lang.String name,
java.lang.String type)
Returns the priority of an operator (0 if the operator is not defined).
|
public static final int OP_LOW
public static final int OP_HIGH
public void opNew(java.lang.String name, java.lang.String type, int prio)
opNew
in interface IOperatorManager
public int opPrio(java.lang.String name, java.lang.String type)
public int opNext(int prio)
public java.util.List<Operator> getOperators()
public IOperatorManager clone()
clone
in interface IOperatorManager
clone
in class java.lang.Object