Struct GraphIndex 

pub struct GraphIndex { /* private fields */ }

An in-memory default graph with distinct facts and authored assertions.

use morphir_core::metadata::{Assertion, AssertionKey, Carrier, DocumentId,
    Fact, GraphIndex, GraphName, ObjectTerm};
use morphir_core::node_address::NodeUri;
use serde_json::json;

let subject = NodeUri::parse(
    "morphir://ir/pkg/acme/orders?format=4.0.0#/module/api/value/submit-order"
).unwrap();
let predicate = NodeUri::parse(
    "morphir://ir/pkg/acme/metadata?format=4.0.0#/module/naming/value/aliases"
).unwrap();
let fact = Fact::new(subject.clone(), predicate, ObjectTerm::value(json!("placeOrder")),
    GraphName::Default);
let owner = DocumentId::new("orders/spec.json").unwrap();
let key = AssertionKey::new(owner, Carrier::AttributesFacts(subject.clone()), fact).unwrap();
let mut graph = GraphIndex::new();
graph.insert(Assertion::new(key)).unwrap();
assert_eq!(graph.outgoing(&subject).len(), 1);

Implementations

impl GraphIndex

pub fn new() -> Self

Create an empty default graph.

pub fn insert(&mut self, assertion: Assertion) -> Result<(), MetadataError>

Insert one assertion, coalescing equal facts and repeated same-carrier assertions.

A duplicate key with mixed explicit and implicit source knowledge is rejected because merging it could hide an unknown contributor. Named graphs remain representable in Fact but are rejected here.

pub fn facts(&self) -> &[Fact]

Distinct facts in first-insertion order.

pub fn assertions(&self) -> &[Assertion]

Distinct document-and-carrier assertions in first-insertion order.

pub fn try_map_node_uris<E>( &self, map: impl FnMut(&NodeUri) -> Result<NodeUri, E>, ) -> Result<Self, GraphMapError<E>>

Rebind every addressed term and carrier in one transaction. Source detail travels with its assertion, so a published selector cannot be left referring to the authoring identity. Literal data is never scanned for URI-looking strings.

pub fn apply_source_records( &mut self, owner: &DocumentId, records: &[SourceRecord], ) -> Result<(), MetadataError>

Apply one document’s optional detailed source table after all selectors validate.

Selectors use the already-expanded assertion identity. Any invalid row rejects the entire table without changing source ownership.

pub fn rewrite_assertion( &mut self, old: &AssertionKey, replacement: Fact, ) -> Result<(), MetadataError>

Replace one authored fact and its selector in one graph update.

Existing explicit sources move with the assertion. A failed replacement leaves both the graph and its source table association untouched.

pub fn remove_source_from_owner( &mut self, owner: &DocumentId, source: &AssertionSource, ) -> Result<usize, MetadataError>

Remove a known source’s contribution to one document’s assertions.

An assertion with only the implicit document source has unknown detailed ownership, so source-dependent removal fails before changing anything. Assertions without remaining sources are removed from the graph.

pub fn assertions_for_fact(&self, fact: &Fact) -> Vec<&Assertion>

All document-and-carrier assertions for one expanded fact.

pub fn outgoing(&self, subject: &NodeUri) -> Vec<&Fact>

All distinct default-graph facts whose subject is this node.

pub fn outgoing_with_predicate( &self, subject: &NodeUri, predicate: &NodeUri, ) -> Vec<&Fact>

Outgoing facts for one expanded predicate declaration.

pub fn incoming(&self, object: &NodeUri) -> Vec<&Fact>

All distinct default-graph facts that link to this node.

Strings inside typed data are never interpreted as incoming links.

Trait Implementations

impl Debug for GraphIndex

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

Formats the value using the given formatter.

impl Default for GraphIndex

fn default() -> Self

Returns the “default value” for a type.