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

AtomicLabelTerm

abstract class AtomicLabelTerm : LabelTerm

An atomic term such as a constant or a variable but a join.

Constructors

AtomicLabelTerm

fun AtomicLabelTerm()

Functions

confidentiality

abstract override fun confidentiality(): AtomicLabelTerm

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 override fun integrity(): AtomicLabelTerm

Term that corresponds to performing Label.integrity.

join

abstract fun join(that: Label): LabelTerm

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

swap

abstract fun swap(): AtomicLabelTerm

The term that corresponds to performing Label.swap.

Inheritors

LabelConstant

LabelVariable