package sawja

You can search for identifiers within the package.

in-package search v0.2.0

sawja
- Sawja_pack
  - A3Bir
    
    PluginPrinter
    
    VarMap
    
    VarSet
  - A3BirPP
  - A3BirSSA
    
    PluginPrinter
    
    VarMap
    
    VarSet
  - A3BirSSAPP
  - ArgPlugin
  - AvailableExpr
    
    Lat
  - AvailableExprSSA
    
    Lat
  - Bir
    
    BCV
    
    CheckInfoDebug
    
    Lat
    
    FastCheckInfoDebug
    
    GetFormula
    
    IRUtil
    
    Live
    
    Env
    
    MakeBirLikeFunctions
    
    MakeCodeExcFunctions
    
    PluginPrinter
    
    PrintIR
    
    Printer
    
    SSA
  - BirA3
    
    MakeBirLikeFunctions
    
    PluginPrinter
    
    PrintIR
    
    Printer
  - ClassDomain
    
    Make
    
    S
  - Cmn
    
    DicoVarMap
    
    VarMap
    
    VarSet
  - HeapParser
  - Iter
  - JBir
    
    PluginPrinter
    
    VarMap
    
    VarSet
  - JBirPP
  - JBirSSA
    
    PluginPrinter
    
    VarMap
    
    VarSet
  - JBirSSAPP
  - JCRA
  - JCodePP
  - JControlFlow
    
    PP
  - JNativeStubs
    
    ClassSignatureSet
    
    MethodMap
    
    MethodSet
    
    StringMap
  - JPrintHtml
    
    HTMLPrinter
    
    JCodePrinter
    
    Make
    
    S
    
    PrintInterface
  - JPrintPlugin
    
    JCodePrinter
    
    NewCodePrinter
    
    AdaptedASTGrammar
    
    Make
    
    S
    
    PluginPrinter
    
    PrintInterface
  - JPrintUtil
    
    JCodeUtil
  - JProgram
  - JRRTA
  - JRTA
  - JRTAWithHeap
  - JType
    
    ObjectMap
    
    ObjectSet
  - JUtil
    
    GenericMap
    
    S
    
    GenericSet
    
    S
    
    MaptoSet
    
    GMap
    
    GSet
    
    S
  - JsrInline
  - Lex_heap
  - Live_a3bir
    
    Env
  - Live_bir
    
    Env
  - Parse_heap
  - ParserType
  - ReachDef
    
    Lat
  - ReachableMethods
  - Safe
    
    Constraints
    
    Make
    
    State
    
    Field
    
    Global
    
    IOC
    
    Method
    
    PP
    
    Var
    
    Context
    
    S
    
    State
    
    Field
    
    Global
    
    IOC
    
    Method
    
    PP
    
    Var
    
    Context
    
    Domain
    
    Combine
    
    Left
    
    Right
    
    Trad_Left
    
    Trad
    
    Trad_Right
    
    Trad
    
    Empty
    
    Local
    
    Var
    
    S
    
    Stack
    
    Var
    
    TRADUCTOR_ANALYSIS
    
    Trad_Identity
    
    TYPE
    
    Solver
    
    Make
    
    Constraints
    
    State
    
    Field
    
    Global
    
    IOC
    
    Method
    
    PP
    
    Var
    
    Context
    
    State
    
    Make
    
    Field
    
    FieldDomain
    
    Global
    
    GlobalDomain
    
    IOC
    
    IOCDomain
    
    Method
    
    MethodDomain
    
    PP
    
    PPDomain
    
    Var
    
    Context
    
    S
    
    Field
    
    Global
    
    IOC
    
    Method
    
    PP
    
    Var
    
    Context
    
    Var
    
    CONTEXT
    
    EmptyContext
    
    Make
    
    Context
    
    S
    
    Context
  - Wlist
  - XTA

Legend:
Library
Module
Module type
Parameter
Class
Class type

type var_name_deb =

| UnDef
| NoName
| Name of string

val pp_var2vardeb : ('a -> 'b -> string option) -> 'a -> 'b -> var_name_deb

val run : 
  (int * int * string * 'a * int) list ->
  bool array ->
  (int -> int -> var_name_deb) ->
  var_name_deb Ptmap.t array ->
  Javalib_pack.JCode.jcode ->
  Ptset.t ->
  int ->
  Ptset.t * bool