Enum ContractsError 

pub enum ContractsError {
    FileNotFound {
        path: PathBuf,
    },
    FunctionNotFound {
        function: String,
        file: PathBuf,
    },
    TestPathNotFound {
        path: PathBuf,
    },
    LineOutsideFunction {
        line: u32,
        function: String,
        start: u32,
        end: u32,
    },
    ParseError {
        file: PathBuf,
        message: String,
    },
    SsaError(String),
    DidNotConverge {
        iterations: u32,
    },
    SubAnalysisFailed {
        name: String,
        message: String,
    },
    NoTestDirectory {
        project: PathBuf,
    },
    Timeout {
        timeout_secs: u64,
    },
    FileTooLarge {
        path: PathBuf,
        bytes: u64,
        max_bytes: u64,
    },
    AstTooDeep {
        file: PathBuf,
        depth: u32,
        max_depth: u32,
    },
    SsaTooLarge {
        nodes: u32,
        max_nodes: u32,
    },
    SliceDepthExceeded {
        max_depth: u32,
    },
    InvalidFunctionName {
        reason: String,
    },
    PathTraversal {
        path: PathBuf,
    },
    Io(Error),
    Json(Error),
}

Errors specific to contracts and flow analysis commands.

Each variant includes contextual information to help users understand and fix the issue.

Variants

FileNotFound

Source file not found.

Fields

path: PathBuf

Path that was not found

FunctionNotFound

Function not found in source file.

Fields

function: String

Function name that was searched for

file: PathBuf

File that was searched

TestPathNotFound

Test path not found.

Fields

path: PathBuf

Path that was not found

LineOutsideFunction

Line number is outside function range.

Fields

line: u32

Line number that was requested

function: String

Function name

start: u32

Start line of function

end: u32

End line of function

ParseError

Parse error in source file.

Fields

file: PathBuf

File that failed to parse

message: String

Parser error message

SsaError(String)

SSA construction failed.

DidNotConverge

Analysis did not converge within iteration limit.

Fields

iterations: u32

Number of iterations attempted

SubAnalysisFailed

Sub-analysis failed in verify command.

Fields

name: String

Name of the sub-analysis that failed

message: String

Error message from the sub-analysis

NoTestDirectory

No test directory found in project.

Fields

project: PathBuf

Project directory that was searched

Timeout

Operation timed out.

Fields

timeout_secs: u64

Timeout duration in seconds

FileTooLarge

File too large to analyze.

Fields

path: PathBuf

Path to the file

bytes: u64

Actual file size

max_bytes: u64

Maximum allowed size

AstTooDeep

AST too deeply nested.

Fields

file: PathBuf

File with deeply nested AST

depth: u32

Actual depth

max_depth: u32

Maximum allowed depth

SsaTooLarge

SSA graph has too many nodes.

Fields

nodes: u32

Actual number of nodes

max_nodes: u32

Maximum allowed nodes

SliceDepthExceeded

Slice computation exceeded depth limit.

Fields

max_depth: u32

Maximum allowed depth

InvalidFunctionName

Invalid function name.

Fields

reason: String

Why the name is invalid

PathTraversal

Path traversal attempt detected.

Fields

path: PathBuf

Suspicious path

Io(Error)

Generic IO error.

Json(Error)

JSON serialization/deserialization error.

Implementations

impl ContractsError

pub fn file_not_found(path: impl Into<PathBuf>) -> Self

Create a FileNotFound error.

pub fn function_not_found( function: impl Into<String>, file: impl Into<PathBuf>, ) -> Self

Create a FunctionNotFound error.

pub fn parse_error(file: impl Into<PathBuf>, message: impl Into<String>) -> Self

Create a ParseError.

pub fn ssa_error(message: impl Into<String>) -> Self

Create an SsaError.

pub fn line_outside_function( line: u32, function: impl Into<String>, start: u32, end: u32, ) -> Self

Create a LineOutsideFunction error.

Trait Implementations

impl Debug for ContractsError

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

Formats the value using the given formatter.

impl Display for ContractsError

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

Formats the value using the given formatter.

impl Error for ContractsError

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<Error> for ContractsError

fn from(source: Error) -> Self

Converts to this type from the input type.

impl From<Error> for ContractsError

fn from(source: Error) -> Self

Converts to this type from the input type.