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

EndorsementNode

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

Trusting the result of an expression (increasing integrity).

Constructors

EndorsementNode

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

Functions

toDocument

override fun toDocument(): Document

Properties

comment

override val comment: String?

Expressions cannot have associated comments.

expression

open override val expression: ExpressionNode

Expression whose label is being downgraded.

fromLabel

open override val fromLabel: LabelNode

The label expression must have before the downgrade.

sourceLocation

open override val sourceLocation: SourceLocation

toLabel

open override val toLabel: LabelNode?

The label after the downgrade.