compiler/io.github.aplcornell.viaduct.syntax.intermediate/IfNode

IfNode

class IfNode(val guard: AtomicExpressionNode, val thenBranch: BlockNode, val elseBranch: BlockNode, val sourceLocation: SourceLocation) : ControlNode

Executing statements conditionally.

Parameters

thenBranch

Statement to execute if the guard is true.

elseBranch

Statement to execute if the guard is false.

Constructors

Link copied to clipboard
fun IfNode(guard: AtomicExpressionNode, thenBranch: BlockNode, elseBranch: BlockNode, sourceLocation: SourceLocation)

Functions

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

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

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

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

Link copied to clipboard
open override fun toSurfaceNode(metadata: Metadata): IfNode

Returns a representation of this node in the surface syntax.

Properties

Link copied to clipboard
open override val children: Iterable<Node>

The list of all children nodes. This is empty for leaf nodes.

Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
open override val sourceLocation: SourceLocation
Link copied to clipboard

Extensions

Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
fun Node.deepCopy(): Node

Like Node.copy, but recursively copies all descendant nodes also.

Link copied to clipboard
fun Node.descendants(): Sequence<Node>

Returns this node and all its descendants in post order.

Link copied to clipboard
inline fun <T : Node> Node.descendantsIsInstance(): Sequence<T>

Returns all instances of T contained in this node (which may include this node).

Link copied to clipboard
fun Node.freshVariableNameGenerator(): FreshNameGenerator

A FreshNameGenerator that will avoid all Variable names in this node.

Link copied to clipboard