code: public final void setDatabaseOutputDir(String databaseOutputDir) {
          if (DEBUG) {
              System.out.println("Setting database output directory: " + databaseOutputDir);
          }
          this.databaseOutputDir = databaseOutputDir;
      }
docs: Set the interprocedural database output directory.
  
  @param databaseOutputDir
  the interprocedural database output directory