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

LabelTerm

abstract class LabelTerm

A symbolic representation of a label expression.

Constructors

LabelTerm

fun LabelTerm()

Functions

confidentiality

abstract fun confidentiality(): LabelTerm?

Term that corresponds to performing Label.confidentiality.

getValue

abstract fun getValue(solution: ConstraintSolution): Label

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

integrity

abstract fun integrity(): LabelTerm?

Term that corresponds to performing Label.integrity.

Inheritors

AtomicLabelTerm