Struct Claims 

pub struct Claims {
    pub rules: BTreeSet<RuleId>,
    pub choices: BTreeMap<RuleId, String>,
}

What an engine declares about itself: the rules it takes the conformance test on, and the option it picks for each of the specification’s choices (CHOICE: the specification names the options, an engine declares its pick; plan/served.md P13 step 3).

Fields

rules: BTreeSet<RuleId>

The rule identifiers the engine claims.

choices: BTreeMap<RuleId, String>

The choice rules whose option the engine picks, and the option.

Implementations

impl Claims

pub fn new(rules: impl IntoIterator<Item = RuleId>) -> Self

The claims of an engine that claims rules, with no choices.

pub fn claims(&self, rule: &RuleId) -> bool

True when rule is claimed.

pub fn with_choice(self, rule: RuleId, option: impl Into<String>) -> Self

Declare the option this engine picks for rule.

pub fn choice(&self, rule: &RuleId) -> Option<&str>

The option this engine picks for rule, if it declares one.

Trait Implementations

impl Clone for Claims

fn clone(&self) -> Claims

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Claims

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

Formats the value using the given formatter.

impl Default for Claims

fn default() -> Claims

Returns the “default value” for a type.

impl Eq for Claims

impl PartialEq for Claims

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Claims