compiler/io.github.aplcornell.viaduct.errors/IntegrityChangingDeclassificationError/IntegrityChangingDeclassificationError

IntegrityChangingDeclassificationError

fun IntegrityChangingDeclassificationError(node: DeclassificationNode, from: Label, to: Label)

Parameters

node

Declassify statement that modifies integrity.

from

Label of the expression being declassified.

to

Resulting label of the expression.