Enum HappensBeforeError 

pub enum HappensBeforeError {
    UnsupportedVersion(u32),
    AmbiguousPosition {
        event: String,
        found: Vec<String>,
    },
    UnknownSyscall {
        event: String,
        name: String,
    },
    NthZero {
        event: String,
    },
    FdWithoutSyscall {
        event: String,
    },
    FdNotFirstArgument {
        event: String,
        syscall: String,
    },
    BadRip {
        event: String,
        text: String,
    },
    UnknownEvent {
        which: String,
        name: String,
    },
    UnknownThread {
        event: String,
        thread: String,
    },
    Cycle(Vec<String>),
    NewFieldInVersion1 {
        event: Option<String>,
        field: String,
    },
    UnknownField {
        place: String,
        field: String,
    },
    FutexOpWithoutFutex {
        event: String,
    },
    FutexOpOutOfRange {
        event: String,
        value: i64,
    },
    FromUnknownEvent {
        event: String,
        base: String,
    },
    FromOnNonOccurrence {
        event: String,
    },
    FromOtherThread {
        event: String,
        base: String,
    },
    FromUnenforcedPosition {
        event: String,
        base: String,
    },
    FromRelativeBase {
        event: String,
        base: String,
    },
    FromCycle(Vec<String>),
    PosthookOnNoReturnSyscall {
        event: String,
        syscall: String,
    },
    DslSyntax {
        line: usize,
        message: String,
    },
}

An error produced while parsing or validating a happens-before specification.

Variants

UnsupportedVersion(u32)

The schema version is not understood by this build.

AmbiguousPosition

An event named more than one position selector, or none.

Fields

event: String

The offending event name.

found: Vec<String>

The selectors that were set.

UnknownSyscall

A syscall name could not be parsed.

Fields

event: String

The offending event name.

name: String

The unparseable name.

NthZero

An occurrence-counted event (syscall, rip, mark or a code location) set nth to 0; occurrences are 1-based.

Fields

event: String

The offending event name.

FdWithoutSyscall

An event set fd without syscall.

Fields

event: String

The offending event name.

FdNotFirstArgument

An event set fd on a syscall whose first argument is not a file descriptor (syscall_takes_fd_first).

Fields

event: String

The offending event name.

syscall: String

The syscall name.

BadRip

A RIP string could not be parsed as an address.

Fields

event: String

The offending event name.

text: String

The unparseable text.

UnknownEvent

An edge referenced an event that does not exist.

Fields

which: String

before or after.

name: String

The dangling name.

UnknownThread

An event referenced a thread label that is not in the threads table and is not a raw integer id.

Fields

event: String

The offending event name.

thread: String

The dangling thread label.

Cycle(Vec<String>)

The edge graph contains a cycle (listed in discovery order).

NewFieldInVersion1

A version-1 spec used a field that version 2 added.

Fields

event: Option<String>

The offending event name, or None for a spec-level field.

field: String

The field.

UnknownField

A version-2 spec carried a field this build does not know.

Fields

place: String

Where: spec, event 'x', thread 'x' or edge N.

field: String

The field.

FutexOpWithoutFutex

An event set futex_op on a syscall other than futex, or without syscall.

Fields

event: String

The offending event name.

FutexOpOutOfRange

An event’s futex_op does not fit the kernel’s int.

Fields

event: String

The offending event name.

value: i64

The value given.

FromUnknownEvent

An event’s from names an event that does not exist.

Fields

event: String

The relative event.

base: String

The missing base.

FromOnNonOccurrence

An event that is not a prehook syscall-occurrence anchor set from.

Fields

event: String

The offending event name.

FromOtherThread

A relative event’s base cannot be shown to be on the same thread: it names another dettid or spawn ordinal, or a dettid where the relative event names a spawn ordinal (or the reverse).

Fields

event: String

The relative event.

base: String

Its base.

FromUnenforcedPosition

A relative event’s base is neither a count anchor nor an enforced syscall-occurrence anchor, so it can never be reached.

Fields

event: String

The relative event.

base: String

Its base.

FromRelativeBase

A relative event’s base is itself relative; chains are not supported.

Fields

event: String

The relative event.

base: String

Its base.

FromCycle(Vec<String>)

The relative bases and the hard edges together form a cycle, so some event on it could only be reached after itself.

PosthookOnNoReturnSyscall

A posthook anchor names a syscall that does not return to its caller when it succeeds (syscall_never_returns_on_success).

Fields

event: String

The offending event name.

syscall: String

The syscall name.

DslSyntax

A DSL line could not be parsed.

Fields

line: usize

1-based line number.

message: String

What went wrong.

Trait Implementations

impl Clone for HappensBeforeError

fn clone(&self) -> HappensBeforeError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for HappensBeforeError

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

Formats the value using the given formatter.

impl Display for HappensBeforeError

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

Formats the value using the given formatter.

impl Eq for HappensBeforeError

impl Error for HappensBeforeError

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0:

use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

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

Provides type-based access to context intended for error reports.

impl PartialEq for HappensBeforeError

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for HappensBeforeError