compiler/edu.cornell.cs.apl.viaduct.syntax.operators/LogicalOperator

LogicalOperator

abstract class LogicalOperator : BinaryInfixOperator

An infix operator that takes two booleans and returns a boolean.

Constructors

LogicalOperator

fun LogicalOperator()

Functions

alternativeTypes

open fun alternativeTypes(): List<FunctionType>

In lieu of polymorphic types, have an optional list of alternative types to check against.

apply

open override fun apply(arguments: List<Value>): Value

Computes the result of applying this operator to arguments.

override fun apply(argument1: Value, argument2: Value): Value

Computes the result of applying this operator to argument1 and argument2.

abstract fun apply(left: Boolean, right: Boolean): Boolean

toDocument

open override fun toDocument(arguments: List<PrettyPrintable>): Document

Shows this operator applied to arguments.

override fun toDocument(argument1: PrettyPrintable, argument2: PrettyPrintable): Document

Shows this operator applied to argument1 and argument2.

Properties

associativity

override val associativity: Associativity

Determines the grouping of consecutive operators that have the same precedence.

precedence

override val precedence: Precedence

Determines the order of this operator with respect to (a subset of) other operators. Operators with higher precedence bind tighter than operators with lower precedence (for example, multiplication has higher precedence than addition).

type

override val type: FunctionType

The type of this operator.

Inheritors

And

Or