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

DeclassificationNode

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

Revealing the result of an expression (reducing confidentiality).

Constructors

DeclassificationNode

fun DeclassificationNode(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.