[Src] refactoring

Author: sujin0529

src/ast.ml

@@ -183,9 +183,7 @@ module AST = struct
 
   let is_file f =
     let fname = (get_func f).method_name in
-    if Str.string_match (Str.regexp "java\\.io\\.File\\.<init>") fname 0 then
-      true
-    else false
+    if Str.string_match Regexp.java_file fname 0 then true else false
 
   (* ************************************** *
      Checking for Synthesis Rules
@@ -532,12 +530,11 @@ module AST = struct
    * ************************************** *)
 
   let get_method_name m =
-    Regexp.first_rm (Str.regexp "(.*)") m
+    Regexp.first_rm Regexp.method_params m
     |> Str.split Regexp.dot |> List.rev |> List.hd
 
   let get_short_class_name c =
-    Regexp.first_rm (Str.regexp "\\.<init>(.*)") c
-    |> Str.split Regexp.dot |> List.rev |> List.hd
+    Regexp.first_rm Regexp.init c |> Str.split Regexp.dot |> List.rev |> List.hd
 
   let array_code dim content =
     let rec code d = if d = 0 then "" else "[" ^ content ^ "]" ^ code (d - 1) in
@@ -578,7 +575,7 @@ module AST = struct
         if is_array_init func then
           Utils.rm_object_array_import f.typ
           |> Str.split Regexp.dot |> List.rev |> List.hd
-          |> Regexp.first_rm (Str.regexp "Array[0-9]*")
+          |> Regexp.first_rm Regexp.modeling_array
           |> Utils.get_array_class_name |> String.cat "new "
         else if is_array_set func then ""
         else if Utils.is_init_method f.method_name then
@@ -661,9 +658,9 @@ module AST = struct
     | C c -> "\'" ^ String.make 1 c ^ "\'"
     | S s ->
         let replace s =
-          Str.global_replace (Str.regexp "\\") "\\\\\\\\" s
-          |> Str.global_replace (Str.regexp "\"") "\\\""
-          |> Str.global_replace (Str.regexp "\'") "\\\'"
+          Str.global_replace Regexp.backslash "\\\\\\\\" s
+          |> Str.global_replace Regexp.double_quote "\\\""
+          |> Str.global_replace Regexp.single_quote "\\\'"
         in
         "\"" ^ replace s ^ "\""
 

src/classInfo.ml

@@ -10,17 +10,17 @@ let is_file f =
   with Unix.Unix_error (Unix.ENOENT, _, _) -> false
 
 let is_test_class name =
-  Str.string_match (Str.regexp "Test.*") name 0
-  || Str.string_match (Str.regexp ".*Test$") name 0
+  Str.string_match Regexp.test_start_class name 0
+  || Str.string_match Regexp.test_end_class name 0
 
 let is_lambda_class name =
-  match Str.search_forward (Str.regexp "\\$Lambda\\$[_0-9]+") name 0 with
+  match Str.search_forward Regexp.lambda_num name 0 with
   | exception Not_found -> false
   | _ -> true
 
 let is_anonymous name =
   let check_int name =
-    match Str.search_forward (Str.regexp "\\$[0-9]+") name 0 with
+    match Str.search_forward Regexp.anony_num name 0 with
     | exception Not_found -> false
     | _ -> true
   in
@@ -140,7 +140,7 @@ let string_of_args args =
   let rec make_arg_code args =
     match args with hd :: tl -> "," ^ hd ^ make_arg_code tl | _ -> ""
   in
-  "(" ^ Regexp.first_rm (Str.regexp "^,") (make_arg_code args) ^ ")"
+  "(" ^ Regexp.first_rm Regexp.start_rest (make_arg_code args) ^ ")"
 
 let string_of_jmethod_or_interface joi =
   match joi with

src/commandMaker.ml

@@ -69,7 +69,7 @@ let make_jar_with_dependencies p =
 let execute_build_cmd p =
   let build_cmd_file = Filename.(Filename.(p / input_path) / "build-command") in
   let ic = open_in build_cmd_file in
-  let cmds = read_all_string ic |> Str.split (Str.regexp "\n") in
+  let cmds = read_all_string ic |> Str.split Regexp.new_line in
   close_in ic;
   let rec execute cmds =
     match cmds with

src/constant.ml

@@ -53,7 +53,7 @@ let default_primitive =
     PrimitiveInfo.TypeMap.empty typ_list
 
 let expand_string_value m_name p_info =
-  let method_name = Regexp.first_rm ("(.*)" |> Str.regexp) m_name in
+  let method_name = Regexp.first_rm Regexp.method_params m_name in
   let default_map, default =
     match PrimitiveInfo.TypeMap.find_opt String p_info with
     | Some map -> (

src/constantInfo.ml

@@ -9,17 +9,17 @@ let is_file f =
   with Unix.Unix_error (Unix.ENOENT, _, _) -> false
 
 let is_test_class name =
-  Str.string_match (Str.regexp "Test.*") name 0
-  || Str.string_match (Str.regexp ".*Test$") name 0
+  Str.string_match Regexp.test_start_class name 0
+  || Str.string_match Regexp.test_end_class name 0
 
 let is_lambda_class name =
-  match Str.search_forward (Str.regexp "\\$Lambda\\$[_0-9]+") name 0 with
+  match Str.search_forward Regexp.lambda_num name 0 with
   | exception Not_found -> false
   | _ -> true
 
 let is_anonymous name =
   let check_int name =
-    match Str.search_forward (Str.regexp "\\$[0-9]+") name 0 with
+    match Str.search_forward Regexp.anony_num name 0 with
     | exception Not_found -> false
     | _ -> true
   in

src/dug.ml

@@ -211,9 +211,7 @@ module DUG = struct
 
   let is_file f =
     let fname = (get_func f).method_name in
-    if Str.string_match (Str.regexp "java\\.io\\.File\\.<init>") fname 0 then
-      true
-    else false
+    Str.string_match Regexp.java_file fname 0
 
   (* ************************************** *
      Checking for Synthesis Rules
@@ -784,12 +782,11 @@ module DUG = struct
    * ************************************** *)
 
   let get_method_name m =
-    Regexp.first_rm (Str.regexp "(.*)") m
+    Regexp.first_rm Regexp.method_params m
     |> Str.split Regexp.dot |> List.rev |> List.hd
 
   let get_short_class_name c =
-    Regexp.first_rm (Str.regexp "\\.<init>(.*)") c
-    |> Str.split Regexp.dot |> List.rev |> List.hd
+    Regexp.first_rm Regexp.init c |> Str.split Regexp.dot |> List.rev |> List.hd
 
   let array_code dim content =
     let rec code d = if d = 0 then "" else "[" ^ content ^ "]" ^ code (d - 1) in
@@ -830,7 +827,7 @@ module DUG = struct
         if is_array_init func then
           Utils.rm_object_array_import f.typ
           |> Str.split Regexp.dot |> List.rev |> List.hd
-          |> Regexp.first_rm (Str.regexp "Array[0-9]*")
+          |> Regexp.first_rm Regexp.modeling_array
           |> Utils.get_array_class_name |> String.cat "new "
         else if is_array_set func then ""
         else if Utils.is_init_method f.method_name then
@@ -913,9 +910,9 @@ module DUG = struct
     | C c -> "\'" ^ String.make 1 c ^ "\'"
     | S s ->
         let replace s =
-          Str.global_replace (Str.regexp "\\") "\\\\\\\\" s
-          |> Str.global_replace (Str.regexp "\"") "\\\""
-          |> Str.global_replace (Str.regexp "\'") "\\\'"
+          Str.global_replace Regexp.backslash "\\\\\\\\" s
+          |> Str.global_replace Regexp.double_quote "\\\""
+          |> Str.global_replace Regexp.single_quote "\\\'"
         in
         "\"" ^ replace s ^ "\""
 

src/generator.ml

@@ -398,7 +398,7 @@ let get_predef_value_list typ p_info =
 let get_extra_value_list typ import p_info =
   match PrimitiveInfo.TypeMap.find_opt typ p_info with
   | Some map -> (
-      let file = Regexp.first_rm (Str.regexp "\\$.*$") import in
+      let file = Regexp.first_rm Regexp.dollar_to_all import in
       match
         ( PrimitiveInfo.ClassMap.find_opt import map,
           PrimitiveInfo.ClassMap.find_opt file map )
@@ -1219,7 +1219,8 @@ let is_receiver id = if id = "con_recv" || id = "con_outer" then true else false
 
 let is_nested_class name = String.contains name '$'
 
-let is_test_file f_name = Str.string_match (Str.regexp ".*/test/.*") f_name 0
+let is_test_file f_name =
+  Utils.exist_regexp (Regexp.test_dir Filename.dir_sep) f_name
 
 let is_public_class class_name c_info =
   let is_public_class_type typ =
@@ -1268,8 +1269,8 @@ let is_static_class name (c_info, _) =
     | _ -> false
   in
   let name =
-    Regexp.global_rm (Str.regexp "\\.<.*>(.*)$") name
-    |> Regexp.global_rm (Str.regexp "(.*)$")
+    Regexp.global_rm Regexp.init_end name
+    |> Regexp.global_rm Regexp.method_params_end
   in
   match ClassInfo.M.find_opt name c_info with
   | Some typ -> is_static_class_type typ
@@ -1706,7 +1707,7 @@ let append l1 l2 =
 
 let add_import import set =
   (if is_nested_class import then
-     ImportSet.add (Str.replace_first (Str.regexp "\\$.*$") "" import) set
+     ImportSet.add (Str.replace_first Regexp.dollar_to_all "" import) set
    else set)
   |> ImportSet.add import