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

DeclassificationNode

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

Revealing the result of an expression (reducing confidentiality).

Constructors

DeclassificationNode

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