Enum brane_ctl::policies::Error

pub enum Error {
    ActiveVersionGet {
        addr: Address,
        err: Box<Self>,
    },
    InputDeserialize {
        path: PathBuf,
        raw: String,
        err: Error,
    },
    InputRead {
        path: PathBuf,
        err: Error,
    },
    InputToJson {
        path: PathBuf,
        err: Error,
    },
    InvalidPolicyActivated {
        addr: Address,
        got: Option<i64>,
        expected: Option<i64>,
    },
    MissingExtension {
        path: PathBuf,
    },
    NodeConfigIncompatible {
        path: PathBuf,
        got: String,
    },
    NodeConfigLoad {
        path: PathBuf,
        err: YamlError,
    },
    PolicyWithoutVersion {
        addr: Address,
        which: String,
    },
    PromptVersions {
        err: Box<Self>,
    },
    RequestBuild {
        kind: &'static str,
        addr: String,
        err: Error,
    },
    RequestFailure {
        addr: String,
        code: StatusCode,
        response: Option<String>,
    },
    RequestSend {
        kind: &'static str,
        addr: String,
        err: Error,
    },
    ResponseDeserialize {
        addr: String,
        raw: String,
        err: Error,
    },
    ResponseDownload {
        addr: String,
        err: Error,
    },
    TempFileCreate {
        path: PathBuf,
        err: Error,
    },
    TempFileWrite {
        path: PathBuf,
        err: Error,
    },
    TokenGenerate {
        secret: PathBuf,
        err: Error,
    },
    UnknownExtension {
        path: PathBuf,
        ext: String,
    },
    UnspecifiedInputLanguage,
    VersionGetBody {
        addr: Address,
        version: i64,
        err: Box<Self>,
    },
    VersionSelect {
        err: Error,
    },
    VersionsGet {
        addr: Address,
        err: Box<Self>,
    },
}

Defines errors that may originate in branectl policies ... subcommands.

Variants

ActiveVersionGet

Failed to get the active version of the policy.

Fields

addr: Address

err: Box<Self>

InputDeserialize

Failed to deserialize the read input file as JSON.

Fields

path: PathBuf

raw: String

err: Error

InputRead

Failed to read the input file.

Fields

path: PathBuf

err: Error

InputToJson

Failed to compile the input file to eFLINT JSON.

Fields

path: PathBuf

err: Error

InvalidPolicyActivated

The wrong policy was activated on the remote checker, somehow.

Fields

addr: Address

got: Option<i64>

expected: Option<i64>

MissingExtension

A policy language was attempted to derive from a path without extension.

Fields

path: PathBuf

NodeConfigIncompatible

The given node config file was not a worker config file.

Fields

path: PathBuf

got: String

NodeConfigLoad

Failed to load the node configuration file for this node.

Fields

path: PathBuf

err: YamlError

PolicyWithoutVersion

Found a policy on a checker without a version defined.

Fields

addr: Address

which: String

PromptVersions

Failed to prompt the user for version selection.

Fields

err: Box<Self>

RequestBuild

Failed to build a request.

Fields

kind: &'static str

addr: String

err: Error

RequestFailure

A request failed for some reason.

Fields

addr: String

code: StatusCode

response: Option<String>

RequestSend

Failed to send a request.

Fields

kind: &'static str

addr: String

err: Error

ResponseDeserialize

Failed to deserialize the checker response as valid JSON.

Fields

addr: String

raw: String

err: Error

ResponseDownload

Failed to download the body of the checker’s response.

Fields

addr: String

err: Error

TempFileCreate

Failed to create a temporary file.

Fields

path: PathBuf

err: Error

TempFileWrite

Failed to write to a temporary file from stdin.

Fields

path: PathBuf

err: Error

TokenGenerate

Failed to generate a new token.

Fields

secret: PathBuf

err: Error

UnknownExtension

A policy language was attempted to derive from the extension but we didn’t know it.

Fields

path: PathBuf

ext: String

UnspecifiedInputLanguage

The policy was given on stdout but no language was specified.

VersionGetBody

Failed to query the checker about a specific version.

Fields

addr: Address

version: i64

err: Box<Self>

VersionSelect

Failed to query the user which version to select.

Fields

err: Error

VersionsGet

Failed to get the versions on the remote checker.

Fields

addr: Address

err: Box<Self>

Trait Implementations

impl Debug for Error

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

Formats the value using the given formatter.

impl Display for Error

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

Formats the value using the given formatter.

impl Error for Error

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.