compiler/io.github.aplcornell.viaduct.syntax.surface/EndorsementNode

EndorsementNode

class EndorsementNode(val expression: ExpressionNode, val fromLabel: LabelNode, val toLabel: LabelNode?, val sourceLocation: SourceLocation) : DowngradeNode

Trusting the result of an expression (increasing integrity).

Constructors

EndorsementNode

fun EndorsementNode(expression: ExpressionNode, fromLabel: LabelNode, toLabel: LabelNode?, sourceLocation: SourceLocation)

Functions

override fun toDocument(): Document

Properties

override val comment: String?

Expressions cannot have associated comments.

open override val expression: ExpressionNode

Expression whose label is being downgraded.

open override val fromLabel: LabelNode

The label expression must have before the downgrade.

open override val sourceLocation: SourceLocation

open override val toLabel: LabelNode?

The label after the downgrade.