DowngradeNode

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

Functions

copy

abstract override fun copy(children: List<Node>): DowngradeNode

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

toDocument

toDocumentWithMetadata

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

toSurfaceNode

Returns a representation of this node in the surface syntax.

children

expression

Expression whose label is being downgraded.

fromLabel

The label expression must have before the downgrade.

sourceLocation

toLabel

The label after the downgrade.

DeclassificationNode

EndorsementNode