package p4spectec

  1. Overview
  2. Docs
package p4spectec
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Handler.DefaultSource

Sourceval init_spec : spec -> unit
Sourceval finish : unit -> unit
Sourceval backup : unit -> unit
Sourceval restore : unit -> unit
Sourceval on_program : Value.t -> unit
Sourceval on_value : Value.t -> unit
Sourceval on_value_dependency : Value.t -> Value.t -> Dep.Edges.label -> unit
Sourceval on_rel_enter : Domain.Lib.RId.t -> Value.t list -> unit
Sourceval on_rel_exit : Domain.Lib.RId.t -> unit
Sourceval on_func_enter : Domain.Lib.FId.t -> Value.t list -> unit
Sourceval on_func_exit : Domain.Lib.FId.t -> unit
Sourceval on_prem : Lang.Il.prem -> unit
Sourceval on_instr : Lang.Sl.instr -> unit
Sourceval on_instr_dangling : bool -> Domain.Lib.IId.t -> Value.t -> unit