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 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 Drive for Body

fn drive<V: Visitor>(&self, visitor: &mut V)

impl DriveMut for Body

fn drive_mut<V: VisitorMut>(&mut self, visitor: &mut V)

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.