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

LabelExpression

sealed class LabelExpression : PrettyPrintable

Functions

abstract fun interpret(): Label

abstract fun rename(renamer: (String) -> String = { x -> x }): LabelExpression

abstract fun toDocument(): Document

Inheritors

LabelConfidentiality