Struct sdml_core::model::constraints::FunctionComposition

pub struct FunctionComposition { /* private fields */ }

Corresponds to the grammar rule function_composition.

Well-Formedness Rules

1. The list of function names MUST have at least one element.

$$\forall r \in FunctionComposition \left( |name(r)| \gte 1 \right)$$

Semantics

The keyword self may ONLY appear as the first element.

The name path $x.y.z$ is equivalent to $z(y(x))$, or $(z \circ y)(x)$.

For example:

self.name.length becomes length(name(self))

Implementations

impl FunctionComposition

pub fn new<S, N>(subject: S, function_names: N) -> Self

where S: Into<Subject>, N: Into<Vec<Identifier>>,

pub fn subject(&self) -> &Subject

pub fn set_subject<S>(&mut self, subject: S)

where S: Into<Subject>,

pub fn has_function_names(&self) -> bool

pub fn function_names_len(&self) -> usize

pub fn function_names(&self) -> impl Iterator<Item = &Identifier>

pub fn function_names_mut(&mut self) -> impl Iterator<Item = &mut Identifier>

pub fn add_to_function_names<I>(&mut self, value: I)

where I: Into<Identifier>,

pub fn extend_function_names<I>(&mut self, extension: I)

where I: IntoIterator<Item = Identifier>,

Trait Implementations

impl Clone for FunctionComposition

fn clone(&self) -> FunctionComposition

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for FunctionComposition

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for FunctionComposition

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl From<FunctionComposition> for Term

fn from(v: FunctionComposition) -> Self

Converts to this type from the input type.

impl HasSourceSpan for FunctionComposition

fn with_source_span(self, span: Span) -> Self

fn source_span(&self) -> Option<&Span>

fn set_source_span(&mut self, span: Span)

fn unset_source_span(&mut self)

fn has_source_span(&self) -> bool

impl Serialize for FunctionComposition

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

where __S: Serializer,

Serialize this value into the given Serde serializer.