[IR] move out modules unrelated to IR

Summary:
IR/ should contain modules pertaining to the core IR of infer, i.e. how
CFGs are represented (including SIL).

These categories of modules were moved:
- Access paths and HIL are an abstraction on top of SIL used by certain
  analyses. Moving the corresponding modules to IR/ makes this clearer
  as they are not really part of the IR (they are less fundamental than
  SIL).
- Error reporting is also something for other analyses, not part of IR.
  Moved a bunch of modules related to that to absint/.
- Same for ProcnameDispatcher
- biabduction-speficic modules: Objc_models, BiabductionModels
- test-determinator-specific modules: JProcname

Reviewed By: ezgicicek

Differential Revision: D21722368

fbshipit-source-id: b28e9bdac

infer/src/clang/dune.in

@@ -16,8 +16,10 @@ let clang =
  (flags
   (:standard
      -open Core -open IStdlib -open IStd -open OpenSource -open ATDGenerated
-     -open IBase -open IR -open Absint -open Checkers -open TestDeterminators))
- (libraries oUnit core IStdlib ATDGenerated IBase IR Absint Checkers TestDeterminators)
+     -open IBase -open IR -open Absint -open Checkers -open TestDeterminators
+     -open Biabduction -open Backend))
+ (libraries oUnit core IStdlib ATDGenerated IBase IR Absint Checkers
+     TestDeterminators Biabduction Backend)
  (preprocess (pps ppx_compare))
 )|}
     (if clang then ":standard \\ ClangFrontendStubs" else "ClangFrontendStubs")

infer/src/integration/dune.in

@@ -16,9 +16,9 @@ let library =
  (flags
   (:standard
      -open Core -open IStdlib -open IStd -open OpenSource -open ATDGenerated
-     -open IBase -open IR -open BO -open Costlib -open Concurrency -open Backend
+     -open IBase -open IR -open Absint -open BO -open Costlib -open Concurrency -open Backend
      -open TestDeterminators -open ClangFrontend -open ASTLanguage -open JavaFrontend %s %s))
- (libraries xmlm core IStdlib ATDGenerated IBase IR BO Costlib Concurrency Backend
+ (libraries xmlm core IStdlib ATDGenerated IBase IR Absint BO Costlib Concurrency Backend
      TestDeterminators ClangFrontend ASTLanguage JavaFrontend)
  (preprocess (pps ppx_compare))
 )

infer/src/java/dune.in

@@ -18,8 +18,8 @@ let java =
  (flags
   (:standard
      -open Core -open IStdlib -open IStd -open OpenSource -open ATDGenerated
-     -open IBase -open IR -open Absint))
- (libraries %s core IStdlib ATDGenerated IBase IR Absint)
+     -open IBase -open IR -open Absint -open Biabduction -open Backend))
+ (libraries %s core IStdlib ATDGenerated IBase IR Absint Biabduction Backend)
  (preprocess (pps ppx_compare))
 )|}
     (if java then ":standard \\ JavaFrontendStubs" else "JavaFrontendStubs")