[linters] Remove leftover code related to paths

Reviewed By: martinoluca

Differential Revision: D5301381

fbshipit-source-id: 18329a9

infer/src/clang/ALVar.ml

@@ -16,7 +16,6 @@ type keyword =
   | Suggestion
   | Severity
   | Mode
-  | Path
 
 type formula_id = Formula_id of string[@@deriving compare]
 
@@ -49,7 +48,6 @@ let keyword_to_string k =
   | Suggestion -> "suggestion"
   | Severity -> "severity"
   | Mode -> "mode"
-  | Path -> "path"
 
 let is_report_when_keyword k =
   match k with
@@ -76,11 +74,6 @@ let is_mode_keyword k =
   | Mode -> true
   | _ -> false
 
-let is_path_keyword k =
-  match k with
-  | Path -> true
-  | _ -> false
-
 (* true if and only if a substring of container matches the regular
    expression defined by contained
 *)

infer/src/clang/ALVar.mli

@@ -14,7 +14,6 @@ type keyword =
   | Suggestion
   | Severity
   | Mode
-  | Path
 
 type formula_id = Formula_id of string
 
@@ -44,8 +43,6 @@ val is_severity_keyword : keyword -> bool
 
 val is_mode_keyword : keyword -> bool
 
-val is_path_keyword : keyword -> bool
-
 val str_match_regex : string -> string -> bool
 
 val compare_str_with_alexp : string -> alexp -> bool

infer/src/clang/cFrontend_errors.ml

@@ -157,8 +157,6 @@ let string_to_issue_mode m =
       L.internal_error "@\n[ERROR] Mode %s does not exist. Please specify ON/OFF@\n" s;
       assert false
 
-let string_to_path path = Some path
-
 (** Convert a parsed checker in list of linters *)
 let create_parsed_linters linters_def_file checkers : linter list =
   let open CIssue in