Enum CodeError 

pub enum CodeError<Id> {
    Empty,
    MalformedLocation {
        instruction: Id,
        start: usize,
        end: usize,
    },
    OverlappingLocations {
        first: Id,
        second: Id,
    },
    IdentityMismatch {
        supplied: Id,
        derived: Id,
    },
    DuplicateIdentity {
        instruction: Id,
    },
    UnknownInstruction {
        instruction: Id,
    },
    InteriorTarget {
        from: Id,
        target: usize,
        containing: Id,
    },
    OutOfRangeTarget {
        from: Id,
        target: usize,
    },
    MalformedRegion {
        start: Id,
        end_index: usize,
    },
    OverlappingRegions {
        first_start: Id,
        second_start: Id,
    },
}

Exact refusal evidence produced while freezing located code.

Variants

Empty

No instructions were supplied.

MalformedLocation

An instruction’s location is empty or reversed.

Fields

instruction: Id

Instruction carrying the malformed location.

start: usize

Supplied inclusive start.

end: usize

Supplied exclusive end.

OverlappingLocations

Two instruction source ranges overlap.

Fields

first: Id

Earlier instruction in preparation order.

second: Id

Conflicting instruction.

IdentityMismatch

The supplied stable identity does not match the instruction policy.

Fields

supplied: Id

Identity supplied with the location.

derived: Id

Identity derived by the instruction policy.

DuplicateIdentity

A stable instruction identity occurs more than once.

Fields

instruction: Id

Repeated identity.

UnknownInstruction

A branch source, region boundary, or identity target is unknown.

Fields

instruction: Id

Identity that is absent from the code.

InteriorTarget

A raw target lies strictly inside an instruction rather than on its boundary.

Fields

from: Id

Instruction containing the branch or region declaration.

target: usize

Rejected raw source position.

containing: Id

Instruction whose interior contains the position.

OutOfRangeTarget

A raw target is outside every instruction boundary.

Fields

from: Id

Instruction containing the branch or region declaration.

target: usize

Rejected raw source position.

MalformedRegion

A protected region is empty or reversed.

Fields

start: Id

Declared first instruction.

end_index: usize

Resolved exclusive end index.

OverlappingRegions

Protected regions overlap.

Fields

first_start: Id

Start identity of the first region.

second_start: Id

Start identity of the conflicting region.

Trait Implementations

impl<Id: Clone> Clone for CodeError<Id>

fn clone(&self) -> CodeError<Id>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<Id: Debug> Debug for CodeError<Id>

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

Formats the value using the given formatter.

impl<Id: Eq> Eq for CodeError<Id>

impl<Id: PartialEq> PartialEq for CodeError<Id>

fn eq(&self, other: &CodeError<Id>) -> bool

Equality operator ==.

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

Inequality operator !=.

impl<Id: PartialEq> StructuralPartialEq for CodeError<Id>