| 
 | GNU Prolog for Java | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectgnu.prolog.io.Operator
public final class Operator
Represents a Prolog operator with a name, Operator.SPECIFIER and priority.
| Nested Class Summary | |
|---|---|
| static class | Operator.SPECIFIERSpecifier 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 | 
|---|
public static final int MAX_PRIORITY
public static final int MIN_PRIORITY
public static final Operator nonOperator
public final String name
public final Operator.SPECIFIER specifier
public final int priority
public final CompoundTermTag tag
| Constructor Detail | 
|---|
protected Operator(String name,
                   Operator.SPECIFIER specifier,
                   int priority)
| Method Detail | 
|---|
public String toString()
toString in class Object| 
 | GNU Prolog for Java | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||