Struct ObservedInstallationRole 

pub struct ObservedInstallationRole { /* private fields */ }

Existing role state exposed symbolically for a bounded authority diff.

Implementations

impl ObservedInstallationRole

pub fn new( name: InstallationSymbol, role_hash: ApplicationRoleHash, operations: Vec<RoleOperation>, ) -> Result<Self, InstallationPlanError>

Creates one sorted exact role observation.

pub fn new_with_authority( name: InstallationSymbol, role_hash: ApplicationRoleHash, authority: RoleAuthoritySet, ) -> Result<Self, InstallationPlanError>

Creates one exact role observation over the complete closed authority vocabulary.

pub const fn name(&self) -> &InstallationSymbol

Symbolic role name.

pub const fn role_hash(&self) -> ApplicationRoleHash

Exact current role identity.

pub fn operations(&self) -> &[RoleOperation]

Current symbolic operation surface.

pub fn secret_outputs(&self) -> &[QuerySecretOutput]

Current symbolic named-query secret-output surface.

pub const fn authority(&self) -> &RoleAuthoritySet

Complete current symbolic authority.

Trait Implementations

impl Clone for ObservedInstallationRole

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ObservedInstallationRole

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for ObservedInstallationRole

impl PartialEq for ObservedInstallationRole

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for ObservedInstallationRole