Enum clarity_repl::clarity::analysis::errors::CheckErrors

pub enum CheckErrors {
    CostOverflow,
    CostBalanceExceeded(ExecutionCost, ExecutionCost),
    MemoryBalanceExceeded(u64, u64),
    ValueTooLarge,
    ValueOutOfBounds,
    TypeSignatureTooDeep,
    ExpectedName,
    BadMatchOptionSyntax(Box<CheckErrors>),
    BadMatchResponseSyntax(Box<CheckErrors>),
    BadMatchInput(TypeSignature),
    UnknownListConstructionFailure,
    ListTypesMustMatch,
    ConstructedListTooLarge,
    TypeError(TypeSignature, TypeSignature),
    TypeLiteralError(TypeSignature, TypeSignature),
    TypeValueError(TypeSignature, Value),
    NoSuperType(TypeSignature, TypeSignature),
    InvalidTypeDescription,
    UnknownTypeName(String),
    UnionTypeError(Vec<TypeSignature>, TypeSignature),
    UnionTypeValueError(Vec<TypeSignature>, Value),
    ExpectedLiteral,
    ExpectedOptionalType(TypeSignature),
    ExpectedResponseType(TypeSignature),
    ExpectedOptionalOrResponseType(TypeSignature),
    ExpectedOptionalValue(Value),
    ExpectedResponseValue(Value),
    ExpectedOptionalOrResponseValue(Value),
    CouldNotDetermineResponseOkType,
    CouldNotDetermineResponseErrType,
    CouldNotDetermineMatchTypes,
    TypeAlreadyAnnotatedFailure,
    TypeAnnotationExpectedFailure,
    CheckerImplementationFailure,
    BadTokenName,
    DefineFTBadSignature,
    DefineNFTBadSignature,
    NoSuchNFT(String),
    NoSuchFT(String),
    BadTransferSTXArguments,
    BadTransferFTArguments,
    BadTransferNFTArguments,
    BadMintFTArguments,
    BadTupleFieldName,
    ExpectedTuple(TypeSignature),
    NoSuchTupleField(String, TupleTypeSignature),
    EmptyTuplesNotAllowed,
    BadTupleConstruction,
    TupleExpectsPairs,
    NoSuchDataVariable(String),
    BadMapName,
    NoSuchMap(String),
    DefineFunctionBadSignature,
    BadFunctionName,
    BadMapTypeDefinition,
    PublicFunctionMustReturnResponse(TypeSignature),
    DefineVariableBadSignature,
    ReturnTypesMustMatch(TypeSignature, TypeSignature),
    CircularReference(Vec<String>),
    NoSuchContract(String),
    NoSuchPublicFunction(String, String),
    PublicFunctionNotReadOnly(String, String),
    ContractAlreadyExists(String),
    ContractCallExpectName,
    NoSuchBlockInfoProperty(String),
    GetBlockInfoExpectPropertyName,
    NameAlreadyUsed(String),
    NonFunctionApplication,
    ExpectedListApplication,
    ExpectedSequence(TypeSignature),
    MaxLengthOverflow,
    BadLetSyntax,
    BadSyntaxBinding,
    BadSyntaxExpectedListOfPairs,
    MaxContextDepthReached,
    UndefinedFunction(String),
    UndefinedVariable(String),
    RequiresAtLeastArguments(usize, usize),
    IncorrectArgumentCount(usize, usize),
    IfArmsMustMatch(TypeSignature, TypeSignature),
    MatchArmsMustMatch(TypeSignature, TypeSignature),
    DefaultTypesMustMatch(TypeSignature, TypeSignature),
    TooManyExpressions,
    IllegalOrUnknownFunctionApplication(String),
    UnknownFunction(String),
    TraitReferenceUnknown(String),
    TraitMethodUnknown(String, String),
    ExpectedTraitIdentifier,
    ImportTraitBadSignature,
    TraitReferenceNotAllowed,
    BadTraitImplementation(String, String),
    DefineTraitBadSignature,
    UnexpectedTraitOrFieldReference,
    TraitBasedContractCallInReadOnly,
    ContractOfExpectsTrait,
    InvalidCharactersDetected,
    WriteAttemptedInReadOnly,
    AtBlockClosureMustBeReadOnly,
}

Variants

CostOverflow

CostBalanceExceeded(ExecutionCost, ExecutionCost)

MemoryBalanceExceeded(u64, u64)

ValueTooLarge

ValueOutOfBounds

TypeSignatureTooDeep

ExpectedName

BadMatchOptionSyntax(Box<CheckErrors>)

BadMatchResponseSyntax(Box<CheckErrors>)

BadMatchInput(TypeSignature)

UnknownListConstructionFailure

ListTypesMustMatch

ConstructedListTooLarge

TypeError(TypeSignature, TypeSignature)

TypeLiteralError(TypeSignature, TypeSignature)

TypeValueError(TypeSignature, Value)

NoSuperType(TypeSignature, TypeSignature)

InvalidTypeDescription

UnknownTypeName(String)

UnionTypeError(Vec<TypeSignature>, TypeSignature)

UnionTypeValueError(Vec<TypeSignature>, Value)

ExpectedLiteral

ExpectedOptionalType(TypeSignature)

ExpectedResponseType(TypeSignature)

ExpectedOptionalOrResponseType(TypeSignature)

ExpectedOptionalValue(Value)

ExpectedResponseValue(Value)

ExpectedOptionalOrResponseValue(Value)

CouldNotDetermineResponseOkType

CouldNotDetermineResponseErrType

CouldNotDetermineMatchTypes

TypeAlreadyAnnotatedFailure

TypeAnnotationExpectedFailure

CheckerImplementationFailure

BadTokenName

DefineFTBadSignature

DefineNFTBadSignature

NoSuchNFT(String)

NoSuchFT(String)

BadTransferSTXArguments

BadTransferFTArguments

BadTransferNFTArguments

BadMintFTArguments

BadTupleFieldName

ExpectedTuple(TypeSignature)

NoSuchTupleField(String, TupleTypeSignature)

EmptyTuplesNotAllowed

BadTupleConstruction

TupleExpectsPairs

NoSuchDataVariable(String)

BadMapName

NoSuchMap(String)

DefineFunctionBadSignature

BadFunctionName

BadMapTypeDefinition

PublicFunctionMustReturnResponse(TypeSignature)

DefineVariableBadSignature

ReturnTypesMustMatch(TypeSignature, TypeSignature)

CircularReference(Vec<String>)

NoSuchContract(String)

NoSuchPublicFunction(String, String)

PublicFunctionNotReadOnly(String, String)

ContractAlreadyExists(String)

ContractCallExpectName

NoSuchBlockInfoProperty(String)

GetBlockInfoExpectPropertyName

NameAlreadyUsed(String)

NonFunctionApplication

ExpectedListApplication

ExpectedSequence(TypeSignature)

MaxLengthOverflow

BadLetSyntax

BadSyntaxBinding

BadSyntaxExpectedListOfPairs

MaxContextDepthReached

UndefinedFunction(String)

UndefinedVariable(String)

RequiresAtLeastArguments(usize, usize)

IncorrectArgumentCount(usize, usize)

IfArmsMustMatch(TypeSignature, TypeSignature)

MatchArmsMustMatch(TypeSignature, TypeSignature)

DefaultTypesMustMatch(TypeSignature, TypeSignature)

TooManyExpressions

IllegalOrUnknownFunctionApplication(String)

UnknownFunction(String)

TraitReferenceUnknown(String)

TraitMethodUnknown(String, String)

ExpectedTraitIdentifier

ImportTraitBadSignature

TraitReferenceNotAllowed

BadTraitImplementation(String, String)

DefineTraitBadSignature

UnexpectedTraitOrFieldReference

TraitBasedContractCallInReadOnly

ContractOfExpectsTrait

InvalidCharactersDetected

WriteAttemptedInReadOnly

AtBlockClosureMustBeReadOnly

Trait Implementations

impl Debug for CheckErrors

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

Formats the value using the given formatter.

impl DiagnosableError for CheckErrors

fn message(&self) -> String

fn suggestion(&self) -> Option<String>

impl Display for CheckErrors

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

Formats the value using the given formatter.

impl Error for CheckErrors

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

The lower-level source of this error, if any.

fn backtrace(&self) -> Option<&Backtrace>

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

Returns a stack backtrace, if available, of where this error occurred.

fn description(&self) -> &str

👎 Deprecated since 1.42.0:

use the Display impl or to_string()

if let Err(e) = "xc".parse::<u32>() { // Print e itself, no need for description(). eprintln!("Error: {}", e); }

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

👎 Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

impl From<CheckErrors> for Error

fn from(err: CheckErrors) -> Self

Performs the conversion.

impl From<CheckErrors> for SerializationError

fn from(e: CheckErrors) -> Self

Performs the conversion.

impl From<CheckErrors> for CheckError

fn from(err: CheckErrors) -> Self

Performs the conversion.

impl From<CostErrors> for CheckErrors

fn from(err: CostErrors) -> Self

Performs the conversion.

impl PartialEq<CheckErrors> for CheckErrors

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl StructuralPartialEq for CheckErrors