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

DeclassificationNode

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

Revealing the result of an expression (reducing confidentiality).

Constructors

fun DeclassificationNode(expression: AtomicExpressionNode, fromLabel: LabelNode?, toLabel: LabelNode, sourceLocation: SourceLocation)

Functions

copy

open override fun copy(children: List<Node>): DeclassificationNode

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

toDocument

override fun toDocument(): Document

toDocumentWithMetadata

fun toDocumentWithMetadata(metadata: Metadata): Document

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

toSurfaceNode

open override fun toSurfaceNode(): DeclassificationNode

override fun toSurfaceNode(metadata: Metadata): ExpressionNode

Returns a representation of this node in the surface syntax.

Properties

children

override val children: Iterable<AtomicExpressionNode>

The list of all children nodes. This is empty for leaf nodes.

expression

open override val expression: AtomicExpressionNode

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.

Extensions

deepCopy

fun Node.deepCopy(): Node

Like Node.copy, but recursively copies all descendant nodes also.

descendants

fun Node.descendants(): Sequence<Node>

Returns this node and all its descendants in post order.

descendantsIsInstance

inline fun <T : Node> Node.descendantsIsInstance(): Sequence<T>

Returns all instances of T contained in this node (which may include this node).

freshVariableNameGenerator

fun Node.freshVariableNameGenerator(): FreshNameGenerator

A FreshNameGenerator that will avoid all Variable names in this node.

involvedVariables

fun ExpressionNode.involvedVariables(): List<Variable>

readsFrom

fun ExpressionNode.readsFrom(nameAnalysis: NameAnalysis, protocols: Set<Protocol>): SelectionConstraint

States whether an expression reads only from the protocols in protocols.