package sawja

You can search for identifiers within the package.

in-package search v0.2.0

package sawja

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
  - Iter2
  - JBir
    
    PluginPrinter
    
    VarMap
    
    VarSet
  - JBirPP
  - JBirSSA
    
    PluginPrinter
    
    VarMap
    
    VarSet
  - JBirSSAPP
  - JCFA
  - JCFADom
    
    AbFSet
    
    AbField
    
    AbLocals
    
    AbMeth
    
    AbMethod
    
    AbPP
    
    AbVSet
    
    CFAConstraints
    
    State
    
    Field
    
    Global
    
    IOC
    
    Method
    
    PP
    
    Var
    
    Context
    
    CFAState
    
    Field
    
    Global
    
    IOC
    
    Method
    
    PP
    
    Var
    
    Context
    
    Var
    
    Context
  - JCFAOptions
  - JCFAPrinter
  - 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
  - JsrInline
  - Lex_heap
  - Live_a3bir
    
    Env
  - Live_bir
    
    Env
  - Nexir
    
    Formula
  - 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 p_code

type p_expr

val get_source_line_number : int -> p_code -> int option

val inst_disp : int -> p_code -> string

val method_param_names : 
  p_code Javalib_pack.Javalib.interface_or_class ->
  Javalib_pack.JBasics.method_signature ->
  string list option

val to_plugin_warning : 
  p_code Javalib_pack.Javalib.jmethod ->
  p_expr precise_warning_pp list Javalib_pack.Ptmap.t ->
  p_expr precise_warning_pp list Javalib_pack.Ptmap.t