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

DowngradeNode

sealed class DowngradeNode : ExpressionNode

Reducing the confidentiality or increasing the integrity of the result of an expression.

Functions

toDocument

override fun toDocument(): Document

Properties

comment

override val comment: String?

Expressions cannot have associated comments.

expression

abstract val expression: ExpressionNode

Expression whose label is being downgraded.

fromLabel

abstract val fromLabel: LabelNode?

The label expression must have before the downgrade.

sourceLocation

abstract val sourceLocation: SourceLocation

toLabel

abstract val toLabel: LabelNode?

The label after the downgrade.

Inheritors

DeclassificationNode

EndorsementNode