parser-impl/it.unibo.tuprolog.parser.operators/OperandConstraint

OperandConstraint

enum OperandConstraint : Enum<OperandConstraint>

Priority relation imposed on one operand by a Prolog operator specifier.

In ISO Prolog notation, x means STRICT and y means NON_STRICT. Lower numeric priorities bind more tightly. See ISO/IEC 13211-1.

Entries

Properties

val entries: EnumEntries<OperandConstraint>

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

expect val name: String

expect val ordinal: Int

Functions

fun accepts(operandPriority: Int, operatorPriority: Int): Boolean

Returns whether operandPriority satisfies this constraint for operatorPriority.

maximumOperandPriority

fun maximumOperandPriority(operatorPriority: Int): Int

Returns the largest operand priority accepted for operatorPriority.

fun valueOf(value: String): OperandConstraint

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.)

fun values(): Array<OperandConstraint>

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