Struct GateLocation 

pub struct GateLocation { /* private fields */ }

A one-based, repository-relative source anchor carried by gate evidence.

The anchor kind is judgment-internal: it selects a component annotation and is not serialized, so the published location object keeps its exact bytes.

Implementations

impl GateLocation

pub fn try_new( path: impl Into<Arc<str>>, line: u32, column: u32, ) -> Result<Self, ModuleBoundaryInputError>

Build a span location, rejecting an empty path and zero coordinates.

pub fn try_new_file( path: impl Into<Arc<str>>, ) -> Result<Self, ModuleBoundaryInputError>

Build a whole-file location at line 1, column 1, rejecting an empty path.

pub fn path(&self) -> &str

The normalized, repository-relative source path.

pub fn line(&self) -> u32

The one-based line.

pub fn column(&self) -> u32

The one-based byte column.

pub fn anchor(&self) -> GateAnchor

Whether the coordinates came from a span or from the holding file.

Trait Implementations

impl Clone for GateLocation

fn clone(&self) -> GateLocation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for GateLocation

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

Formats the value using the given formatter.

impl Eq for GateLocation

impl PartialEq for GateLocation

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for GateLocation

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 GateLocation