Enum ErrorCode 

pub enum ErrorCode {
    P001,
    P002,
    P003,
    P004,
    P005,
    P006,
    P007,
    P008,
    P009,
    P010,
    U001,
    U002,
    U003,
    U004,
    U005,
    U006,
    U007,
    L001,
    L002,
    L003,
    L004,
    L005,
    L006,
    L007,
    L008,
    I001,
    I002,
    I003,
    I004,
    I005,
    C001,
    C002,
    C003,
    E001,
    E002,
    E003,
    E004,
    X001,
}

One variant per catalogue entry, one-to-one with docs/07.

Variants

P001

Syntax error in the pattern for the chosen dialect

P002

Unknown dialect name

P003

Flag not valid for the dialect, or conflicting flags

P004

Invalid escape sequence for the dialect

P005

Invalid quantifier (nothing to repeat, reversed bounds, bound out of range)

P006

Invalid character class (empty or reversed range, unknown class name)

P007

Unbalanced group or class

P008

Unknown Unicode property or script for the pinned Unicode version

P009

Invalid group name or duplicate name where the dialect forbids it

P010

Invalid /body/flags literal

U001

Backreference (language is not regular)

U002

Recursion or subroutine call

U003

Conditional group

U004

Atomic group or possessive quantifier (changes matching semantics, not only the language)

U005

Lookaround form outside the restrictions

U006

Callout or embedded code

U007

Dialect feature recognised but not yet supported

L001

State limit reached

L002

Time limit reached

L003

Memory limit reached

L004

Repetition expansion limit reached

L005

Pattern too long

L006

Nesting too deep

L007

Enumeration limit reached (witness or difference synthesis)

L008

Synthesised pattern size cap reached

I001

File not found or unreadable

I002

Input is not valid UTF-8 where text is required

I003

Not a git repository or unknown revision

I004

Reference engine required but unavailable

I005

Unknown source language for extraction

C001

Malformed configuration file

C002

Ignore entry without a reason

C003

Unknown option or value in configuration

E001

Certificate rejected by the independent checker

E002

Counterexample rejected by the independent matcher

E003

Reference engine disagrees with the verdict

E004

Certificate malformed or of an unknown version

X001

Internal invariant violated

Implementations

impl ErrorCode

pub const ALL: &'static [ErrorCode]

Every code, in catalogue order.

pub const fn code(self) -> &'static str

The stable code string, e.g. RX-P001.

pub const fn exit_code(self) -> u8

Process exit code for this error (docs/06 exit-code table).

pub const fn meaning(self) -> &'static str

Human-readable meaning.

pub const fn remedy(self) -> &'static str

Remedy shown to the user.

Trait Implementations

impl Clone for ErrorCode

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for ErrorCode

impl Debug for ErrorCode

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

Formats the value using the given formatter.

impl Display for ErrorCode

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

Formats the value using the given formatter.

impl Eq for ErrorCode

impl Hash for ErrorCode

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Ord for ErrorCode

fn cmp(&self, other: &Self) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

fn clamp_to<R>(self, range: R) -> Self

where Self: Sized, R: ClampBounds<Self>,

🔬This is a nightly-only experimental API. (clamp_to)

Restrict a value to a certain range.

impl PartialEq for ErrorCode

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

Equality operator ==.

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

Inequality operator !=.

impl PartialOrd for ErrorCode

fn partial_cmp(&self, other: &Self) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl StructuralPartialEq for ErrorCode