pub enum CallResolutionError {
Signature {
name: String,
error: CallSignatureError,
},
NoMatchingExternInstruction(String),
ExternSignature(ExternError),
}Expand description
An error that can occur when resolving a call instruction, given a complete
ExternPragmaMap for the crate::program::Program.
Variants§
Signature
A matching extern instruction was found, but signature validation failed.
NoMatchingExternInstruction(String)
No matching extern instruction was found.
ExternSignature(ExternError)
Failed to convernt the ExternPragmaMap to an ExternSignatureMap.
Trait Implementations§
Source§impl Clone for CallResolutionError
impl Clone for CallResolutionError
Source§fn clone(&self) -> CallResolutionError
fn clone(&self) -> CallResolutionError
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for CallResolutionError
impl Debug for CallResolutionError
Source§impl Display for CallResolutionError
impl Display for CallResolutionError
Source§impl Error for CallResolutionError
impl Error for CallResolutionError
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<CallResolutionError> for MemoryAccessesError
impl From<CallResolutionError> for MemoryAccessesError
Source§fn from(source: CallResolutionError) -> Self
fn from(source: CallResolutionError) -> Self
Converts to this type from the input type.
Source§impl From<ExternError> for CallResolutionError
impl From<ExternError> for CallResolutionError
Source§fn from(source: ExternError) -> Self
fn from(source: ExternError) -> Self
Converts to this type from the input type.
Source§impl PartialEq for CallResolutionError
impl PartialEq for CallResolutionError
impl StructuralPartialEq for CallResolutionError
Auto Trait Implementations§
impl Freeze for CallResolutionError
impl !RefUnwindSafe for CallResolutionError
impl Send for CallResolutionError
impl Sync for CallResolutionError
impl Unpin for CallResolutionError
impl !UnwindSafe for CallResolutionError
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
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
Source§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self from the equivalent element of its
superset. Read moreSource§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self is actually part of its subset T (and can be converted to it).Source§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset but without any property checks. Always succeeds.Source§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.