Enum CallType

pub enum CallType {
    BuiltinFunction(GlobalFunction),
    Intrinsic(Intrinsic),
    BuiltinValueMethod {
        method: ValueMethod,
        typ: TypeId,
    },
    BuiltinAssociatedFunction {
        contract: ContractId,
        function: ContractTypeMethod,
    },
    AssociatedFunction {
        typ: TypeId,
        function: FunctionId,
    },
    ValueMethod {
        typ: TypeId,
        method: FunctionId,
    },
    TraitValueMethod {
        trait_id: TraitId,
        method: FunctionSigId,
        generic_type: Generic,
    },
    External {
        contract: ContractId,
        function: FunctionId,
    },
    Pure(FunctionId),
    TypeConstructor(TypeId),
    EnumConstructor(EnumVariantId),
}

The type of a function call.

Variants

BuiltinFunction(GlobalFunction)

Intrinsic(Intrinsic)

BuiltinValueMethod

Fields

method: ValueMethod

typ: TypeId

BuiltinAssociatedFunction

Fields

contract: ContractId

function: ContractTypeMethod

AssociatedFunction

Fields

typ: TypeId

function: FunctionId

ValueMethod

Fields

typ: TypeId

method: FunctionId

TraitValueMethod

Fields

trait_id: TraitId

method: FunctionSigId

generic_type: Generic

External

Fields

contract: ContractId

function: FunctionId

Pure(FunctionId)

TypeConstructor(TypeId)

EnumConstructor(EnumVariantId)

Implementations

impl CallType

pub fn function(&self) -> Option<FunctionId>

pub fn function_name(&self, db: &dyn AnalyzerDb) -> SmolStr

pub fn is_unsafe(&self, db: &dyn AnalyzerDb) -> bool

Trait Implementations

impl Clone for CallType

fn clone(&self) -> CallType

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for CallType

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

Formats the value using the given formatter.

impl Display for CallType

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

Formats the value using the given formatter.

impl PartialEq for CallType

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

impl StructuralPartialEq for CallType