Struct ConstructObservation 

pub struct ConstructObservation {
    pub source_offset: u64,
    pub kind: OperationKind,
    pub fallible_kind: Option<FallibleKind>,
    pub direct_propagation: Option<DirectPropagation>,
    pub resource_kind: Option<String>,
}

One compiler-confirmed non-API operation eligible for a registered SOG rule.

The protocol adapter maps its helper-specific construct vocabulary into this closed core vocabulary before calling the normalizer.

Fields

source_offset: u64

Source-order position supplied by the adapter; it is not a stable ID.

kind: OperationKind

Closed SOG operation the compiler established.

fallible_kind: Option<FallibleKind>

Standard fallible container the compiler resolved for this operation.

None is never treated as interchangeable with either known variant by a registered rule.

direct_propagation: Option<DirectPropagation>

Closed direct-propagation spelling the helper confirmed, when any.

resource_kind: Option<String>

Registered resource category for a compiler-confirmed acquire or release operation. It is absent for every other construct.

Trait Implementations

impl Clone for ConstructObservation

fn clone(&self) -> ConstructObservation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ConstructObservation

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

Formats the value using the given formatter.

impl Eq for ConstructObservation

impl PartialEq for ConstructObservation

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ConstructObservation