compiler/io.github.aplcornell.viaduct.security/SecurityLattice/Bounds

Bounds

class Bounds<T : Lattice<T>>(bounds: BoundedLattice<T>) : BoundedLattice<SecurityLattice<T>> , BoundedTrustLattice<SecurityLattice<T>>

Provides bounds for a SecurityLattice given bounds for T.

Constructors

fun <T : Lattice<T>> Bounds(bounds: BoundedLattice<T>)

Properties

open override val bottom: SecurityLattice<T>

The least element of T.

open override val strongest: SecurityLattice<T>

The most powerful principal.

open override val top: SecurityLattice<T>

The greatest element of T.

open override val weakest: SecurityLattice<T>

The least powerful principal.