compiler/edu.cornell.cs.apl.viaduct.security.solver/LabelConstant

LabelConstant

data class LabelConstant(value: Label) : AtomicLabelTerm

Terms representing literal label constants.

Constructors

LabelConstant

fun LabelConstant(value: Label)

Functions

confidentiality

open override fun confidentiality(): LabelConstant

Term that corresponds to performing Label.confidentiality.

getValue

open override fun getValue(solution: ConstraintSolution): Label

Returns the value of this term given an assignment of values to every variable in the term.

integrity

open override fun integrity(): LabelConstant

Term that corresponds to performing Label.integrity.

join

open override fun join(that: Label): LabelConstant

The term that corresponds to the Label.join of this and that.

swap

open override fun swap(): LabelConstant

The term that corresponds to performing Label.swap.

Properties

value

val value: Label