compiler/edu.cornell.cs.apl.viaduct.syntax.intermediate/AssertionNode

AssertionNode

class AssertionNode(condition: AtomicExpressionNode, sourceLocation: SourceLocation) : StatementNode

Asserting that a condition is true, and failing otherwise.

Constructors

AssertionNode

fun AssertionNode(condition: AtomicExpressionNode, sourceLocation: SourceLocation)

Functions

copy

open override fun copy(children: List<Node>): AssertionNode

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

toDocument

override fun toDocument(): Document

toDocumentWithMetadata

fun toDocumentWithMetadata(metadata: Metadata): Document

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

toSurfaceNode

open override fun toSurfaceNode(metadata: Metadata): AssertionNode

Returns a representation of this node in the surface syntax.

Properties

children

open override val children: Iterable<AtomicExpressionNode>

condition

val condition: AtomicExpressionNode

sourceLocation

open override val sourceLocation: SourceLocation