Module igormaznitsa.prolog.parser

Package com.igormaznitsa.prologparser.tokenizer

Class Op

java.lang.Object

com.igormaznitsa.prologparser.terms.PrologTerm

com.igormaznitsa.prologparser.tokenizer.Op

All Implemented Interfaces:

Serializable, Comparable<PrologTerm>

public final class Op
extends PrologTerm

Prolog operator definition.

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
static List<Op>	GNU	Set of operators for GNU Prolog.
static Op	GNU_DIV_RDIV
static Op	GNU_DOUBLE_DOT
static List<Op>	GNU_FD	Set of Finite Domain operators for GNU Prolog.
static List<Op>	GNU_SPECIFIC	Set of operators is specific for GNU Prolog use.
static Op	GNU_STAR_THEN
static Op	GNU_UNARY_PLUS
static List<Op>	ISO	Set of operators for ISO Prolog standard.
static Op	ISO_ARITH_DIVIDE
static Op	ISO_ARITH_MUL_DIV
static Op	ISO_ARITH_PLUS_MINUS
static Op	ISO_ARITH_POWER
static Op	ISO_BITWISE_AND_OR
static Op	ISO_BITWISE_NEGATION
static Op	ISO_BITWISE_SHIFT
static Op	ISO_CLAUSES
static Op	ISO_DIRECTIVES
static Op	ISO_NEGATE
static Op	ISO_OR
static Op	ISO_ORDER_ARITH
static Op	ISO_ORDER_TERM
static Op	ISO_THEN
static Op	ISO_UNARY_MINUS
static Op	ISO_UNIFICATION
static Op	METAOPERATOR_COMMA
static Op	METAOPERATOR_DOT
static Op	METAOPERATOR_LEFT_BRACKET
static Op	METAOPERATOR_LEFT_CURLY_BRACKET
static Op	METAOPERATOR_LEFT_SQUARE_BRACKET
static Op	METAOPERATOR_RIGHT_BRACKET
static Op	METAOPERATOR_RIGHT_CURLY_BRACKET
static Op	METAOPERATOR_RIGHT_SQUARE_BRACKET
static Op	METAOPERATOR_VERTICAL_BAR
static Op	MODIFIERS
static int	PRECEDENCE_MAX
static int	PRECEDENCE_MIN
static List<Op>	SICTUS_SPECIFIC
static List<Op>	SWI	Set of operators for SWI Prolog.
static List<Op>	SWI_CPL	Set of Constraint Logic Programming operators for SWI Prolog.
static List<Op>	SWI_SPECIFIC	Set of operators is specific for SWI Prolog use.
static Op	VIRTUAL_OPERATOR_BLOCK
static Op	VIRTUAL_OPERATOR_CURLY_BLOCK

Fields inherited from class com.igormaznitsa.prologparser.terms.PrologTerm

quotation, text

Method Summary

Modifier and Type	Method	Description
static Op[]	add(Op[] args, Op... ops)
boolean	equals(Object obj)
int	getArity()	Arity of element.
OpAssoc	getAssoc()
int	getPrecedence()	Get precedence of the term.
TermType	getType()	Get term type.
int	hashCode()
boolean	isCompatibleWith(PrologStruct struct)
boolean	isMultiName()
static List<Op>	join(List<Op>... args)
static Op	make(int precedence, OpAssoc type, String... names)	Make operator descriptor describing bunch of operators with same characteristics but differently named.
static Op	makeSystem(int precedence, OpAssoc type, String... names)
Stream<Op>	streamOp()
String	toString()

Methods inherited from class com.igormaznitsa.prologparser.terms.PrologTerm

assertNonEmptyString, compareTo, findQuotation, flatComma, getFunctor, getLine, getPos, getQuotation, getText, isAnyBlock, isBlock, isCurlyBlock, setLine, setPos, stream

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

PRECEDENCE_MAX

public static final int PRECEDENCE_MAX

See Also:

Constant Field Values

PRECEDENCE_MIN

public static final int PRECEDENCE_MIN

See Also:

Constant Field Values

GNU_UNARY_PLUS

public static final Op GNU_UNARY_PLUS

ISO_BITWISE_NEGATION

public static final Op ISO_BITWISE_NEGATION

ISO_UNARY_MINUS

public static final Op ISO_UNARY_MINUS

ISO_UNIFICATION

public static final Op ISO_UNIFICATION

ISO_BITWISE_SHIFT

public static final Op ISO_BITWISE_SHIFT

ISO_ORDER_TERM

public static final Op ISO_ORDER_TERM

ISO_ORDER_ARITH

public static final Op ISO_ORDER_ARITH

ISO_ARITH_PLUS_MINUS

public static final Op ISO_ARITH_PLUS_MINUS

ISO_ARITH_MUL_DIV

public static final Op ISO_ARITH_MUL_DIV

ISO_ARITH_POWER

public static final Op ISO_ARITH_POWER

ISO_ARITH_DIVIDE

public static final Op ISO_ARITH_DIVIDE

ISO_NEGATE

public static final Op ISO_NEGATE

ISO_CLAUSES

public static final Op ISO_CLAUSES

ISO_DIRECTIVES

public static final Op ISO_DIRECTIVES

ISO_BITWISE_AND_OR

public static final Op ISO_BITWISE_AND_OR

MODIFIERS

public static final Op MODIFIERS

GNU_DIV_RDIV

public static final Op GNU_DIV_RDIV

ISO_OR

public static final Op ISO_OR

ISO_THEN

public static final Op ISO_THEN

GNU_STAR_THEN

public static final Op GNU_STAR_THEN

GNU_DOUBLE_DOT

public static final Op GNU_DOUBLE_DOT

SICTUS_SPECIFIC

public static final List<Op> SICTUS_SPECIFIC

ISO

public static final List<Op> ISO

Set of operators for ISO Prolog standard.

GNU_SPECIFIC

public static final List<Op> GNU_SPECIFIC

Set of operators is specific for GNU Prolog use.

SWI_SPECIFIC

public static final List<Op> SWI_SPECIFIC

Set of operators is specific for SWI Prolog use.

SWI

public static final List<Op> SWI

Set of operators for SWI Prolog.

GNU_FD

public static final List<Op> GNU_FD

Set of Finite Domain operators for GNU Prolog.

GNU

public static final List<Op> GNU

Set of operators for GNU Prolog.

SWI_CPL

public static final List<Op> SWI_CPL

Set of Constraint Logic Programming operators for SWI Prolog.

VIRTUAL_OPERATOR_BLOCK

public static final Op VIRTUAL_OPERATOR_BLOCK

VIRTUAL_OPERATOR_CURLY_BLOCK

public static final Op VIRTUAL_OPERATOR_CURLY_BLOCK

METAOPERATOR_COMMA

public static final Op METAOPERATOR_COMMA

METAOPERATOR_LEFT_BRACKET

public static final Op METAOPERATOR_LEFT_BRACKET

METAOPERATOR_LEFT_CURLY_BRACKET

public static final Op METAOPERATOR_LEFT_CURLY_BRACKET

METAOPERATOR_RIGHT_BRACKET

public static final Op METAOPERATOR_RIGHT_BRACKET

METAOPERATOR_RIGHT_CURLY_BRACKET

public static final Op METAOPERATOR_RIGHT_CURLY_BRACKET

METAOPERATOR_LEFT_SQUARE_BRACKET

public static final Op METAOPERATOR_LEFT_SQUARE_BRACKET

METAOPERATOR_RIGHT_SQUARE_BRACKET

public static final Op METAOPERATOR_RIGHT_SQUARE_BRACKET

METAOPERATOR_DOT

public static final Op METAOPERATOR_DOT

METAOPERATOR_VERTICAL_BAR

public static final Op METAOPERATOR_VERTICAL_BAR

Method Detail

make

public static Op make(int precedence,
                      OpAssoc type,
                      String... names)

Make operator descriptor describing bunch of operators with same characteristics but differently named.

Parameters:

precedence - the precedence

type - the type of operators

names - names of operators, must not be empty or contain null

Returns:

generated operator descriptor

See Also:

OpAssoc

makeSystem

public static Op makeSystem(int precedence,
                            OpAssoc type,
                            String... names)

join

@SafeVarargs
public static List<Op> join(List<Op>... args)

add

public static Op[] add(Op[] args,
                       Op... ops)

isMultiName

public boolean isMultiName()

streamOp

public Stream<Op> streamOp()

getArity

public int getArity()

Description copied from class: PrologTerm

Arity of element.

Overrides:

getArity in class PrologTerm

Returns:

arity of element, make sense for compound terms, for primitive terms is 1

getType

public TermType getType()

Description copied from class: PrologTerm

Get term type.

Specified by:

getType in class PrologTerm

Returns:

term type, must not be null

getAssoc

public OpAssoc getAssoc()

getPrecedence

public int getPrecedence()

Description copied from class: PrologTerm

Get precedence of the term.

Overrides:

getPrecedence in class PrologTerm

Returns:

precedence, must not be negative

isCompatibleWith

public boolean isCompatibleWith(PrologStruct struct)

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class PrologTerm