Source file java_lib_base.ml

(*
   Copyright 2012-2025 Codinuum Software Lab <https://codinuum.com>

   Licensed under the Apache License, Version 2.0 (the "License");
   you may not use this file except in compliance with the License.
   You may obtain a copy of the License at

       http://www.apache.org/licenses/LICENSE-2.0

   Unless required by applicable law or agreed to in writing, software
   distributed under the License is distributed on an "AS IS" BASIS,
   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
   See the License for the specific language governing permissions and
   limitations under the License.
*)
(* java_lib_base.ml *)

module Xprint = Diffast_misc.Xprint
module Sourcecode = Diffast_core.Sourcecode
module Lang_base = Diffast_core.Lang_base
module Lib = Java_parsing.Lib
module Common = Java_parsing.Common
module Label = Java_label
module Fact  = Java_fact
module Tree  = Sourcecode.Tree (Label)

let sprintf = Printf.sprintf

class tree_builder options =
  let _parser = new Lib.parser_c in
  object(* (self)*)
    inherit Lang_base.tree_builder

    method from_xnode = Java_tree.of_xnode options

    method build_tree file =
      Xprint.verbose options#verbose_flag "parsing \"%s\"...%!" file#path;
      try
        let ast = _parser#parse_file file in
        let tree = Java_tree.of_ast options ast in
        tree#set_source_info file;
        tree#set_parser_name Sjava.parser_name;
        tree
      with
        Common.Parse_error(head, msg) ->
          raise (Lang_base.Parse_error
                   (sprintf "[Java]%s" head, sprintf "%s: %s" msg file#path))

    initializer
      _parser#_set_verbose_flag options#verbose_flag;
      _parser#set_search_path_list options#search_path_list;
      _parser#_set_keep_going_flag options#keep_going_flag;
      _parser#set_java_lang_spec options#java_lang_spec;
      _parser#_set_rely_on_naming_convention_flag options#rely_on_naming_convention_flag;
      _parser#_set_partial_name_resolution_flag options#partial_name_resolution_flag;
      _parser#_set_partial_typename_resolution_flag options#partial_typename_resolution_flag;
      _parser#_set_no_implicit_name_resolution_flag options#no_implicit_name_resolution_flag

  end