Trait HasBody

pub trait HasBody {
    type Body;

    // Required methods
    fn body(&self) -> &Self::Body;
    fn body_mut(&mut self) -> &mut Self::Body;
    fn set_body(&mut self, body: Self::Body);

    // Provided method
    fn with_body(self, body: Self::Body) -> Self
       where Self: Sized { ... }
}

This trait is implemented by types that have a distinct body type.

Required Associated Types

type Body

This type is the particular body for the enclosing type.

Required Methods

fn body(&self) -> &Self::Body

Get the body of the enclosing type.

fn body_mut(&mut self) -> &mut Self::Body

Get a mutable reference to the body of the enclosing type.

fn set_body(&mut self, body: Self::Body)

Set the body of the enclosing type.

Provided Methods

fn with_body(self, body: Self::Body) -> Self

where Self: Sized,

Implementors

impl HasBody for Constraint

type Body = ConstraintBody

impl HasBody for FormalConstraint

type Body = ConstraintSentence

impl HasBody for FunctionDef

type Body = FunctionBody

impl HasBody for QuantifiedSentence

type Body = ConstraintSentence

impl HasBody for SequenceBuilder

type Body = QuantifiedSentence

impl HasBody for RdfDef

type Body = AnnotationOnlyBody