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

AuthorityDelegationDeclarationNode

class AuthorityDelegationDeclarationNode(val from: LabelNode, val to: LabelNode, val delegationProjection: DelegationProjection, val sourceLocation: SourceLocation) : DelegationDeclarationNode

Declaration of a delegation.

Constructors

AuthorityDelegationDeclarationNode

fun AuthorityDelegationDeclarationNode(from: LabelNode, to: LabelNode, delegationProjection: DelegationProjection, sourceLocation: SourceLocation)

Functions

open override fun congruences(): List<FreeDistributiveLattice.LessThanOrEqualTo<PrincipalComponent>>

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

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

override fun toDocument(): Document

toDocumentWithMetadata

fun toDocumentWithMetadata(metadata: Metadata): Document

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

open override fun toSurfaceNode(metadata: Metadata): AuthorityDelegationDeclarationNode

Returns a representation of this node in the surface syntax.

Properties

open override val children: Iterable<BlockNode>

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

delegationProjection

open override val delegationProjection: DelegationProjection

open override val from: LabelNode

open override val sourceLocation: SourceLocation

open override val to: LabelNode

Extensions

fun Node.deepCopy(): Node

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

fun Node.descendants(): Sequence<Node>

Returns this node and all its descendants in post order.

descendantsIsInstance

inline fun <T : Node> Node.descendantsIsInstance(): Sequence<T>

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

freshVariableNameGenerator

fun Node.freshVariableNameGenerator(): FreshNameGenerator

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