circom_lsp_program_structure::program_library::error_code

Enum ReportCode

pub enum ReportCode {
Show 100 variants    UnclosedComment,
    FileOs,
    NoMainFoundInProject,
    MultipleMain,
    MissingSemicolon,
    UnrecognizedInclude,
    UnrecognizedVersion,
    UnrecognizedPragma,
    ExpectedIdentifier,
    IncludeNotFound,
    IllegalExpression,
    MultiplePragma,
    NoCompilerVersionWarning,
    CompilerVersionError,
    WrongTypesInAssignOperationOperatorSignal,
    WrongTypesInAssignOperationOperatorNoSignal,
    WrongTypesInAssignOperationTemplate,
    WrongTypesInAssignOperationExpression,
    WrongTypesInAssignOperationArrayTemplates,
    WrongTypesInAssignOperationDims(usize, usize),
    WrongNumberOfArguments(usize, usize),
    UndefinedFunction,
    UndefinedTemplate,
    UninitializedSymbolInExpression,
    UnableToTypeFunction,
    UnreachableConstraints,
    UnreachableTags,
    UnreachableSignals,
    UnknownIndex,
    UnknownDimension,
    SameFunctionDeclaredTwice,
    SameTemplateDeclaredTwice,
    SameSymbolDeclaredTwice,
    StaticInfoWasOverwritten,
    SignalInLineInitialization,
    SignalOutsideOriginalScope,
    FunctionWrongNumberOfArguments,
    FunctionInconsistentTyping,
    FunctionPathWithoutReturn,
    FunctionReturnError,
    ForbiddenDeclarationInFunction,
    NonHomogeneousArray(usize, usize),
    NonBooleanCondition,
    NonCompatibleBranchTypes,
    NonEqualTypesInExpression,
    NonExistentSymbol,
    MainComponentWithTags,
    TemplateCallAsArgument,
    TemplateWrongNumberOfArguments,
    TemplateWithReturnStatement,
    TypeCantBeUseAsCondition,
    EmptyArrayInlineDeclaration,
    PrefixOperatorWithWrongTypes,
    ParallelOperatorWithWrongTypes,
    InfixOperatorWithWrongTypes,
    InvalidArgumentInCall,
    InconsistentReturnTypesInBlock,
    InconsistentStaticInformation,
    InvalidArrayAccess(usize, usize),
    InvalidSignalAccess,
    InvalidTagAccess,
    InvalidTagAccessAfterArray,
    InvalidArraySize(usize),
    InvalidArraySizeT,
    InvalidArrayType,
    ForStatementIllConstructed,
    BadArrayAccess,
    AssigningAComponentTwice,
    AssigningASignalTwice,
    NotAllowedOperation,
    ConstraintGeneratorInFunction,
    WrongSignalTags,
    InvalidPartialArray,
    MustBeSingleArithmetic(usize),
    MustBeSingleArithmeticT,
    MustBeArithmetic,
    OutputTagCannotBeModifiedOutside,
    MustBeSameDimension(usize, usize),
    ExpectedDimDiffGotDim(usize, usize),
    RuntimeError,
    RuntimeWarning,
    UnknownTemplate,
    NonQuadratic,
    NonConstantArrayLength,
    NonComputableExpression,
    UnconstrainedSignal,
    UnconstrainedIOSignal,
    UnusedInput,
    UnusedOutput,
    ErrorWat2Wasm,
    CustomGateIntermediateSignalWarning,
    CustomGateConstraintError,
    CustomGateSubComponentError,
    CustomGatesPragmaError,
    CustomGatesVersionError,
    AnonymousCompError,
    UnderscoreWithNoSignalWarning,
    TupleError,
    InvalidSignalTagAccess,
    UninitializedComponent,
}

Variants§

UnclosedComment

FileOs

NoMainFoundInProject

MultipleMain

MissingSemicolon

UnrecognizedInclude

UnrecognizedVersion

UnrecognizedPragma

ExpectedIdentifier

IncludeNotFound

IllegalExpression

MultiplePragma

NoCompilerVersionWarning

CompilerVersionError

WrongTypesInAssignOperationOperatorSignal

WrongTypesInAssignOperationOperatorNoSignal

WrongTypesInAssignOperationTemplate

WrongTypesInAssignOperationExpression

WrongTypesInAssignOperationArrayTemplates

WrongTypesInAssignOperationDims(usize, usize)

WrongNumberOfArguments(usize, usize)

UndefinedFunction

UndefinedTemplate

UninitializedSymbolInExpression

UnableToTypeFunction

UnreachableConstraints

UnreachableTags

UnreachableSignals

UnknownIndex

UnknownDimension

SameFunctionDeclaredTwice

SameTemplateDeclaredTwice

SameSymbolDeclaredTwice

StaticInfoWasOverwritten

SignalInLineInitialization

SignalOutsideOriginalScope

FunctionWrongNumberOfArguments

FunctionInconsistentTyping

FunctionPathWithoutReturn

FunctionReturnError

ForbiddenDeclarationInFunction

NonHomogeneousArray(usize, usize)

NonBooleanCondition

NonCompatibleBranchTypes

NonEqualTypesInExpression

NonExistentSymbol

MainComponentWithTags

TemplateCallAsArgument

TemplateWrongNumberOfArguments

TemplateWithReturnStatement

TypeCantBeUseAsCondition

EmptyArrayInlineDeclaration

PrefixOperatorWithWrongTypes

ParallelOperatorWithWrongTypes

InfixOperatorWithWrongTypes

InvalidArgumentInCall

InconsistentReturnTypesInBlock

InconsistentStaticInformation

InvalidArrayAccess(usize, usize)

InvalidSignalAccess

InvalidTagAccess

InvalidTagAccessAfterArray

InvalidArraySize(usize)

InvalidArraySizeT

InvalidArrayType

ForStatementIllConstructed

BadArrayAccess

AssigningAComponentTwice

AssigningASignalTwice

NotAllowedOperation

ConstraintGeneratorInFunction

WrongSignalTags

InvalidPartialArray

MustBeSingleArithmetic(usize)

MustBeSingleArithmeticT

MustBeArithmetic

OutputTagCannotBeModifiedOutside

MustBeSameDimension(usize, usize)

ExpectedDimDiffGotDim(usize, usize)

RuntimeError

RuntimeWarning

UnknownTemplate

NonQuadratic

NonConstantArrayLength

NonComputableExpression

UnconstrainedSignal

UnconstrainedIOSignal

UnusedInput

UnusedOutput

ErrorWat2Wasm

CustomGateIntermediateSignalWarning

CustomGateConstraintError

CustomGateSubComponentError

CustomGatesPragmaError

CustomGatesVersionError

AnonymousCompError

UnderscoreWithNoSignalWarning

TupleError

InvalidSignalTagAccess

UninitializedComponent

Trait Implementations§

impl Clone for ReportCode

fn clone(&self) -> ReportCode

Returns a duplicate of the value. Read more

1.0.0 · Source§

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

Performs copy-assignment from source. Read more

impl Display for ReportCode

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

Formats the value using the given formatter. Read more

impl Copy for ReportCode

Auto Trait Implementations§

impl Freeze for ReportCode

impl RefUnwindSafe for ReportCode

impl Send for ReportCode

impl Sync for ReportCode

impl Unpin for ReportCode

impl UnwindSafe for ReportCode

Blanket Implementations§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> CloneToUninit for T
where T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

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

Performs copy-assignment from self to dest. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into<U> for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T> ToOwned for T
where T: Clone,

type Owned = T

The resulting type after obtaining ownership.

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more

impl<T> ToString for T
where T: Display + ?Sized,

fn to_string(&self) -> String

Converts the given value to a String. Read more

impl<T, U> TryFrom<U> for T
where U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

fn vzip(self) -> V