package solidity-typechecker
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
Maintainers
Sources
v0.2.0.tar.gz
sha256=d5d0f31101413c9a36d6a37973aa03fde788644808f34dbff0220ee45c17ece4
doc/solidity-typechecker/Solidity_tenv_builder/index.html
Module Solidity_tenv_builderSource
Source
val add_module_ident :
Solidity_checker_TYPES.env ->
Solidity_common.IdentMap.key ->
Solidity_checker_TYPES.ident_desc ->
unitSource
val add_imported_definitions :
Solidity_checker_TYPES.env Solidity_common.IdentMap.t ->
Solidity_ast.module_ ->
Solidity_ast.module_ list ->
unitSource
val resolve_aliases :
Solidity_checker_TYPES.env Solidity_common.IdentMap.t ->
Solidity_ast.module_ ->
unitSource
val check_clashes_in_module :
Solidity_checker_TYPES.env Solidity_common.IdentMap.t ->
Solidity_ast.module_ ->
unitSource
val can_add_modifier :
(Solidity_checker_TYPES.ident_desc * Solidity_checker_TYPES.origin) list ->
'a ->
boolSource
val can_add_variable :
(Solidity_checker_TYPES.ident_desc * Solidity_checker_TYPES.origin) list ->
Solidity_checker_TYPES.variable_desc ->
boolSource
val add_contract_ident :
Solidity_checker_TYPES.contract_desc ->
Solidity_common.IdentMap.key ->
Solidity_checker_TYPES.ident_desc ->
unitSource
val add_using_for :
Solidity_checker_TYPES.env ->
Solidity_checker_TYPES.contract_desc ->
Solidity_checker_TYPES.type_ option ->
unitSource
val finalize_definitions :
Solidity_checker_TYPES.env Solidity_common.IdentMap.t ->
Solidity_ast.module_ ->
unitSource
val add_module :
'a list ->
Solidity_checker_TYPES.module_desc ->
Solidity_checker_TYPES.origin ->
(Solidity_checker_TYPES.ident_desc * Solidity_checker_TYPES.origin) listSource
val add_contract :
'a list ->
Solidity_checker_TYPES.contract_desc ->
Solidity_checker_TYPES.origin ->
(Solidity_checker_TYPES.ident_desc * Solidity_checker_TYPES.origin) listSource
val add_type :
'a list ->
Solidity_checker_TYPES.type_desc ->
'b ->
(Solidity_checker_TYPES.ident_desc * 'b) listSource
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) listSource
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) listSource
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) listSource
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) listSource
val check_and_filter_overloads :
Solidity_checker_TYPES.env Solidity_common.IdentMap.t ->
Solidity_ast.module_ ->
unitSource
val add_local_variable :
Solidity_common.pos ->
Solidity_checker_TYPES.env ->
Solidity_common.IdentMap.key ->
Solidity_checker_TYPES.variable_desc ->
unit