Enum Type

enum Type {
    Builtin(DynSolType),
    Array(Box<Type>),
    FixedArray(Box<Type>, usize),
    ArrayIndex(Box<Type>, Option<usize>),
    Tuple(Vec<Option<Type>>),
    Function(Box<Type>, Vec<Option<Type>>, Vec<Option<Type>>),
    Access(Box<Type>, String),
    Custom(Vec<String>),
}

Variants

Builtin(DynSolType)

(type)

Array(Box<Type>)

(type)

FixedArray(Box<Type>, usize)

(type, length)

ArrayIndex(Box<Type>, Option<usize>)

(type, index)

Tuple(Vec<Option<Type>>)

(types)

Function(Box<Type>, Vec<Option<Type>>, Vec<Option<Type>>)

(name, params, returns)

Access(Box<Type>, String)

(lhs, rhs)

Custom(Vec<String>)

(types)

Implementations

impl Type

fn from_expression(expr: &Expression) -> Option<Self>

Convert a [pt::Expression] to a Type

Takes

A reference to a [pt::Expression] to convert.

Returns

Optionally, an owned Type

fn from_type(ty: &Type) -> Option<Self>

Convert a [pt::Type] to a Type

Takes

A reference to a [pt::Type] to convert.

Returns

Optionally, an owned Type

fn map_special(self) -> Self

Handle special expressions like global variables

See: https://github.com/ethereum/solidity/blob/81268e336573721819e39fbb3fefbc9344ad176c/libsolidity/ast/Types.cpp#L4106

fn recurse(&self, types: &mut Vec<String>, args: &mut Option<Vec<Option<Self>>>)

Recurses over itself, appending all the idents and function arguments in the order that they are found

fn infer_custom_type( intermediate: &IntermediateOutput, custom_type: &mut Vec<String>, contract_name: Option<String>, ) -> Result<Option<DynSolType>>

Infers a custom type’s true type by recursing up the parse tree

Takes

• A reference to the IntermediateOutput
• An array of custom types generated by the MemberAccess arm of Self::from_expression
• An optional contract name. This should always be None when this function is first called.

Returns

If successful, an Ok(Some(DynSolType)) variant. If gracefully failed, an Ok(None) variant. If failed, an Err(e) variant.

fn infer_var_expr( expr: &Expression, intermediate: Option<&IntermediateOutput>, custom_type: &mut Vec<String>, ) -> Result<Option<DynSolType>>

Infers the type from a variable’s type

fn try_as_ethabi( self, intermediate: Option<&IntermediateOutput>, ) -> Option<DynSolType>

Attempt to convert this type into a [DynSolType]

Takes

An immutable reference to an IntermediateOutput

Returns

Optionally, a [DynSolType]

fn ethabi( expr: &Expression, intermediate: Option<&IntermediateOutput>, ) -> Option<DynSolType>

Equivalent to Type::from_expression + Type::map_special + Type::try_as_ethabi

fn get_function_return_type<'a>( contract_expr: Option<&'a Expression>, intermediate: &IntermediateOutput, ) -> Option<(&'a Expression, DynSolType)>

Get the return type of a function call expression.

fn invert_int(self) -> Self

Inverts Int to Uint and vice-versa.

fn into_builtin(self) -> Option<DynSolType>

Returns the DynSolType contained by Type::Builtin

fn into_array_index( self, intermediate: Option<&IntermediateOutput>, ) -> Option<DynSolType>

Returns the resulting DynSolType of indexing self

fn is_dynamic(&self) -> bool

Returns whether this type is dynamic

fn is_array(&self) -> bool

Returns whether this type is an array

fn is_dynamic_array(&self) -> bool

Returns whether this type is a dynamic array (can call push, pop)

fn is_fixed_bytes(&self) -> bool

Trait Implementations

impl Clone for Type

fn clone(&self) -> Type

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Type

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

Formats the value using the given formatter.

impl PartialEq for Type

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

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 72 bytes

Size for each variant:

• Builtin: 72 bytes
• Array: 16 bytes
• FixedArray: 24 bytes
• ArrayIndex: 32 bytes
• Tuple: 32 bytes
• Function: 64 bytes
• Access: 40 bytes
• Custom: 32 bytes