pub enum ParserError {
Scheduler(SchedulerError<String>),
SchedulerWithLocation {
error: SchedulerError<String>,
source_locations: Vec<SourceLocation>,
},
Unsupported {
issue: u32,
phase: LoweringPhase,
feature: &'static str,
detail: String,
source_location: Option<SourceLocation>,
},
IllegalContext {
feature: &'static str,
detail: String,
source_location: Option<SourceLocation>,
},
TopNotFound {
name: String,
},
GenericTop {
name: String,
},
SirVerify {
phase: &'static str,
group: &'static str,
unit: usize,
error: SirVerifyError,
},
SltVerify {
phase: &'static str,
error: SLTNodeFactsError,
},
SltConstruction(SLTNodeFactsError),
}Variants§
Scheduler(SchedulerError<String>)
SchedulerWithLocation
Unsupported
IllegalContext
TopNotFound
GenericTop
SirVerify
SltVerify
SltConstruction(SLTNodeFactsError)
Implementations§
Source§impl ParserError
impl ParserError
pub fn unsupported( issue: u32, phase: LoweringPhase, feature: &'static str, detail: impl Into<String>, source_location: Option<SourceLocation>, ) -> Self
pub fn illegal_context( feature: &'static str, detail: impl Into<String>, source_location: Option<SourceLocation>, ) -> Self
Trait Implementations§
Source§impl Debug for ParserError
impl Debug for ParserError
Source§impl Display for ParserError
impl Display for ParserError
Source§impl Error for ParserError
impl Error for ParserError
Source§fn source(&self) -> Option<&(dyn Error + 'static)>
fn source(&self) -> Option<&(dyn Error + 'static)>
Returns the lower-level source of this error, if any. Read more
1.0.0 · Source§fn description(&self) -> &str
fn description(&self) -> &str
👎Deprecated since 1.42.0:
use the Display impl or to_string()
Source§impl From<SLTNodeFactsError> for ParserError
impl From<SLTNodeFactsError> for ParserError
Source§fn from(source: SLTNodeFactsError) -> Self
fn from(source: SLTNodeFactsError) -> Self
Converts to this type from the input type.
Auto Trait Implementations§
impl Freeze for ParserError
impl RefUnwindSafe for ParserError
impl Send for ParserError
impl Sync for ParserError
impl Unpin for ParserError
impl UnsafeUnpin for ParserError
impl UnwindSafe for ParserError
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more