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

DeclassificationNode

class DeclassificationNode(expression: AtomicExpressionNode, fromLabel: LabelNode?, toLabel: LabelNode, sourceLocation: SourceLocation) : DowngradeNode
Content copied to clipboard

Revealing the result of an expression (reducing confidentiality).

Constructors

DeclassificationNode
Link copied to clipboard
fun DeclassificationNode(expression: AtomicExpressionNode, fromLabel: LabelNode?, toLabel: LabelNode, sourceLocation: SourceLocation)
Content copied to clipboard

Functions

copy
Link copied to clipboard
open override fun copy(children: List<Node>): DeclassificationNode
Content copied to clipboard

Returns a shallow copy of this node where the child nodes are replaced by children.

toDocument
Link copied to clipboard
override fun toDocument(): Document
Content copied to clipboard
toDocumentWithMetadata
Link copied to clipboard
fun toDocumentWithMetadata(metadata: Metadata): Document
Content copied to clipboard

Returns a pretty representation of this Node where each descendant is decorated using metadata.

toSurfaceNode
Link copied to clipboard
open override fun toSurfaceNode(): DeclassificationNode
Content copied to clipboard

override fun toSurfaceNode(metadata: Metadata): ExpressionNode
Content copied to clipboard

Returns a representation of this node in the surface syntax.

Properties

children
Link copied to clipboard
override val children: Iterable<AtomicExpressionNode>
Content copied to clipboard
expression
Link copied to clipboard
open override val expression: AtomicExpressionNode
Content copied to clipboard

Expression whose label is being downgraded.

fromLabel
Link copied to clipboard
open override val fromLabel: LabelNode?
Content copied to clipboard

The label expression must have before the downgrade.

sourceLocation
Link copied to clipboard
open override val sourceLocation: SourceLocation
Content copied to clipboard
toLabel
Link copied to clipboard
open override val toLabel: LabelNode
Content copied to clipboard

The label after the downgrade.