Struct solang_parser::pt::FunctionDefinition

source ·
pub struct FunctionDefinition {
    pub loc_prototype: Loc,
    pub loc: Loc,
    pub ty: FunctionTy,
    pub name: Option<Identifier>,
    pub name_loc: Loc,
    pub params: ParameterList,
    pub attributes: Vec<FunctionAttribute>,
    pub return_not_returns: Option<Loc>,
    pub returns: ParameterList,
    pub body: Option<Statement>,
}
Expand description

A function definition.

<ty> [name](<params>,*) [attributes] [returns] [body]

Fields§

§loc_prototype: Loc

The function prototype location.

§loc: Loc

The code location.

§ty: FunctionTy

The function type.

§name: Option<Identifier>

The optional identifier.

This can be None for old style fallback functions.

§name_loc: Loc

The identifier’s code location.

§params: ParameterList

The parameter list.

§attributes: Vec<FunctionAttribute>

The function attributes.

§return_not_returns: Option<Loc>

The returns keyword’s location. Some if this was return, not returns.

§returns: ParameterList

The return parameter list.

§body: Option<Statement>

The function body.

If None, the declaration ended with a semicolon.

Implementations§

source§

impl FunctionDefinition

source

pub fn is_void(&self) -> bool

Returns true if the function has no return parameters.

source

pub fn is_empty(&self) -> bool

Returns true if the function body is empty.

source

pub fn sort_attributes(&mut self)

Sorts the function attributes.

Trait Implementations§

source§

impl Clone for FunctionDefinition

source§

fn clone(&self) -> FunctionDefinition

Returns a copy of the value. Read more
1.0.0 · source§

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

Performs copy-assignment from source. Read more
source§

impl CodeLocation for FunctionDefinition

source§

fn loc(&self) -> Loc

Returns the code location of self.
source§

impl Debug for FunctionDefinition

source§

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

Formats the value using the given formatter. Read more
source§

impl Display for FunctionDefinition

source§

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

Formats the value using the given formatter. Read more
source§

impl OptionalCodeLocation for FunctionDefinition

source§

fn loc_opt(&self) -> Option<Loc>

Returns the optional code location of self.
source§

impl PartialEq for FunctionDefinition

source§

fn eq(&self, other: &FunctionDefinition) -> bool

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
source§

impl Eq for FunctionDefinition

source§

impl StructuralPartialEq for FunctionDefinition

Auto Trait Implementations§

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> IntoEither for T

source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
source§

impl<T> ToOwned for T
where T: Clone,

§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

impl<T> ToString for T
where T: Display + ?Sized,

source§

default fn to_string(&self) -> String

Converts the given value to a String. Read more
source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.