Enum Body

pub enum Body {
    Unstructured(ExprBody),
    Structured(ExprBody),
}

The body of a function or a constant.

Variants

Unstructured(ExprBody)

Body represented as a CFG. This is what ullbc is made of, and what we get after translating MIR.

Structured(ExprBody)

Body represented with structured control flow. This is what llbc is made of. We restructure the control flow in ullbc_to_llbc.

Implementations

impl Body

pub fn is_unstructured(&self) -> bool

pub fn is_structured(&self) -> bool

impl Body

pub fn to_unstructured(self) -> Option<ExprBody>

pub fn to_structured(self) -> Option<ExprBody>

impl Body

pub fn as_unstructured(&self) -> Option<&ExprBody>

pub fn as_unstructured_mut(&mut self) -> Option<&mut ExprBody>

pub fn as_structured(&self) -> Option<&ExprBody>

pub fn as_structured_mut(&mut self) -> Option<&mut ExprBody>

Trait Implementations

impl AstVisitable for Body

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 Body

fn clone(&self) -> Body

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Body

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Body

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 Body

where V: Visitor + Visit<'s, ExprBody> + Visit<'s, ExprBody>,

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 Body

where V: Visitor + VisitMut<'s, ExprBody> + VisitMut<'s, ExprBody>,

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 Body

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

fn fmt_with_ctx_and_indent(&self, tab: &str, ctx: &C) -> String

fn with_ctx<'a>(&'a self, ctx: &'a C) -> impl Display + 'a

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

impl Serialize for Body

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

where __S: Serializer,

Serialize this value into the given Serde serializer.