OperatorApplicationNode

class OperatorApplicationNode(operator: Operator, arguments: Arguments<AtomicExpressionNode>, sourceLocation: SourceLocation) : PureExpressionNode

An n-ary operator applied to n arguments.

Constructors

OperatorApplicationNode
Link copied to clipboard
fun OperatorApplicationNode(operator: Operator, arguments: Arguments<AtomicExpressionNode>, sourceLocation: SourceLocation)

Functions

copy
Link copied to clipboard
open override fun copy(children: List<Node>): OperatorApplicationNode

Returns a shallow copy of this node where the child nodes are replaced by children.

toDocument
Link copied to clipboard
override fun toDocument(): Document
toDocumentWithMetadata
Link copied to clipboard
fun toDocumentWithMetadata(metadata: Metadata): Document

Returns a pretty representation of this Node where each descendant is decorated using metadata.

toSurfaceNode
Link copied to clipboard
open override fun toSurfaceNode(): OperatorApplicationNode

override fun toSurfaceNode(metadata: Metadata): ExpressionNode

Returns a representation of this node in the surface syntax.

Properties

arguments
Link copied to clipboard
val arguments: Arguments<AtomicExpressionNode>
children
Link copied to clipboard
open override val children: Iterable<AtomicExpressionNode>
operator
Link copied to clipboard
val operator: Operator
sourceLocation
Link copied to clipboard
open override val sourceLocation: SourceLocation