Enum charon_lib::ast::builtins::BuiltinFun
source · pub enum BuiltinFun {
Panic,
BoxNew,
}Expand description
We redefine identifiers for built-in functions here, instead of reusing the identifiers from [ullbc_ast], because:
- some of the functions (the panic functions) will actually not be translated to functions: there are thus missing identifiers.
- some of the ids here are actually traits, that we disambiguate later TODO: merge with the other enum?
Variants§
Implementations§
source§impl BuiltinFun
impl BuiltinFun
source§impl BuiltinFun
impl BuiltinFun
sourcepub fn to_ullbc_builtin_fun(self) -> BuiltinFunId
pub fn to_ullbc_builtin_fun(self) -> BuiltinFunId
Converts to the ullbc equivalent. Panics if self is Panic as this should be handled
separately.
Trait Implementations§
source§impl Clone for BuiltinFun
impl Clone for BuiltinFun
source§fn clone(&self) -> BuiltinFun
fn clone(&self) -> BuiltinFun
Returns a copy 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 moreimpl Copy for BuiltinFun
Auto Trait Implementations§
impl Freeze for BuiltinFun
impl RefUnwindSafe for BuiltinFun
impl Send for BuiltinFun
impl Sync for BuiltinFun
impl Unpin for BuiltinFun
impl UnwindSafe for BuiltinFun
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§default unsafe fn clone_to_uninit(&self, dst: *mut T)
default unsafe fn clone_to_uninit(&self, dst: *mut T)
🔬This is a nightly-only experimental API. (
clone_to_uninit)source§impl<T> CloneToUninit for Twhere
T: Copy,
impl<T> CloneToUninit for Twhere
T: Copy,
source§unsafe fn clone_to_uninit(&self, dst: *mut T)
unsafe fn clone_to_uninit(&self, dst: *mut T)
🔬This is a nightly-only experimental API. (
clone_to_uninit)§impl<I, T> ExtractContext<I, ()> for T
impl<I, T> ExtractContext<I, ()> for T
§fn extract_context(self, _original_input: I)
fn extract_context(self, _original_input: I)
Given the context attached to a nom error, and given the original
input to the nom parser, extract more the useful context information. Read more
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
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 more§impl<I> RecreateContext<I> for I
impl<I> RecreateContext<I> for I
§fn recreate_context(_original_input: I, tail: I) -> I
fn recreate_context(_original_input: I, tail: I) -> I
Given the original input, as well as the context reported by nom,
recreate a context in the original string where the error occurred. Read more