compiler/io.github.aplcornell.viaduct.security/LabelConfidentiality

LabelConfidentiality

data class LabelConfidentiality(val value: LabelExpression) : LabelExpression

Constructors

LabelConfidentiality

fun LabelConfidentiality(value: LabelExpression)

Functions

open override fun interpret(): Label

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

open override fun toDocument(): Document

Properties

val value: LabelExpression