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

ConfidentialityChangingEndorsementError

fun ConfidentialityChangingEndorsementError(node: EndorsementNode, from: Label, to: Label)

Parameters

node

Endorsement statement that modifies confidentiality.

from

Label of the expression being endorsed.

to

Resulting label of the expression.