Struct TypeId

pub struct TypeId(/* private fields */);

Implementations

impl TypeId

pub fn unit(db: &dyn AnalyzerDb) -> Self

pub fn bool(db: &dyn AnalyzerDb) -> Self

pub fn int(db: &dyn AnalyzerDb, int: Integer) -> Self

pub fn address(db: &dyn AnalyzerDb) -> Self

pub fn base(db: &dyn AnalyzerDb, t: Base) -> Self

pub fn tuple(db: &dyn AnalyzerDb, items: &[TypeId]) -> Self

pub fn typ(&self, db: &dyn AnalyzerDb) -> Type

pub fn deref_typ(&self, db: &dyn AnalyzerDb) -> Type

pub fn deref(self, db: &dyn AnalyzerDb) -> TypeId

pub fn make_sptr(self, db: &dyn AnalyzerDb) -> TypeId

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

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

true if Type::Base or Type::Contract (which is just an Address)

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

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

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

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

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

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

pub fn as_struct(&self, db: &dyn AnalyzerDb) -> Option<StructId>

pub fn as_trait_or_type(&self) -> TraitOrType

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

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

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

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

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

pub fn kind_display_name(&self, db: &dyn AnalyzerDb) -> &str

pub fn get_impl_for( &self, db: &dyn AnalyzerDb, trait_: TraitId, ) -> Option<ImplId>

Return the impl for the given trait. There can only ever be a single implementation per concrete type and trait.

pub fn trait_function_candidates( &self, context: &mut dyn AnalyzerContext, fn_name: &str, ) -> (Vec<(FunctionId, ImplId)>, Vec<(FunctionId, ImplId)>)

Looks up all possible candidates of the given function name that are implemented via traits. Groups results in two lists, the first contains all theoretical possible candidates and the second contains only those that are actually callable because the trait is in scope.

pub fn function_sig( &self, db: &dyn AnalyzerDb, name: &str, ) -> Option<FunctionSigId>

Signature for the function with the given name defined directly on the type. Does not consider trait impls.

pub fn function_sigs( &self, db: &dyn AnalyzerDb, name: &str, ) -> Rc<[FunctionSigId]>

Like function_sig but returns a Vec<FunctionSigId> which not only considers functions natively implemented on the type but also those that are provided by implemented traits on the type.

pub fn self_function( &self, db: &dyn AnalyzerDb, name: &str, ) -> Option<FunctionSigId>

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

Returns true if the type qualifies to implement the Emittable trait TODO: This function should be removed when we add Encode / Decode trait

pub fn is_encodable(self, db: &dyn AnalyzerDb) -> Result<bool, TypeError>

Returns true if the type is encodable in Solidity ABI. TODO: This function must be removed when we add Encode/Decode trait.

Trait Implementations

impl Clone for TypeId

fn clone(&self) -> TypeId

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TypeId

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

Formats the value using the given formatter.

impl Default for TypeId

fn default() -> TypeId

Returns the “default value” for a type.

impl DisplayWithDb for TypeId

fn format(&self, db: &dyn AnalyzerDb, f: &mut Formatter<'_>) -> Result

impl Hash for TypeId

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl InternKey for TypeId

fn from_intern_id(v: InternId) -> Self

Create an instance of the intern-key from a u32 value.

fn as_intern_id(&self) -> InternId

Extract the u32 with which the intern-key was created.

impl Ord for TypeId

fn cmp(&self, other: &TypeId) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq for TypeId

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

fn partial_cmp(&self, other: &TypeId) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl TypeDowncast for TypeId

fn as_array(&self, db: &dyn AnalyzerDb) -> Option<Array>

fn as_tuple(&self, db: &dyn AnalyzerDb) -> Option<Tuple>

fn as_string(&self, db: &dyn AnalyzerDb) -> Option<FeString>

fn as_map(&self, db: &dyn AnalyzerDb) -> Option<Map>

fn as_int(&self, db: &dyn AnalyzerDb) -> Option<Integer>

impl Copy for TypeId

impl Eq for TypeId

impl StructuralPartialEq for TypeId