pub struct Function {
pub name: Option<String>,
pub arguments: Vec<FunctionArgument>,
pub result: Option<FunctionResult>,
pub local_variables: Arena<LocalVariable>,
pub expressions: Arena<Expression>,
pub named_expressions: FastHashMap<Handle<Expression>, String>,
pub body: Block,
}
Expand description
A function defined in the module.
Fields§
§name: Option<String>
Name of the function, if any.
arguments: Vec<FunctionArgument>
Information about function argument.
result: Option<FunctionResult>
The result of this function, if any.
local_variables: Arena<LocalVariable>
Local variables defined and used in the function.
expressions: Arena<Expression>
Expressions used inside this function.
An Expression
must occur before all other Expression
s that use its
value.
named_expressions: FastHashMap<Handle<Expression>, String>
Map of expressions that have associated variable names
body: Block
Block of instructions comprising the body of the function.
Implementations§
source§impl Function
impl Function
sourcepub fn originating_global(
&self,
pointer: Handle<Expression>
) -> Option<Handle<GlobalVariable>>
pub fn originating_global(
&self,
pointer: Handle<Expression>
) -> Option<Handle<GlobalVariable>>
Return the global variable being accessed by the expression pointer
.
Assuming that pointer
is a series of Access
and AccessIndex
expressions that ultimately access some part of a GlobalVariable
,
return a handle for that global.
If the expression does not ultimately access a global variable, return
None
.
Trait Implementations§
source§impl<'arbitrary> Arbitrary<'arbitrary> for Function
impl<'arbitrary> Arbitrary<'arbitrary> for Function
source§fn arbitrary(u: &mut Unstructured<'arbitrary>) -> Result<Self>
fn arbitrary(u: &mut Unstructured<'arbitrary>) -> Result<Self>
Generate an arbitrary value of
Self
from the given unstructured data. Read moresource§fn arbitrary_take_rest(u: Unstructured<'arbitrary>) -> Result<Self>
fn arbitrary_take_rest(u: Unstructured<'arbitrary>) -> Result<Self>
Generate an arbitrary value of
Self
from the entirety of the given
unstructured data. Read moresource§impl<'de> Deserialize<'de> for Function
impl<'de> Deserialize<'de> for Function
source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more