Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Tree: 7eeea769d5
Fetching contributors…

Cannot retrieve contributors at this time

51 lines (40 sloc) 1.827 kB
(* Yoann Padioleau
*
* Copyright (C) 2012 Facebook
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public License
* version 2.1 as published by the Free Software Foundation, with the
* special exception on linking described in file license.txt.
*
* This library is distributed in the hope that it will be useful, but
* WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the file
* license.txt for more details.
*)
open Common
open Ast_opa
module Ast = Ast_opa
module Flag = Flag_parsing_opa
(* module V = Visitor_opa *)
(*****************************************************************************)
(* Wrappers *)
(*****************************************************************************)
(*****************************************************************************)
(* Filemames *)
(*****************************************************************************)
let find_opa_files_of_dir_or_files xs =
Common.files_of_dir_or_files_no_vcs_nofilter xs +> List.filter (fun filename->
match File_type.file_type_of_file filename with
| File_type.PL (File_type.Opa) -> true
| _ -> false
) +> Common.sort
(*****************************************************************************)
(* Extract infos *)
(*****************************************************************************)
(*****************************************************************************)
(* Max min, range *)
(*****************************************************************************)
(*****************************************************************************)
(* AST helpers *)
(*****************************************************************************)
Jump to Line
Something went wrong with that request. Please try again.