compiler/edu.cornell.cs.apl.viaduct.security/LabelConfidentiality

LabelConfidentiality

data class LabelConfidentiality(value: LabelExpression) : LabelExpression

Functions

containsParameters

open override fun containsParameters(): Boolean

interpret

open override fun interpret(parameters: Map<String, Label>): Label

rename

open override fun rename(renamer: (String) -> String): LabelExpression

toDocument

open override fun toDocument(): Document

Properties

value

val value: LabelExpression