Mercurial > cpdt > repo

comparison tools/bsd_license.ml @ 571:3fc43e261f67

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Spacing and indentation fixes in tools, from Chen Yiwu
author Adam Chlipala <adam@chlipala.net>
date Sun, 21 Apr 2019 16:09:55 -0400
parents 306539f29eea
children
comparison
equal deleted inserted replaced
570:c3d4217e1da7 571:3fc43e261f67
1 let read_line () = 1 let read_line () =
2 try 2 try
3 Some (read_line ()) 3 Some (read_line ())
4 with End_of_file -> None 4 with End_of_file -> None
5 5
6 let print_bsd_licence () = begin 6 let print_bsd_licence () = begin
29 print_endline " * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN"; 29 print_endline " * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN";
30 print_endline " * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)"; 30 print_endline " * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)";
31 print_endline " * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE"; 31 print_endline " * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE";
32 print_endline " * POSSIBILITY OF SUCH DAMAGE." 32 print_endline " * POSSIBILITY OF SUCH DAMAGE."
33 end 33 end
34 34
35 let rec initial () = 35 let rec initial () =
36 match read_line () with 36 match read_line () with
37 | None -> () 37 | None -> ()
38 | Some line -> 38 | Some line ->
39 let trimmed = String.trim line in 39 let trimmed = String.trim line in
40 if String.length trimmed >= 12 && String.sub trimmed 0 12 = "(* Copyright" then begin 40 if String.length trimmed >= 12 && String.sub trimmed 0 12 = "(* Copyright" then begin
41 print_endline line; 41 print_endline line;
42 copyright_block () 42 copyright_block ()
43 end else 43 end else
44 print_endline line; 44 print_endline line;
45 initial () 45 initial ()
46 46
47 and copyright_block () = 47 and copyright_block () =
48 match read_line () with 48 match read_line () with
49 | None -> () 49 | None -> ()
50 | Some line -> 50 | Some line ->
51 let trimmed = String.trim line in 51 let trimmed = String.trim line in
52 if String.length trimmed >= 2 && String.sub trimmed 0 2 = "*)" then begin 52 if String.length trimmed >= 2 && String.sub trimmed 0 2 = "*)" then begin
53 print_endline line; 53 print_endline line;
54 initial () 54 initial ()
55 end else if String.length trimmed >= 31 && String.sub trimmed 0 31 = "* This work is licensed under a" then begin 55 end else if String.length trimmed >= 31 && String.sub trimmed 0 31 = "* This work is licensed under a" then begin
56 print_endline line; 56 print_endline line;
57 print_bsd_licence (); 57 print_bsd_licence ();
58 drop_to_end_comment () 58 drop_to_end_comment ()
59 end else 59 end else
60 print_endline line; 60 print_endline line;
61 copyright_block () 61 copyright_block ()
62 62
63 and drop_to_end_comment () = 63 and drop_to_end_comment () =
64 match read_line () with 64 match read_line () with
65 | None -> () 65 | None -> ()
66 | Some line -> 66 | Some line ->
67 let trimmed = String.trim line in 67 let trimmed = String.trim line in
68 if String.length trimmed >= 2 && String.sub trimmed 0 2 = "*)" then begin 68 if String.length trimmed >= 2 && String.sub trimmed 0 2 = "*)" then begin
69 print_endline line; 69 print_endline line;
70 initial () 70 initial ()
71 end else 71 end else
72 drop_to_end_comment () 72 drop_to_end_comment ()
73 73
74 let () = initial () 74 let () = initial ()