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

EndorsementNode

class EndorsementNode(expression: AtomicExpressionNode, fromLabel: LabelNode, toLabel: LabelNode?, sourceLocation: SourceLocation) : DowngradeNode
Content copied to clipboard

Trusting the result of an expression (increasing integrity).

Constructors

EndorsementNode
Link copied to clipboard
fun EndorsementNode(expression: AtomicExpressionNode, fromLabel: LabelNode, toLabel: LabelNode?, sourceLocation: SourceLocation)
Content copied to clipboard

Functions

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

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

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

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

toSurfaceNode
Link copied to clipboard
open override fun toSurfaceNode(): EndorsementNode
Content copied to clipboard

override fun toSurfaceNode(metadata: Metadata): ExpressionNode
Content copied to clipboard

Returns a representation of this node in the surface syntax.

Properties

children
Link copied to clipboard
override val children: Iterable<AtomicExpressionNode>
Content copied to clipboard
expression
Link copied to clipboard
open override val expression: AtomicExpressionNode
Content copied to clipboard

Expression whose label is being downgraded.

fromLabel
Link copied to clipboard
open override val fromLabel: LabelNode
Content copied to clipboard

The label expression must have before the downgrade.

sourceLocation
Link copied to clipboard
open override val sourceLocation: SourceLocation
Content copied to clipboard
toLabel
Link copied to clipboard
open override val toLabel: LabelNode?
Content copied to clipboard

The label after the downgrade.