package solidity-typechecker

  1. Overview
  2. Docs
The ocaml-solidity project

Install

Dune Dependency

github.com Readme Changelog LGPL-2.1-only WITH OCaml-LGPL-linking-exception License Edit opam file Versions (1)

Authors

  1. D
    David Declerck <david.declerck@ocamlpro.com>
  2. S
    Steven De Oliveira <steven.de-oliveira@ocamlpro.com>

Maintainers

  1. D
    David Declerck <david.declerck@ocamlpro.com>
  2. S
    Steven De Oliveira <steven.de-oliveira@ocamlpro.com>

Sources

v0.2.0.tar.gz
sha256=d5d0f31101413c9a36d6a37973aa03fde788644808f34dbff0220ee45c17ece4

doc/solidity-typechecker/Solidity_postcheck_utils/index.html

Module Solidity_postcheck_utilsSource

1 Type definitions

Sourcetype expr_details = {
  1. ed_read : ast_annot list Solidity_common.IdentMap.t;
  2. ed_writ : ast_annot list Solidity_common.IdentMap.t;
  3. ed_fun_calls : (fun_params * ast_annot) list Solidity_common.IdentMap.t;
  4. ed_deep_writ : ast_annot list Solidity_common.IdentMap.t;
  5. ed_read_access : Solidity_common.pos list;
  6. ed_writ_state : Solidity_common.pos list;
}
Sourcetype global_def =
  1. | GDeclared
  2. | GDefined of expr_details * Solidity_ast.expression
Sourcetype local_def =
  1. | LDeclared
  2. | LParam
  3. | LDefined of Solidity_ast.expression
Sourcetype local_details = {
  1. loc_def : local_def;
  2. loc_mem : Solidity_ast.storage_location option;
}
Sourcetype global_details = {
  1. gd_def : global_def;
  2. gd_mutab : Solidity_ast.var_mutability;
  3. mutable gd_updates : ast_annot list;
}
Sourcetype modifier_details =
  1. | Constructor of ast_annot
  2. | Modifier of ast_annot
Sourcetype function_details = {
  1. fd_details : expr_details;
  2. fd_kind : fun_kind;
  3. fd_purity : Solidity_ast.fun_mutability;
  4. fd_defined : bool;
  5. fd_modifiers : (fun_params * modifier_details) list Solidity_common.AbsLongIdentMap.t;
}
Sourcetype fun_identity = {
  1. fi_name : Solidity_common.Ident.t;
  2. fi_params : fun_params;
}

2. Exceptions raised by the postprocessor

Sourceval failOnAnnot : Solidity_common.annot -> 'a

3 Miscellaneous

Sourceval removeListPrefix : ('a -> 'b -> bool) -> 'a -> 'b list -> 'b list
Sourceval list_compare : ('a -> 'a -> int) -> 'a list -> 'a list -> int
Sourceval list_equal : ('a -> 'a -> int) -> 'a list -> 'a list -> bool
Sourceval the : 'a option -> 'a
Sourceval identmap_add_list_unique : ('a -> 'a -> bool) -> Solidity_common.IdentMap.key -> ('a * 'b) -> ('a * 'b) list Solidity_common.IdentMap.t -> ('a * 'b) list Solidity_common.IdentMap.t
Sourceval equal_opt : ('a -> 'b -> bool) -> 'a option -> 'b option -> bool
Sourceval list_assoc_opt : ('a -> 'b -> bool) -> 'b -> ('a * 'c) list -> 'c option
Sourceval list_mem : ('a -> 'b -> bool) -> 'b -> 'a list -> bool
Sourceval identmap_list_partition : (Solidity_common.IdentMap.key -> 'a -> bool) -> 'a list Solidity_common.IdentMap.t -> 'a list Solidity_common.IdentMap.t * 'a list Solidity_common.IdentMap.t

3.5 Utils on previously defined types

Sourceval empty_expr_details : expr_details
Sourceval empty_project_env : env
Sourceval equalParams : check_ident:bool -> fun_params -> fun_params -> bool
Sourceval equalSortedParams : fun_params -> fun_params -> bool
Sourceval getInInherited : (contract_env -> 'a option) -> contract_env -> (Solidity_common.absolute Solidity_common.LongIdent.t * 'a) option
Sourceval getInEnv : ?in_inherited:bool -> (contract_env -> 'a option) -> contract_env -> ('a * Solidity_common.absolute Solidity_common.LongIdent.t option) option
Sourceval paramsFromExprs : Solidity_ast.expression list -> (Solidity_checker_TYPES.type_ * 'a option) list
Sourceval is_constructor : Solidity_ast.function_definition -> bool
Sourceval pp_annot_list : Format.formatter -> 'a list -> unit
Sourceval pp_ident_map : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a Solidity_common.IdentMap.t -> unit
Sourceval pp_longident_map : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a Solidity_common.AbsLongIdentMap.t -> unit
Sourceval pp_expr_details : Format.formatter -> expr_details -> unit
Sourceval pp_global_def : Format.formatter -> global_def -> unit
Sourceval pp_global_details : Format.formatter -> global_details -> unit
Sourceval pp_fun_details : Format.formatter -> function_details -> unit
Sourceval pp_list : ('a -> 'b -> unit) -> 'a -> 'b list -> unit
Sourceval pp_opt : ('a -> 'b -> unit) -> 'a -> 'b option -> unit
Sourceval pp_fun_params : Format.formatter -> (Solidity_checker_TYPES.type_ * Solidity_common.Ident.t option) list -> unit
Sourceval pp_pair : (Format.formatter -> 'a -> unit) -> (Format.formatter -> 'b -> unit) -> Format.formatter -> ('a * 'b) -> unit
Sourceval pp_env : Format.formatter -> contract_env -> unit
Sourceval (--) : 'a Solidity_common.IdentMap.t -> Solidity_common.IdentMap.key -> 'a Solidity_common.IdentMap.t
Sourceval (---) : 'a Solidity_common.IdentMap.t -> 'b Solidity_common.IdentMap.t -> 'a Solidity_common.IdentMap.t
Sourceval unionAssignDetails : expr_details -> expr_details -> expr_details
Sourceval removeFromAssignDetails : 'a Solidity_common.IdentMap.t -> expr_details -> expr_details
Sourceval getPos : ('a * 'b) list -> 'b
Sourceval isVirtual : function_details -> contract_env -> bool
Sourceval isConstructor : function_details -> bool
Sourceval purityToString : Solidity_ast.fun_mutability -> string

4. Analysers

Sourceval getExpressionDetails : Solidity_ast.expression -> expr_details
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct