Struct GoalDecl 

pub struct GoalDecl {
    pub name: String,
    pub rationale: Option<String>,
    pub stakeholder: Vec<String>,
    pub measure: Option<String>,
    pub realized_by: Vec<String>,
}

Fields

name: String

Human-readable goal name (a string literal)

rationale: Option<String>

stakeholder: Vec<String>

Free-form list of stakeholder labels (e.g., “compliance”, “finance”)

measure: Option<String>

realized_by: Vec<String>

Identifier names of safety/intent declarations that realize this goal

Trait Implementations

impl Clone for GoalDecl

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 GoalDecl

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

Formats the value using the given formatter.