Struct HirFunction 

pub struct HirFunction { /* private fields */ }

Represents a function in HIR.

Implementations

impl HirFunction

pub fn new( name: String, return_type: HirType, parameters: Vec<HirParameter>, ) -> Self

Create a new HIR function.

Examples

use decy_hir::{HirFunction, HirType, HirParameter};

let func = HirFunction::new(
    "add".to_string(),
    HirType::Int,
    vec![
        HirParameter::new("a".to_string(), HirType::Int),
        HirParameter::new("b".to_string(), HirType::Int),
    ],
);

assert_eq!(func.name(), "add");
assert_eq!(func.parameters().len(), 2);

pub fn name(&self) -> &str

Get the function name.

pub fn return_type(&self) -> &HirType

Get the return type.

pub fn parameters(&self) -> &[HirParameter]

Get the parameters.

pub fn from_ast_function(ast_func: &Function) -> Self

Convert from parser AST function to HIR function.

Examples

use decy_hir::HirFunction;
use decy_parser::parser::{Function, Type, Parameter};

let ast_func = Function::new(
    "test".to_string(),
    Type::Void,
    vec![],
);

let hir_func = HirFunction::from_ast_function(&ast_func);
assert_eq!(hir_func.name(), "test");

pub fn new_with_body( name: String, return_type: HirType, parameters: Vec<HirParameter>, body: Vec<HirStatement>, ) -> Self

Create a new HIR function with a body.

Examples

use decy_hir::{HirFunction, HirType, HirStatement, HirExpression};

let func = HirFunction::new_with_body(
    "test".to_string(),
    HirType::Int,
    vec![],
    vec![
        HirStatement::VariableDeclaration {
            name: "x".to_string(),
            var_type: HirType::Int,
            initializer: Some(HirExpression::IntLiteral(5)),
        },
        HirStatement::Return(Some(HirExpression::Variable("x".to_string()))),
    ],
);

assert_eq!(func.name(), "test");
assert_eq!(func.body().len(), 2);

pub fn body(&self) -> &[HirStatement]

Get the function body.

pub fn has_body(&self) -> bool

DECY-190: Check if this function has a body (is a definition, not just a declaration). Returns true for definitions, false for forward declarations/prototypes.

pub fn cuda_qualifier(&self) -> Option<HirCudaQualifier>

Get the CUDA qualifier (DECY-199).

pub fn set_cuda_qualifier(&mut self, qualifier: Option<HirCudaQualifier>)

Set the CUDA qualifier (DECY-221: preserve through transformations).

Trait Implementations

impl Clone for HirFunction

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for HirFunction

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

Formats the value using the given formatter.

impl PartialEq for HirFunction

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for HirFunction