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

Fields

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.

Found an invalid token at some position.

UnexpectedEOF

Fields

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.

Found an unexpected end of file.

UnexpectedToken

Fields

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.

Found an unexpected token.

RedefinitionError

Fields

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.

Found a redefinition of a register.

LibraryNotFound

Fields

source: &'src str

Line source.

libpath: String

Path to the library to be included.

lineno: usize

Line number.

The unability of linking a library.

IndexOutOfBounds

Fields

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.

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

SymbolNotFound

Fields

source: &'src str

Line source.

lineno: usize

Line number.

symbol_name: String

Name of the unknown symbol.

expected: QasmType

The expected type.

Use of an unknown/undeclared symbol.

WrongNumberOfParameters

Fields

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.

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

UndefinedGate

Fields

source: &'src str

Line source.

lineno: usize

Line number.

symbol_name: String

Name of the unknown gate.

Use of a gate not previously defined.

TypeMismatch

Fields

source: &'src str

Line source.

lineno: usize

Line number.

symbol_name: String

Name of the symbol with the incorrect type.

expected: QasmType

Expected type.

Found an unexpected type of value.

RegisterSizeMismatch

Fields

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.

Attempt of applying an operation to different sizes registers.

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 Error for QasmSimError<'_>

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

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

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

Converts to this type from the input type.

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

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

Converts to this type from the input type.

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

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

Converts to this type from the input type.

impl From<String> for QasmSimError<'_>

fn from(err: String) -> Self

Converts to this type from the input type.

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, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<'src> PartialEq 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: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

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

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

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