Struct ContractFile 

pub struct ContractFile {
    pub policies: Vec<Policy>,
    pub risk_limits: Vec<RiskLimit>,
    pub approval_rules: Vec<ApprovalRule>,
    pub approval_requests: Vec<ApprovalRequest>,
    pub approval_decisions: Vec<ApprovalDecision>,
    pub conditions: Vec<Condition>,
    pub obligations: Vec<Obligation>,
    pub violations: Vec<Violation>,
    pub path: Option<PathBuf>,
}

In-memory representation of a .acon file.

Fields

policies: Vec<Policy>

Policies.

risk_limits: Vec<RiskLimit>

Risk limits.

approval_rules: Vec<ApprovalRule>

Approval rules.

approval_requests: Vec<ApprovalRequest>

Approval requests.

approval_decisions: Vec<ApprovalDecision>

Approval decisions.

conditions: Vec<Condition>

Conditions.

obligations: Vec<Obligation>

Obligations.

violations: Vec<Violation>

Violations.

path: Option<PathBuf>

Source file path (not serialized in the file body).

Implementations

impl ContractFile

pub fn new() -> Self

Create a new empty contract file.

pub fn open(path: impl Into<PathBuf>) -> ContractResult<Self>

Create from a file path, loading if it exists.

pub fn load(path: &Path) -> ContractResult<Self>

Load from file.

pub fn save(&self) -> ContractResult<()>

Save to file.

pub fn total_entities(&self) -> usize

Get total entity count across all types.

pub fn find_policy(&self, id: ContractId) -> Option<&Policy>

Find a policy by ID.

pub fn find_risk_limit(&self, id: ContractId) -> Option<&RiskLimit>

Find a risk limit by ID.

pub fn find_risk_limit_mut(&mut self, id: ContractId) -> Option<&mut RiskLimit>

Find a mutable risk limit by ID.

pub fn find_obligation(&self, id: ContractId) -> Option<&Obligation>

Find an obligation by ID.

pub fn find_obligation_mut(&mut self, id: ContractId) -> Option<&mut Obligation>

Find a mutable obligation by ID.

Trait Implementations

impl Clone for ContractFile

fn clone(&self) -> ContractFile

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ContractFile

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

Formats the value using the given formatter.

impl Default for ContractFile

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for ContractFile

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for ContractFile

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

where __S: Serializer,

Serialize this value into the given Serde serializer.