Struct FunDecl

pub struct FunDecl {
    pub def_id: FunDeclId,
    pub item_meta: ItemMeta,
    pub signature: FunSig,
    pub src: ItemSource,
    pub is_global_initializer: Option<GlobalDeclId>,
    pub body: Result<Body, Opaque>,
}

A function definition

Fields

def_id: FunDeclId

item_meta: ItemMeta

The meta data associated with the declaration.

signature: FunSig

The signature contains the inputs/output types with non-erased regions. It also contains the list of region and type parameters.

src: ItemSource

The function kind: “regular” function, trait method declaration, etc.

is_global_initializer: Option<GlobalDeclId>

Whether this function is in fact the body of a constant/static that we turned into an initializer function.

body: Result<Body, Opaque>

The function body, unless the function is opaque. Opaque functions are: external functions, or local functions tagged as opaque.

Implementations

impl FunDecl

pub fn transform_ullbc_terminators( &mut self, ctx: &mut TransformCtx, f: impl FnMut(&mut UllbcStatementTransformCtx<'_>, &mut Terminator), )

pub fn transform_ullbc_statements( &mut self, ctx: &mut TransformCtx, f: impl FnMut(&mut UllbcStatementTransformCtx<'_>, &mut Statement), )

Trait Implementations

impl AstVisitable for FunDecl

fn drive<V: VisitAst>(&self, v: &mut V) -> ControlFlow<V::Break>

Recursively visit this type with the provided visitor. This calls the visitor’s visit_$any method if it exists, otherwise visit_inner.

fn drive_mut<V: VisitAstMut>(&mut self, v: &mut V) -> ControlFlow<V::Break>

Recursively visit this type with the provided visitor. This calls the visitor’s visit_$any method if it exists, otherwise visit_inner.

fn name(&self) -> &'static str

The name of the type, used for debug logging.

fn dyn_visit<T: AstVisitable>(&self, f: impl FnMut(&T))

Visit all occurrences of that type inside self, in pre-order traversal.

fn dyn_visit_mut<T: AstVisitable>(&mut self, f: impl FnMut(&mut T))

Visit all occurrences of that type inside self, in pre-order traversal.

impl Clone for FunDecl

fn clone(&self) -> FunDecl

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FunDecl

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for FunDecl

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<'s, V> Drive<'s, V> for FunDecl

where V: Visitor + Visit<'s, ItemMeta> + Visit<'s, FunSig> + Visit<'s, ItemSource> + Visit<'s, Option<GlobalDeclId>> + Visit<'s, Result<Body, Opaque>>,

fn drive_inner(&'s self, visitor: &mut V) -> ControlFlow<V::Break>

Call v.visit() on the immediate contents of self.

impl<'s, V> DriveMut<'s, V> for FunDecl

where V: Visitor + VisitMut<'s, ItemMeta> + VisitMut<'s, FunSig> + VisitMut<'s, ItemSource> + VisitMut<'s, Option<GlobalDeclId>> + VisitMut<'s, Result<Body, Opaque>>,

fn drive_inner_mut(&'s mut self, visitor: &mut V) -> ControlFlow<V::Break>

Call v.visit() on the immediate contents of self.

impl<C: AstFormatter> FmtWithCtx<C> for FunDecl

fn fmt_with_ctx(&self, ctx: &C, f: &mut Formatter<'_>) -> Result

fn with_ctx<'a>(&'a self, ctx: &'a C) -> WithCtx<'a, C, Self>

Returns a struct that implements Display. This allows the following:

fn to_string_with_ctx(&self, ctx: &C) -> String

impl Serialize for FunDecl

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.