Enum ResolvedProgramExtractionError 

pub enum ResolvedProgramExtractionError {
    Manifest(ResolvedProgramManifestError),
    ModuleValidation {
        message: String,
    },
    MissingEntry,
    MissingModule {
        path: PathBuf,
    },
    MissingSourceObject {
        module_id: String,
        kind: ResolvedSourceObjectKind,
        ordinal: usize,
    },
    RelationArityConflict {
        name: String,
        first: usize,
        second: usize,
    },
    MissingRelationArity {
        name: String,
    },
}

Failure while constructing the structured executable program.

Variants

Manifest(ResolvedProgramManifestError)

ModuleValidation

Fields

message: String

MissingEntry

MissingModule

Fields

path: PathBuf

MissingSourceObject

Fields

module_id: String

kind: ResolvedSourceObjectKind

ordinal: usize

RelationArityConflict

Fields

name: String

first: usize

second: usize

MissingRelationArity

Fields

name: String

Trait Implementations

impl Debug for ResolvedProgramExtractionError

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

Formats the value using the given formatter.

impl Display for ResolvedProgramExtractionError

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

Formats the value using the given formatter.

impl Error for ResolvedProgramExtractionError

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 From<ResolvedProgramManifestError> for ResolvedProgramExtractionError

fn from(error: ResolvedProgramManifestError) -> Self

Converts to this type from the input type.