Module `Solidity_visitor`Source

Visitors are objects providing utils for exhaustively passing through the Solidity AST.

Sourcetype action =

| SkipChildren
(*
Stops the visit of the current branch
*)
| DoChildren
(*
Visits the branch children
*)
| DoChildrenPost of unit -> unit
(*
Visits the branch children and, once the visit is finished, calls the function
*)

The different kind of actions to perform after each visit

Sourceclass virtual ast_visitor : object ... end

The AST visitor. Each method is called when reaching an element of the corresponding type in the AST.

Sourceclass init_ast_visitor : object ... end

A dummy visitor. Visits the whole AST and does nothing. You may inherit this visitor and redefine its methods to avoid redefining all the methods.

Functions visiting the AST.

val visitNode : 
  (ast_visitor as 'b -> 'a -> unit) ->
  'b ->
  'a Solidity_common.node ->
  unit

Sourceval visitType : ast_visitor -> Solidity_ast.type_ -> unit

Sourceval visitParam : ast_visitor -> Solidity_ast.param -> unit

Sourceval visitFunctionType : ast_visitor -> Solidity_ast.function_type -> unit

Sourceval visitTypeDef : ast_visitor -> Solidity_ast.type_definition -> unit

Sourceval visitContractDef : ast_visitor -> Solidity_ast.contract_definition -> unit

val visitInheritanceSpecifier : 
  ast_visitor ->
  Solidity_ast.inheritance_specifier ->
  unit

Sourceval visitContractPart : ast_visitor -> Solidity_ast.contract_part -> unit

val visitStateVariableDef : 
  ast_visitor ->
  Solidity_ast.state_variable_definition ->
  unit

Sourceval visitBlock : ast_visitor -> Solidity_ast.block -> unit

Sourceval visitFunctionDef : ast_visitor -> Solidity_ast.function_definition -> unit

val visitFunctionDefNode : 
  ast_visitor ->
  Solidity_ast.function_definition Solidity_common.node ->
  unit

Sourceval visitModifierDef : ast_visitor -> Solidity_ast.modifier_definition -> unit

val visitModifierDefNode : 
  ast_visitor ->
  Solidity_ast.modifier_definition Solidity_common.node ->
  unit

Sourceval visitEventDef : ast_visitor -> Solidity_ast.event_definition -> unit

Sourceval visitCatchClause : ast_visitor -> Solidity_ast.catch_clause -> unit

Sourceval visitStatement : ast_visitor -> Solidity_ast.statement -> unit

Sourceval visitExpression : ast_visitor -> Solidity_ast.expression -> unit

Sourceval visitVariableDef : ast_visitor -> Solidity_ast.variable_definition -> unit

val visitFunctionCallArguments : 
  ast_visitor ->
  Solidity_ast.function_call_arguments ->
  unit

Sourceval visitSourceUnit : ast_visitor -> Solidity_ast.source_unit -> unit

Sourceval visitImportDirective : ast_visitor -> Solidity_ast.import_directive -> unit

Sourceval visitImportSymbols : ast_visitor -> Solidity_ast.import_symbols -> unit

Sourceval visitModule : ast_visitor -> Solidity_ast.module_ -> unit

package solidity-common