Struct FunctionDef 

pub struct FunctionDef {

    pub fqn: Arc<str>,
    pub short_name: Arc<str>,
    pub params: Arc<[FnParam]>,
    pub return_type: Option<Arc<Type>>,
    pub inferred_return_type: Option<Arc<Type>>,
    pub template_params: Vec<TemplateParam>,
    pub assertions: Vec<Assertion>,
    pub throws: Vec<Arc<str>>,
    pub deprecated: Option<Arc<str>>,
    pub is_pure: bool,
    pub no_named_arguments: bool,
    pub location: Option<Location>,
    pub docstring: Option<Arc<str>>,
    pub taint_sink_params: Vec<(Arc<str>, Arc<str>)>,
}

Fields

fqn: Arc<str>

short_name: Arc<str>

params: Arc<[FnParam]>

return_type: Option<Arc<Type>>

Type from annotation (@return / native type hint). None means unannotated. Stored as Option<Arc<Type>> to enable deduplication of common return types.

inferred_return_type: Option<Arc<Type>>

See MethodDef::inferred_return_type — Option<Arc<Type>> (8 B) for the same demand-driven-inference reason.

template_params: Vec<TemplateParam>

assertions: Vec<Assertion>

throws: Vec<Arc<str>>

deprecated: Option<Arc<str>>

is_pure: bool

no_named_arguments: bool

@no-named-arguments — callers must not use named argument syntax.

location: Option<Location>

docstring: Option<Arc<str>>

Plain-text description from the docblock (text before @tag lines). Used for hover info.

taint_sink_params: Vec<(Arc<str>, Arc<str>)>

Parameters declared as taint sinks via @taint-sink <kind> $param. Each entry is (param_name_without_dollar, sink_kind_string).

Implementations

impl FunctionDef

pub fn effective_return_type(&self) -> Option<&Type>

Trait Implementations

impl Clone for FunctionDef

fn clone(&self) -> FunctionDef

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FunctionDef

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for FunctionDef

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for FunctionDef

fn eq(&self, other: &FunctionDef) -> 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 Serialize for FunctionDef

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for FunctionDef