IntegrityChangingDeclassificationError
fun IntegrityChangingDeclassificationError(node: DeclassificationNode, from: Label, to: Label)
Content copied to clipboard
Parameters
node
Declassify statement that modifies confidentiality.
from
Label of the expression being declassified.
to
Resulting label of the expression.