Struct DutyDefinitionCommon

pub struct DutyDefinitionCommon {
    pub violated_when: Vec<Expression>,
    pub enforced_by: Vec<String>,
}

Represents common fields for all duty-like definition phrases.

Fields

violated_when: Vec<Expression>

A list of boolean expressions that will trigger the Duty violated if any of them holds true while the Duty itself holds true.

enforced_by: Vec<String>

A list of type identifiers that define a set of types that, when any of them becomes true, violates this Duty.

Note that this list is quite restrictive. Only types with the same fields (names, types and order!) are allowed.

To illustrate, enforced-by is syntax sugar for a particular violated-when:

Duty must-vote
  Holder citizen
  Claimant administrator
  Enforced by not-voted.

is the same as

Duty must-vote
  Holder citizen
  Claimant administrator
  Violated when Enabled(not-voted(citizen, administrator)).

Trait Implementations

impl Clone for DutyDefinitionCommon

fn clone(&self) -> DutyDefinitionCommon

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for DutyDefinitionCommon

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for DutyDefinitionCommon

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for DutyDefinitionCommon

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.