package sawja

  1. Overview
  2. Docs
package sawja
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Var : Var.S
module Global : Domain.S
module IOC : Domain.S
module Field : Domain.S
module Method : Domain.S
module PP : Domain.S
type analysisID = [
  1. | `FieldAnalysis of Field.analysisID
  2. | `GlobalAnalysis of Global.analysisID
  3. | `IOCAnalysis of IOC.analysisID
  4. | `MethodAnalysis of Method.analysisID
  5. | `PPAnalysis of PP.analysisID
]
type analysisDomain = [
  1. | `FieldDomain of Field.analysisDomain
  2. | `GlobalDomain of Global.analysisDomain
  3. | `IOCDomain of IOC.analysisDomain
  4. | `MethodDomain of Method.analysisDomain
  5. | `PPDomain of PP.analysisDomain
]
type abData = [
  1. | `Field of Field.t
  2. | `Global of Global.t
  3. | `IOC of IOC.t
  4. | `Method of Method.t
  5. | `PP of PP.t
]
type t
exception DebugSt of t
val bot : (int * int * int * int * int) -> t
val pprint : Format.formatter -> t -> unit
val join_ad : ?do_join:bool -> ?modifies:bool ref -> abData -> analysisDomain -> abData
val join : ?do_join:bool -> ?modifies:bool ref -> t -> Var.t -> analysisDomain -> unit
val get : t -> Var.t -> abData
val get_global : t -> Var.var_global -> Global.t
val get_IOC : t -> Var.var_ioc -> IOC.t
val get_field : t -> Var.var_field -> Field.t
val get_method : t -> Var.var_method -> Method.t
val get_PP : t -> Var.var_pp -> PP.t
val get_ab_global : abData -> Global.t
val get_ab_field : abData -> Field.t
val get_ab_method : abData -> Method.t
val get_ab_IOC : abData -> IOC.t
val get_ab_pp : abData -> PP.t
val iter_global : t -> (t -> Var.var_global -> abData -> unit) -> unit
val iter_IOC : t -> (t -> Var.var_ioc -> abData -> unit) -> unit
val iter_field : t -> (t -> Var.var_field -> abData -> unit) -> unit
val iter_method : t -> (t -> Var.var_method -> abData -> unit) -> unit
val iter_PP : t -> (t -> Var.var_pp -> abData -> unit) -> unit
val replace : t -> Var.t -> abData -> unit
val remove : t -> Var.t -> unit