Enum qasmsim::error::QasmSimError

#[non_exhaustive]pub enum QasmSimError<'src> {
    UnknownError(String),
    InvalidToken {
        source: &'src str,
        lineno: usize,
        startpos: usize,
        endpos: Option<usize>,
        token: Option<Tok>,
        expected: Vec<String>,
    },
    UnexpectedEOF {
        source: &'src str,
        lineno: usize,
        startpos: usize,
        endpos: Option<usize>,
        token: Option<Tok>,
        expected: Vec<String>,
    },
    UnexpectedToken {
        source: &'src str,
        lineno: usize,
        startpos: usize,
        endpos: Option<usize>,
        token: Option<Tok>,
        expected: Vec<String>,
    },
    RedefinitionError {
        source: &'src str,
        symbol_name: String,
        lineno: usize,
        previous_lineno: usize,
    },
    LibraryNotFound {
        source: &'src str,
        libpath: String,
        lineno: usize,
    },
    IndexOutOfBounds {
        source: &'src str,
        lineno: usize,
        symbol_name: String,
        index: usize,
        size: usize,
    },
    SymbolNotFound {
        source: &'src str,
        lineno: usize,
        symbol_name: String,
        expected: QasmType,
    },
    WrongNumberOfParameters {
        source: &'src str,
        lineno: usize,
        symbol_name: String,
        are_registers: bool,
        given: usize,
        expected: usize,
    },
    UndefinedGate {
        source: &'src str,
        lineno: usize,
        symbol_name: String,
    },
    TypeMismatch {
        source: &'src str,
        lineno: usize,
        symbol_name: String,
        expected: QasmType,
    },
    RegisterSizeMismatch {
        source: &'src str,
        lineno: usize,
        symbol_name: String,
        sizes: Vec<usize>,
    },
}

Types of errors in QasmSim. QasmSim errors contain information about the error and the location in the source code where the error happens.

QasmSimError instances can be printed. They refer to the source code and try to provide contextual information for fixing the problem.

Conversion between ParseError, RuntimeError and LinkerError is possible thanks to the trait From is defined for the pair (&'source str, T) (see alias SrcAndErr) for all the errors listed above.

Examples

The error type of [simulate()] is RuntimeError. RuntimeError is a sourceless error in the sense it does not relate with the concrete source code beyond the location in the AST at which the error happens.

You can use map_err for for capturing the error and converting it into a QasmSimError from its pairing with the source.

use qasmsim::{QasmSimError, parse_and_link, simulate};

let source = r#"
OPENQASM 2.0;
qreg q[2];
CX q[1], q[2]; // Notice we are indexing out of bounds here.
"#;
let program = parse_and_link(source)?;
let runtime_error = simulate(&program).expect_err("Index out of bounds");
let qasmsim_error = QasmSimError::from((source, runtime_error));

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

UnknownError(String)

A generic unknown error.

InvalidToken

Found an invalid token at some position.

Fields of InvalidToken

source: &'src str

Line source.

lineno: usize

Line number.

startpos: usize

Position inside the line (0-based) where the invalid token starts.

endpos: Option<usize>

Position inside the line (0-based) where the invalid token ends.

token: Option<Tok>

Token found.

expected: Vec<String>

A list of expected tokens.

UnexpectedEOF

Found an unexpected end of file.

Fields of UnexpectedEOF

source: &'src str

Line source.

lineno: usize

Line number.

startpos: usize

Position inside the line (0-based) where the invalid token starts.

endpos: Option<usize>

Position inside the line (0-based) where the invalid token ends.

token: Option<Tok>

Token found.

expected: Vec<String>

A list of expected tokens.

UnexpectedToken

Found an unexpected token.

Fields of UnexpectedToken

source: &'src str

Line source.

lineno: usize

Line number.

startpos: usize

Position inside the line (0-based) where the invalid token starts.

endpos: Option<usize>

Position inside the line (0-based) where the invalid token ends.

token: Option<Tok>

Token found.

expected: Vec<String>

A list of expected tokens.

RedefinitionError

Found a redefinition of a register.

Fields of RedefinitionError

source: &'src str

Line source.

symbol_name: String

Name of the register declared for second time.

lineno: usize

Line number.

previous_lineno: usize

Line number where the register was originally declared.

LibraryNotFound

The unability of linking a library.

Fields of LibraryNotFound

source: &'src str

Line source.

libpath: String

Path to the library to be included.

lineno: usize

Line number.

IndexOutOfBounds

Use of register index that does not fit the register size.

Fields of IndexOutOfBounds

source: &'src str

Line source.

lineno: usize

Line number.

symbol_name: String

Name of the register being indexed.

index: usize

Index tried to access.

size: usize

Size of the register.

SymbolNotFound

Use of an unknown/undeclared symbol.

Fields of SymbolNotFound

source: &'src str

Line source.

lineno: usize

Line number.

symbol_name: String

Name of the unknown symbol.

expected: QasmType

The expected type.

WrongNumberOfParameters

The attempt of applying an operation passing the wrong number of parameters.

Fields of WrongNumberOfParameters

source: &'src str

Line source.

lineno: usize

Line number.

symbol_name: String

Name of the operation.

are_registers: bool

Indicate if the parameters are registers or real values.

given: usize

The number of passed parameters.

expected: usize

The number of expected parameters.

UndefinedGate

Use of a gate not previously defined.

Fields of UndefinedGate

source: &'src str

Line source.

lineno: usize

Line number.

symbol_name: String

Name of the unknown gate.

TypeMismatch

Found an unexpected type of value.

Fields of TypeMismatch

source: &'src str

Line source.

lineno: usize

Line number.

symbol_name: String

Name of the symbol with the incorrect type.

expected: QasmType

Expected type.

RegisterSizeMismatch

Attempt of applying an operation to different sizes registers.

Fields of RegisterSizeMismatch

source: &'src str

Line source.

lineno: usize

Line number.

symbol_name: String

Name of the operation.

sizes: Vec<usize>

Sizes of the different registers involved.

Trait Implementations

impl<'src> Clone for QasmSimError<'src>

fn clone(&self) -> QasmSimError<'src>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'src> Debug for QasmSimError<'src>

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

Formats the value using the given formatter.

impl<'_> Display for QasmSimError<'_>

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

Formats the value using the given formatter.

impl<'src> Eq for QasmSimError<'src>

impl<'_> Error for QasmSimError<'_>

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<'src> From<(&'src str, LinkerError)> for QasmSimError<'src>

fn from(source_and_error: SrcAndErr<'src, LinkerError>) -> Self

Performs the conversion.

impl<'src> From<(&'src str, ParseError<Location, Tok, LexicalError<Location>>)> for QasmSimError<'src>

fn from(src_and_err: SrcAndErr<'src, ParseError>) -> Self

Performs the conversion.

impl<'src> From<(&'src str, RuntimeError)> for QasmSimError<'src>

fn from(source_and_error: SrcAndErr<'src, RuntimeError>) -> Self

Performs the conversion.

impl<'_> From<String> for QasmSimError<'_>

fn from(err: String) -> Self

Performs the conversion.

impl<'src> Hash for QasmSimError<'src>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given [Hasher].

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given [Hasher].

impl<'src> PartialEq<QasmSimError<'src>> for QasmSimError<'src>

fn eq(&self, other: &QasmSimError<'src>) -> bool

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

fn ne(&self, other: &QasmSimError<'src>) -> bool

This method tests for !=.

impl<'src> StructuralEq for QasmSimError<'src>

impl<'src> StructuralPartialEq for QasmSimError<'src>