solidity-typechecker 0.2.0 (latest)

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

val error_already_declared : 
  Solidity_common.pos ->
  Solidity_common.Ident.t ->
  'a

val error_defined_twice : Solidity_common.pos -> string -> 'a

val is_defined : Solidity_checker_TYPES.origin -> bool

val is_imported : Solidity_checker_TYPES.origin -> bool

val is_inherited : Solidity_checker_TYPES.origin -> bool

val idd_pos : Solidity_checker_TYPES.ident_desc -> Solidity_common.pos

val new_env : 
  ?upper_env:Solidity_checker_TYPES.env ->
  unit ->
  Solidity_checker_TYPES.env

val add_module_ident : 
  Solidity_checker_TYPES.env ->
  Solidity_common.IdentMap.key ->
  Solidity_checker_TYPES.ident_desc ->
  unit

val add_imported_definitions : 
  Solidity_checker_TYPES.env Solidity_common.IdentMap.t ->
  Solidity_ast.module_ ->
  Solidity_ast.module_ list ->
  unit

val resolve_aliases : 
  Solidity_checker_TYPES.env Solidity_common.IdentMap.t ->
  Solidity_ast.module_ ->
  unit

val check_clashes_in_module : 
  Solidity_checker_TYPES.env Solidity_common.IdentMap.t ->
  Solidity_ast.module_ ->
  unit

val can_add_type : 'a list -> 'b -> bool

val can_add_modifier : 
  (Solidity_checker_TYPES.ident_desc * Solidity_checker_TYPES.origin) list ->
  'a ->
  bool

val can_add_event : (Solidity_checker_TYPES.ident_desc * 'a) list -> 'b -> bool

val can_add_variable : 
  (Solidity_checker_TYPES.ident_desc * Solidity_checker_TYPES.origin) list ->
  Solidity_checker_TYPES.variable_desc ->
  bool

val can_add_function : 
  (Solidity_checker_TYPES.ident_desc * 'a) list ->
  'b ->
  bool

type action =

| Add
| Skip
| Fail

val add_inherited_definitions : Solidity_checker_TYPES.contract_desc -> unit

val add_contract_ident : 
  Solidity_checker_TYPES.contract_desc ->
  Solidity_common.IdentMap.key ->
  Solidity_checker_TYPES.ident_desc ->
  unit

val add_using_for : 
  Solidity_checker_TYPES.env ->
  Solidity_checker_TYPES.contract_desc ->
  Solidity_checker_TYPES.type_ option ->
  unit

val finalize_definitions : 
  Solidity_checker_TYPES.env Solidity_common.IdentMap.t ->
  Solidity_ast.module_ ->
  unit

val add_module : 
  'a list ->
  Solidity_checker_TYPES.module_desc ->
  Solidity_checker_TYPES.origin ->
  (Solidity_checker_TYPES.ident_desc * Solidity_checker_TYPES.origin) list

val add_contract : 
  'a list ->
  Solidity_checker_TYPES.contract_desc ->
  Solidity_checker_TYPES.origin ->
  (Solidity_checker_TYPES.ident_desc * Solidity_checker_TYPES.origin) list

val add_type : 
  'a list ->
  Solidity_checker_TYPES.type_desc ->
  'b ->
  (Solidity_checker_TYPES.ident_desc * 'c) list

val add_modifier : 
  (Solidity_checker_TYPES.ident_desc * Solidity_checker_TYPES.origin) list ->
  Solidity_checker_TYPES.modifier_desc ->
  Solidity_checker_TYPES.origin ->
  (Solidity_checker_TYPES.ident_desc * Solidity_checker_TYPES.origin) list

val add_event : 
  (Solidity_checker_TYPES.ident_desc * Solidity_checker_TYPES.origin) list ->
  Solidity_checker_TYPES.event_desc ->
  Solidity_checker_TYPES.origin ->
  (Solidity_checker_TYPES.ident_desc * Solidity_checker_TYPES.origin) list

val add_variable : 
  (Solidity_checker_TYPES.ident_desc * Solidity_checker_TYPES.origin) list ->
  Solidity_checker_TYPES.variable_desc ->
  Solidity_checker_TYPES.origin ->
  (Solidity_checker_TYPES.ident_desc * Solidity_checker_TYPES.origin) list

val add_function : 
  (Solidity_checker_TYPES.ident_desc * Solidity_checker_TYPES.origin) list ->
  Solidity_checker_TYPES.function_desc ->
  Solidity_checker_TYPES.origin ->
  (Solidity_checker_TYPES.ident_desc * Solidity_checker_TYPES.origin) list

val check_and_filter_overloads : 
  Solidity_checker_TYPES.env Solidity_common.IdentMap.t ->
  Solidity_ast.module_ ->
  unit

val add_local_variable : 
  Solidity_common.pos ->
  Solidity_checker_TYPES.env ->
  Solidity_common.IdentMap.key ->
  Solidity_checker_TYPES.variable_desc ->
  unit

package solidity-typechecker