viaduct
0.3.0
compiler
/
io.github.aplcornell.viaduct.errors
/
InsecureDataFlowError
/
InsecureDataFlowError
Insecure
Data
Flow
Error
fun
InsecureDataFlowError
(
node
:
HasSourceLocation
,
nodeLabel
:
Label
,
to
:
Label
,
context
:
FreeDistributiveLatticeCongruence
<
Component
<
Principal
>
>
)