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

LabelVariable

data class LabelVariable(confidentialityComponent: AtomicTerm<FreeDistributiveLattice<Principal>>, integrityComponent: AtomicTerm<FreeDistributiveLattice<Principal>>) : AtomicLabelTerm
Content copied to clipboard

A stand-in for an unknown label. The solver will assign an actual value to each instance.

See also

Constructors

LabelVariable
Link copied to clipboard
fun LabelVariable(confidentialityComponent: AtomicTerm<FreeDistributiveLattice<Principal>>, integrityComponent: AtomicTerm<FreeDistributiveLattice<Principal>>)
Content copied to clipboard

Functions

confidentiality
Link copied to clipboard
open override fun confidentiality(): LabelVariable
Content copied to clipboard

Term that corresponds to performing Label.confidentiality.

getValue
Link copied to clipboard
open override fun getValue(solution: ConstraintSolution): Label
Content copied to clipboard

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

integrity
Link copied to clipboard
open override fun integrity(): LabelVariable
Content copied to clipboard

Term that corresponds to performing Label.integrity.

join
Link copied to clipboard
open override fun join(that: Label): LabelTerm
Content copied to clipboard

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

swap
Link copied to clipboard
open override fun swap(): AtomicLabelTerm
Content copied to clipboard

The term that corresponds to performing Label.swap.

Properties

confidentialityComponent
Link copied to clipboard
open override val confidentialityComponent: AtomicTerm<FreeDistributiveLattice<Principal>>
Content copied to clipboard

Returns a term representing the confidentiality component.

integrityComponent
Link copied to clipboard
open override val integrityComponent: AtomicTerm<FreeDistributiveLattice<Principal>>
Content copied to clipboard

Returns a term representing the integrity component.