Struct SpecFlowGraphV2 

pub struct SpecFlowGraphV2 { /* private fields */ }

SpecFlowGraph V2 - SoA + Side Tables design.

NOTE: Deserialize is NOT derived because SpecFlowGraphV2 contains HashMap<SymbolId, …>. SymbolId is process-specific. Serialize is kept for debugging/inspection.

Implementations

impl SpecFlowGraphV2

pub fn new() -> Self

Create a new empty graph.

pub fn add_group( &mut self, name: impl Into<String>, description: Option<String>, ) -> SpecNodeId

Add a group, returning its ID. Reuses existing if name matches.

pub fn add_spec_alias( &mut self, alias_id: SymbolId, alias_name: String, group_name: &str, wrapped_type_id: Option<SymbolId>, wrapped_type_name: Option<String>, source: SpecSource, ) -> SpecNodeId

Add a spec alias.

pub fn add_constraint(&mut self, kind: ConstraintKind) -> SpecNodeId

Add a constraint.

pub fn add_intent( &mut self, description: impl Into<String>, kind: IntentKind, ) -> SpecNodeId

Add an intent.

pub fn add_dependency(&mut self, from: SpecNodeId, to: SpecNodeId)

Add dependency: from depends on to.

pub fn add_related(&mut self, a: SpecNodeId, b: SpecNodeId)

Add related edge (bidirectional).

pub fn link_constraint(&mut self, spec: SpecNodeId, constraint: SpecNodeId)

Link constraint to spec.

pub fn link_intent(&mut self, spec: SpecNodeId, intent: SpecNodeId)

Link intent to spec.

pub fn group_by_name(&self, name: &str) -> Option<SpecNodeId>

Get group by name. O(1)

pub fn spec_by_symbol(&self, id: SymbolId) -> Option<SpecNodeId>

Get spec by SymbolId. O(1)

pub fn specs_in_group( &self, group: SpecNodeId, ) -> impl Iterator<Item = SpecNodeId> + '_

Get all specs in a group. O(1)

pub fn dependencies( &self, spec: SpecNodeId, ) -> impl Iterator<Item = SpecNodeId> + '_

Get dependencies of a spec. O(1)

pub fn constraints( &self, spec: SpecNodeId, ) -> impl Iterator<Item = SpecNodeId> + '_

Get constraints of a spec. O(1)

pub fn get_group(&self, id: SpecNodeId) -> Option<&GroupData>

Get group data.

pub fn get_spec_alias(&self, id: SpecNodeId) -> Option<&SpecAliasData>

Get spec alias data.

pub fn get_constraint(&self, id: SpecNodeId) -> Option<&ConstraintData>

Get constraint data.

pub fn get_intent(&self, id: SpecNodeId) -> Option<&IntentData>

Get intent data.

pub fn all_groups(&self) -> impl Iterator<Item = (SpecNodeId, &GroupData)>

Iterate all groups.

pub fn all_spec_aliases( &self, ) -> impl Iterator<Item = (SpecNodeId, &SpecAliasData)>

Iterate all spec aliases.

pub fn group_count(&self) -> usize

Number of groups.

pub fn spec_count(&self) -> usize

Number of spec aliases.

pub fn constraint_count(&self) -> usize

Number of constraints.

pub fn node_count(&self) -> usize

Total node count.

pub fn is_empty(&self) -> bool

Check if empty.

pub fn group_names(&self) -> impl Iterator<Item = &str>

Get all group names. O(N groups)

pub fn specs_in_group_by_name( &self, name: &str, ) -> impl Iterator<Item = SpecNodeId> + '_

Get specs in a group by name. O(1)

pub fn dependents( &self, spec: SpecNodeId, ) -> impl Iterator<Item = SpecNodeId> + '_

Get dependents of a spec (reverse dependencies). O(N specs)

pub fn edge_count(&self) -> usize

Total edge count.

pub fn related(&self, spec: SpecNodeId) -> impl Iterator<Item = SpecNodeId> + '_

Get related specs (bidirectional). O(1)

pub fn intents(&self, spec: SpecNodeId) -> impl Iterator<Item = SpecNodeId> + '_

Get intents of a spec. O(1)

pub fn spec_name(&self, id: SpecNodeId) -> Option<&str>

Get spec alias name (pre-resolved during build).

pub fn wrapped_type_name(&self, id: SpecNodeId) -> Option<&str>

Get wrapped type name (pre-resolved during build).

pub fn spec_group_name(&self, id: SpecNodeId) -> Option<&str>

Get group name for a spec alias.

pub fn spec_by_name(&self, name: &str) -> Option<SpecNodeId>

Find spec by name (DoD - uses pre-resolved names). O(N specs)

Trait Implementations

impl Clone for SpecFlowGraphV2

fn clone(&self) -> SpecFlowGraphV2

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SpecFlowGraphV2

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

Formats the value using the given formatter.

impl Default for SpecFlowGraphV2

fn default() -> SpecFlowGraphV2

Returns the “default value” for a type.

impl Serialize for SpecFlowGraphV2

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

where __S: Serializer,

Serialize this value into the given Serde serializer.