Module `Solidity_type_builder`Source

Source

val error : 
  Solidity_common.pos ->
  ('a, Format.formatter, unit, unit, unit, 'b) format6 ->
  'a

Sourceval sha3kec : bytes -> bytes

Source

val compute_selector : 
  Solidity_common.pos ->
  library:bool ->
  Solidity_common.Ident.t ->
  (Solidity_checker_TYPES.type_ * 'a) list ->
  string

Sourceval new_fun_options : Solidity_checker_TYPES.function_options

Source

val eval_array_length_exp : 
  Solidity_checker_TYPES.env ->
  Solidity_ast.expression ->
  Z.t

Source

val type_desc_to_base_type : 
  loc:Solidity_checker_TYPES.location ->
  Solidity_checker_TYPES.type_desc ->
  Solidity_checker_TYPES.type_

Source

val storage_location_to_location : 
  Solidity_ast.storage_location ->
  Solidity_checker_TYPES.location

Source

val elementary_type_to_type : 
  loc:Solidity_checker_TYPES.location ->
  Solidity_ast.elementary_type ->
  Solidity_checker_TYPES.type_

Source

val ast_type_to_type : 
  Solidity_common.pos ->
  loc:Solidity_checker_TYPES.location ->
  Solidity_checker_TYPES.env ->
  Solidity_ast.type_ ->
  Solidity_checker_TYPES.type_

Source

val var_type_to_type : 
  Solidity_common.pos ->
  Solidity_checker_TYPES.env ->
  arg:bool ->
  ext:bool ->
  Solidity_ast.storage_location option ->
  Solidity_ast.type_ ->
  Solidity_checker_TYPES.type_

Source

val function_type_to_desc : 
  Solidity_common.pos ->
  Solidity_checker_TYPES.env ->
  Solidity_ast.function_type ->
  Solidity_checker_TYPES.function_desc

Source

val process_fun_params : 
  Solidity_common.pos ->
  Solidity_checker_TYPES.env ->
  ext:bool ->
  Solidity_ast.param list ->
  (Solidity_checker_TYPES.type_ * Solidity_common.Ident.t option) list

Source

val process_fun_type_returns : 
  Solidity_common.pos ->
  Solidity_checker_TYPES.env ->
  ext:bool ->
  (Solidity_ast.type_ * Solidity_ast.storage_location option) list ->
  (Solidity_checker_TYPES.type_ * Solidity_common.Ident.t option) list

Source

val process_event_params : 
  Solidity_common.pos ->
  Solidity_checker_TYPES.env ->
  (Solidity_ast.type_ * 'a * 'b Solidity_common.node option) list ->
  (Solidity_checker_TYPES.type_ * 'b option) list

Source

val variable_type_to_function_type : 
  Solidity_common.pos ->
  Solidity_checker_TYPES.type_ ->
  (Solidity_checker_TYPES.type_ * 'a option) list
  * (Solidity_checker_TYPES.type_ * 'b option) list

Source

val variable_desc_to_function_desc : 
  Solidity_common.pos ->
  Solidity_common.Ident.t ->
  Solidity_common.absolute Solidity_common.LongIdent.t ->
  Solidity_checker_TYPES.type_ ->
  Solidity_checker_TYPES.function_desc

Source

val event_desc_to_function_desc : 
  Solidity_checker_TYPES.event_desc ->
  Solidity_checker_TYPES.function_desc

Source

val local_variable_desc : 
  Solidity_checker_TYPES.type_ ->
  Solidity_checker_TYPES.variable_desc

Source

val process_overrides : 
  Solidity_checker_TYPES.env ->
  Solidity_common.relative Solidity_common.LongIdent.t Solidity_common.node
    list
    option ->
  Solidity_common.absolute Solidity_common.LongIdent.t list option

Source

val make_modifier_desc : 
  Solidity_common.absolute Solidity_common.LongIdent.t ->
  Solidity_ast.modifier_definition ->
  Solidity_checker_TYPES.modifier_desc

Source

val update_modifier_desc : 
  Solidity_common.pos ->
  Solidity_checker_TYPES.env ->
  Solidity_checker_TYPES.modifier_desc ->
  unit

Source

val make_event_desc : 
  Solidity_common.absolute Solidity_common.LongIdent.t ->
  Solidity_ast.event_definition ->
  Solidity_checker_TYPES.event_desc

Source

val update_event_desc : 
  Solidity_common.pos ->
  Solidity_checker_TYPES.env ->
  Solidity_checker_TYPES.event_desc ->
  unit

Source

val make_variable_desc : 
  Solidity_common.absolute Solidity_common.LongIdent.t ->
  Solidity_ast.state_variable_definition ->
  Solidity_checker_TYPES.variable_desc

Source

val update_variable_desc : 
  Solidity_common.pos ->
  Solidity_checker_TYPES.env ->
  Solidity_checker_TYPES.variable_desc ->
  Solidity_ast.contract_kind option ->
  unit

Source

val make_function_desc : 
  Solidity_common.absolute Solidity_common.LongIdent.t ->
  Solidity_ast.function_definition ->
  bool ->
  Solidity_checker_TYPES.function_desc

Source

val update_function_desc : 
  Solidity_common.pos ->
  Solidity_checker_TYPES.env ->
  Solidity_checker_TYPES.function_desc ->
  Solidity_ast.contract_kind option ->
  unit

Source

val update_struct_fields : 
  Solidity_checker_TYPES.struct_desc ->
  (Solidity_common.Ident.t * Solidity_checker_TYPES.type_) list ->
  unit

Source

val primitive_fun_desc : 
  ?returns_lvalue:bool ->
  Solidity_checker_TYPES.type_ list ->
  Solidity_checker_TYPES.type_ list ->
  Solidity_ast.fun_mutability ->
  Solidity_checker_TYPES.function_desc

Source

val primitive_fun_type : 
  ?kind:Solidity_checker_TYPES.fun_kind ->
  ?returns_lvalue:bool ->
  Solidity_checker_TYPES.type_ list ->
  Solidity_checker_TYPES.type_ list ->
  Solidity_ast.fun_mutability ->
  Solidity_checker_TYPES.type_

Source

val primitive_fun : 
  ?returns_lvalue:bool ->
  Solidity_checker_TYPES.type_ list ->
  Solidity_checker_TYPES.type_ list ->
  Solidity_ast.fun_mutability ->
  Solidity_checker_TYPES.ident_desc

Source

val primitive_var_desc : 
  Solidity_checker_TYPES.type_ ->
  Solidity_checker_TYPES.variable_desc

Source

val primitive_var : 
  Solidity_checker_TYPES.type_ ->
  Solidity_checker_TYPES.ident_desc

package solidity-typechecker

Module Solidity_type_builderSource

Module `Solidity_type_builder`Source