core/it.unibo.tuprolog.core.operators/Specifier

Specifier

enum Specifier : TermConvertible, Enum<Specifier>

Enumeration containing all type of specifiers that can be given to Operators.

The conventions for defining the order (prefix, infix and postfix) and associativity (left, right, none) of operators are as follows, where f stands for the position of the operator and x and y for its arguments:

Prefix	Postfix	Infix	Associativity
fx	xf	xfx	none
	yf	yfx	left
fy		xfy	right

Entries

Postfix and no-associative

Postfix and left-associative

Prefix and non-associative

Prefix and right-associative

XFX

Infix and non-associative

XFY

Infix and right-associative

YFX

Infix and left-associative

Types

Companion

object Companion

Properties

entries

val entries: EnumEntries<Specifier>

Returns a representation of an immutable list of all enum entries, in the order they're declared.

isInfix

val isInfix: Boolean

Whether this specifier is an infix one

isPostfix

val isPostfix: Boolean

Whether this specifier is a postfix one

isPrefix

val isPrefix: Boolean

Whether this specifier is a prefix one

name

expect val name: String

ordinal

expect val ordinal: Int

Functions

toTerm

open override fun toTerm(): Atom

Creates an atom containing the specifier symbolic name

valueOf

fun valueOf(value: String): Specifier

Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)

values

fun values(): Array<Specifier>

Returns an array containing the constants of this enum type, in the order they're declared.