Struct ExternDecl 

pub struct ExternDecl {
    pub name: Name,
    pub type_expr: Expr,
    pub lib_name: String,
    pub symbol_name: String,
    pub safety: FfiSafety,
    pub calling_convention: CallingConvention,
    pub signature: FfiSignature,
}

External function declaration.

Fields

name: Name

Function name in OxiLean.

type_expr: Expr

Type expression of the function.

lib_name: String

Library name (e.g., “libc”, “libm”).

symbol_name: String

C symbol name.

safety: FfiSafety

Safety level.

calling_convention: CallingConvention

Calling convention.

signature: FfiSignature

FFI signature.

Implementations

impl ExternDecl

pub fn new( name: Name, type_expr: Expr, lib_name: String, symbol_name: String, safety: FfiSafety, calling_convention: CallingConvention, signature: FfiSignature, ) -> Self

Create a new external declaration.

pub fn validate(&self) -> Result<(), FfiError>

Validate this declaration.

Trait Implementations

impl Clone for ExternDecl

fn clone(&self) -> ExternDecl

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExternDecl

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

Formats the value using the given formatter.