Struct SemanticOperationGraph 

pub struct SemanticOperationGraph {
    pub schema_version: String,
    pub language: Language,
    pub build_variant_fingerprint: [u8; 32],
    pub nodes: Vec<OperationNode>,
    pub edges: Vec<OperationEdge>,
}

A versioned, compiler-independent restricted semantic graph.

Fields

schema_version: String

Vocabulary and normalization contract version.

language: Language

Language that supplied the compiler evidence.

build_variant_fingerprint: [u8; 32]

Build variant that produced the compiler evidence.

nodes: Vec<OperationNode>

Operations in deterministic source order.

edges: Vec<OperationEdge>

Canonically ordered dependencies between operations.

Implementations

impl SemanticOperationGraph

pub fn new( language: Language, build_variant_fingerprint: [u8; 32], nodes: Vec<OperationNode>, edges: Vec<OperationEdge>, ) -> Result<Self, SemanticGraphError>

Construct a validated graph under the current schema version.

Edges are sorted into one canonical order. Inputs that attempt to add a generic operation, an invalid local reference, or an incoherent resource pairing are rejected rather than approximated.

Errors

Returns SemanticGraphError when a node attribute or edge is outside the restricted graph contract.

Trait Implementations

impl Clone for SemanticOperationGraph

fn clone(&self) -> SemanticOperationGraph

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SemanticOperationGraph

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for SemanticOperationGraph

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for SemanticOperationGraph

impl PartialEq for SemanticOperationGraph

fn eq(&self, other: &SemanticOperationGraph) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for SemanticOperationGraph

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for SemanticOperationGraph