compiler/edu.cornell.cs.apl.viaduct.analysis/InformationFlowAnalysis/label

label

fun label(node: LetNode): Label
Content copied to clipboard

Returns the inferred security label of the Temporary defined by node.


fun label(node: DeclarationNode): Label
Content copied to clipboard
fun label(node: ParameterNode): Label
Content copied to clipboard
fun label(node: ObjectDeclarationArgumentNode): Label
Content copied to clipboard

Returns the inferred security label of the ObjectVariable declared by node.


fun label(node: ExpressionNode): Label
Content copied to clipboard

Returns the inferred security label of the result of node.