Scoping (p.mopsa.1.2.doc.passes.Passes.Scoping)

Sourceval debug : ('a, Stdlib.Format.formatter, unit, unit) Stdlib.format4 -> 'a

Sourcemodule Scope : sig ... end

Sourceval visit_list : ('a -> 'b -> 'c * 'b) -> 'a list -> 'b -> 'c list * 'b

Sourceval visit_option : ('a -> 'b -> 'c * 'b) -> 'a option -> 'b -> 'c option * 'b

val visit_expr : 
  Parsing.Cst.expr Mopsa_utils.Core.Location.with_range ->
  Scope.t ->
  Parsing.Cst.expr Mopsa_utils.Core.Location.with_range * Scope.t

Source

val visit_interval : 
  Parsing.Cst.interval ->
  Scope.t ->
  Parsing.Cst.interval * Scope.t

Sourceval visit_set : Parsing.Cst.set -> Scope.t -> Parsing.Cst.set * Scope.t

Source

val visit_formula : 
  Parsing.Cst.formula Mopsa_utils.Core.Location.with_range ->
  Scope.t ->
  Parsing.Cst.formula Mopsa_utils.Core.Location.with_range * Scope.t

Source

val visit_requires : 
  Parsing.Cst.formula Mopsa_utils.Core.Location.with_range
    Mopsa_utils.Core.Location.with_range ->
  Scope.t ->
  Parsing.Cst.formula Mopsa_utils.Core.Location.with_range
    Mopsa_utils.Core.Location.with_range
  * Scope.t

Source

val visit_assumes : 
  Parsing.Cst.formula Mopsa_utils.Core.Location.with_range
    Mopsa_utils.Core.Location.with_range ->
  Scope.t ->
  Parsing.Cst.formula Mopsa_utils.Core.Location.with_range
    Mopsa_utils.Core.Location.with_range
  * Scope.t

Source

val visit_ensures : 
  Parsing.Cst.formula Mopsa_utils.Core.Location.with_range
    Mopsa_utils.Core.Location.with_range ->
  Scope.t ->
  Parsing.Cst.formula Mopsa_utils.Core.Location.with_range
    Mopsa_utils.Core.Location.with_range
  * Scope.t

Source

val visit_assigns : 
  Parsing.Cst.assigns Mopsa_utils.Core.Location.with_range ->
  Scope.t ->
  Parsing.Cst.assigns Mopsa_utils.Core.Location.with_range * Scope.t

Source

val visit_free : 
  Parsing.Cst.expr Mopsa_utils.Core.Location.with_range
    Mopsa_utils.Core.Location.with_range ->
  Scope.t ->
  Parsing.Cst.expr Mopsa_utils.Core.Location.with_range
    Mopsa_utils.Core.Location.with_range
  * Scope.t

Source

val visit_local_value : 
  Parsing.Cst.local_value ->
  Scope.t ->
  Parsing.Cst.local_value * Scope.t

Source

val visit_local : 
  Parsing.Cst.local Mopsa_utils.Core.Location.with_range ->
  Scope.t ->
  Parsing.Cst.local Mopsa_utils.Core.Location.with_range * Scope.t

Sourceval visit_leaf : Parsing.Cst.leaf -> Scope.t -> Parsing.Cst.leaf * Scope.t

Source

val visit_case : 
  Parsing.Cst.case Mopsa_utils.Core.Location.with_range ->
  Scope.t ->
  Parsing.Cst.case Mopsa_utils.Core.Location.with_range * Scope.t

Source

val visit_section : 
  Parsing.Cst.section ->
  Scope.t ->
  Parsing.Cst.section * Scope.t

Entry point

***************

Sourceval doit : Parsing.Cst.stub -> Parsing.Cst.stub