module GlobalDomain : Domain.Smodule FieldDomain : Domain.Smodule MethodDomain : Domain.Smodule Var : sig ... endmodule Global : sig ... endmodule IOC : sig ... endmodule Field : sig ... endmodule Method : sig ... endmodule PP : sig ... endtype analysisID = [ | `FieldAnalysis of Field.analysisID| `GlobalAnalysis of Global.analysisID| `IOCAnalysis of IOC.analysisID| `MethodAnalysis of Method.analysisID| `PPAnalysis of PP.analysisID ]type analysisDomain = [ | `FieldDomain of Field.analysisDomain| `GlobalDomain of Global.analysisDomain| `IOCDomain of IOC.analysisDomain| `MethodDomain of Method.analysisDomain| `PPDomain of PP.analysisDomain ]exception DebugSt of tval bot : (int * int * int * int * int) -> tval pprint : Stdlib.Format.formatter -> t -> unitval get_pinfo : 'a JProgram.program -> t -> JPrintHtml.info -> JPrintHtml.infoval join_ad :
?do_join:bool ->
?modifies:bool Stdlib.ref ->
abData ->
analysisDomain ->
abDataval join :
?do_join:bool ->
?modifies:bool Stdlib.ref ->
t ->
Var.t ->
analysisDomain ->
unitval get_global : t -> Var.var_global -> Global.tval get_IOC : t -> Var.var_ioc -> IOC.tval get_field : t -> Var.var_field -> Field.tval get_method : t -> Var.var_method -> Method.tval get_PP : t -> Var.var_pp -> PP.tval iter_global : t -> (t -> Var.var_global -> abData -> unit) -> unitval iter_IOC : t -> (t -> Var.var_ioc -> abData -> unit) -> unitval iter_field : t -> (t -> Var.var_field -> abData -> unit) -> unitval iter_method : t -> (t -> Var.var_method -> abData -> unit) -> unitval iter_PP : t -> (t -> Var.var_pp -> abData -> unit) -> unit