Struct PropertyEnumeration 

pub struct PropertyEnumeration { /* private fields */ }

Every property an enumeration request selects, exactly, with the evidence that nothing else is selected.

Properties are sorted by set and name; no set and name occurs twice. An empty enumeration is an exact proof that the object has no selected property, as CompletePropertyAbsenceEvidence is for one name.

A set the object carries without any member holds no property, so it leaves no trace among the properties. A source that can tell such a set apart from no set at all names it in Self::empty_sets, so a rule requiring a property in every selected set fails on it, as IDS requires.

Implementations

impl PropertyEnumeration

pub fn try_new( request: PropertyEnumerationRequest, properties: Vec<Property>, evidence: Evidence, ) -> Result<Self, PropertyResolutionError>

Creates a request-bound enumeration.

Errors

PropertyResolutionError::InexactEvidence when the completeness evidence or a property’s evidence is not exact, reviewable and from the object’s source; PropertyResolutionError::ResponseRequestMismatch for a property the request does not select; PropertyResolutionError::InvalidValue for an invalid value; and PropertyResolutionError::Conflicting when a set and name occur twice.

pub fn with_empty_sets( self, sets: impl IntoIterator<Item = String>, ) -> Result<Self, PropertyResolutionError>

The same enumeration, also naming the selected sets the object carries without any member, sorted and each once.

Errors

PropertyResolutionError::ResponseRequestMismatch for a set the request does not select, or of a reserved name; and PropertyResolutionError::Conflicting for a set an enumerated property is in, which is not empty.

pub fn request(&self) -> &PropertyEnumerationRequest

Bound request.

pub fn properties(&self) -> &[Property]

The selected properties, sorted by set and name.

pub fn evidence(&self) -> &Evidence

Exact reviewable evidence that the enumeration is complete.

pub fn empty_sets(&self) -> &[String]

The selected sets the object carries without any member, sorted. The same evidence proves there are no others; a source that cannot tell an empty set from none reports none.

Trait Implementations

impl Clone for PropertyEnumeration

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 PropertyEnumeration

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

Formats the value using the given formatter.

impl PartialEq for PropertyEnumeration

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for PropertyEnumeration