Struct FunctionStatement

pub struct FunctionStatement<'a, I: SemanticContextInstruction, E: ExtendedExpression<I>> {
    pub name: FunctionName<'a>,
    pub parameters: Vec<FunctionParameter<'a>>,
    pub result_type: Type<'a>,
    pub body: Vec<BodyStatement<'a, I, E>>,
    /* private fields */
}

FunctionStatement it’s one of the most basic element of AST. Basic entity of program logic. It contains function declaration and function body.

Fields

name: FunctionName<'a>

Function name

parameters: Vec<FunctionParameter<'a>>

Function parameters

result_type: Type<'a>

Function result type

body: Vec<BodyStatement<'a, I, E>>

Function body

Implementations

impl<'a, I: SemanticContextInstruction, E: ExtendedExpression<I>> FunctionStatement<'a, I, E>

pub const fn new( name: FunctionName<'a>, parameters: Vec<FunctionParameter<'a>>, result_type: Type<'a>, body: Vec<BodyStatement<'a, I, E>>, ) -> Self

Trait Implementations

impl<'a, I: Clone + SemanticContextInstruction, E: Clone + ExtendedExpression<I>> Clone for FunctionStatement<'a, I, E>

fn clone(&self) -> FunctionStatement<'a, I, E>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a, I: Debug + SemanticContextInstruction, E: Debug + ExtendedExpression<I>> Debug for FunctionStatement<'a, I, E>

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

Formats the value using the given formatter.

impl<I: SemanticContextInstruction, E: ExtendedExpression<I>> From<FunctionStatement<'_, I, E>> for FunctionStatement

fn from(value: FunctionStatement<'_, I, E>) -> Self

Converts to this type from the input type.

impl<I: SemanticContextInstruction, E: ExtendedExpression<I>> GetLocation for FunctionStatement<'_, I, E>

fn location(&self) -> CodeLocation

impl<I: SemanticContextInstruction, E: ExtendedExpression<I>> GetName for FunctionStatement<'_, I, E>

fn name(&self) -> String

impl<'a, I: PartialEq + SemanticContextInstruction, E: PartialEq + ExtendedExpression<I>> PartialEq for FunctionStatement<'a, I, E>

fn eq(&self, other: &FunctionStatement<'a, I, E>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'a, I: SemanticContextInstruction, E: ExtendedExpression<I>> StructuralPartialEq for FunctionStatement<'a, I, E>