package bap-std

  1. Overview
  2. Docs
package bap-std
Legend:
Library
Module
Module type
Parameter
Class
Class type

A visitor with a shortcut. Finder is a specialization of a visitor, that uses return as its folding argument. At any time you can stop the traversing by calling return function of the provided argument (which is by itself is a record with one field - a function accepting argument of type 'a option).

For example, the following function will check whether x variable is assigned (i.e., occurs on the left of the assignment operator) in the provided scope.

let is_assigned x = find (object(self)
    inherit [unit] finder
    method! enter_move y _rhs cc =
      if Var.(x = y) then cc.return (Some ()); cc
  end)

There're three find functions in the library, that accepts an object of type finder:

  • Bil.finder searches in the stmt list aka bil
  • Stmt.finder searches in stmt
  • Exp.finder searches in exp.

In addition, you can use this object directly, using one of the two provided entry points.

inherit 'a option Core_kernel.return visitor
method find : t list -> 'a option
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