|
GNU Prolog for Java | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use Operator.SPECIFIER | |
|---|---|
| gnu.prolog.io | Classes used for IO |
| gnu.prolog.io.parser | This package contains the TermParser.jj file which is used by javacc to
generate the parser found in gnu.prolog.io.parser.gen. |
| Uses of Operator.SPECIFIER in gnu.prolog.io |
|---|
| Fields in gnu.prolog.io declared as Operator.SPECIFIER | |
|---|---|
Operator.SPECIFIER |
Operator.specifier
|
| Methods in gnu.prolog.io that return Operator.SPECIFIER | |
|---|---|
static Operator.SPECIFIER |
Operator.SPECIFIER.fromAtom(AtomTerm specifier)
Return the SPECIFIER represented by the AtomTerm specifier or NONE if it does not match one. |
static Operator.SPECIFIER |
Operator.SPECIFIER.valueOf(String name)
Returns the enum constant of this type with the specified name. |
static Operator.SPECIFIER[] |
Operator.SPECIFIER.values()
Returns an array containing the constants of this enum type, in the order they are declared. |
| Methods in gnu.prolog.io with parameters of type Operator.SPECIFIER | |
|---|---|
Operator |
OperatorSet.add(int priority,
Operator.SPECIFIER specifier,
String name)
add operator to operator set |
void |
OperatorSet.remove(Operator.SPECIFIER specifier,
String name)
remove operator from operator set |
| Constructors in gnu.prolog.io with parameters of type Operator.SPECIFIER | |
|---|---|
Operator(String name,
Operator.SPECIFIER specifier,
int priority)
|
|
| Uses of Operator.SPECIFIER in gnu.prolog.io.parser |
|---|
| Methods in gnu.prolog.io.parser with parameters of type Operator.SPECIFIER | |
|---|---|
boolean |
NameToken.isOperator(OperatorSet set,
int priority,
Operator.SPECIFIER specifier)
|
|
GNU Prolog for Java | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||