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

LabelExpression

sealed class LabelExpression : PrettyPrintable

Functions

containsParameters

abstract fun containsParameters(): Boolean

interpret

abstract fun interpret(parameters: Map<String, Label> = persistentMapOf()): Label

rename

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

toDocument

abstract fun toDocument(): Document

Inheritors

LabelLiteral

LabelParameter

LabelJoin

LabelMeet

LabelAnd

LabelOr

LabelConfidentiality

LabelIntegrity

LabelBottom

LabelTop