forked from ucsd-progsys/liquidhaskell
-
Notifications
You must be signed in to change notification settings - Fork 0
/
haskell_count
executable file
·122 lines (107 loc) · 3.24 KB
/
haskell_count
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
#!/usr/bin/perl -w
# haskell_count - count physical lines of code
# Strips out {- .. -} and -- comments and counts the rest.
# Pragmas, {-#...}, are counted as SLOC.
# BUG: Doesn't handle strings with embedded block comment markers gracefully.
# In practice, that shouldn't be a problem.
# Usage: haskell_count [-f file] [list_of_files]
# file: file with a list of files to count (if "-", read list from stdin)
# list_of_files: list of files to count
# -f file or list_of_files can be used, or both
# This is part of SLOCCount, a toolsuite that counts
# source lines of code (SLOC).
# Copyright (C) 2001-2004 David A. Wheeler.
#
# This program is free software; you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation; either version 2 of the License, or
# (at your option) any later version.
#
# This program 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
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with this program; if not, write to the Free Software
# Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
#
# To contact David A. Wheeler, see his website at:
# http://www.dwheeler.com.
#
$total_sloc = 0;
# Do we have "-f" (read list of files from second argument)?
if (($#ARGV >= 1) && ($ARGV[0] eq "-f")) {
# Yes, we have -f
if ($ARGV[1] eq "-") {
# The list of files is in STDIN
while (<STDIN>) {
chomp ($_);
&count_file ($_);
}
} else {
# The list of files is in the file $ARGV[1]
open (FILEWITHLIST, $ARGV[1]) || die "Error: Could not open $ARGV[1]\n";
while (<FILEWITHLIST>) {
chomp ($_);
&count_file ($_);
}
close FILEWITHLIST;
}
shift @ARGV; shift @ARGV;
}
# Process all (remaining) arguments as file names
while ($file = shift @ARGV) {
&count_file ($file);
}
print "Total:\n";
print "$total_sloc\n";
sub determine_lit_type {
my ($file) = @_;
open (FILE, $file);
while (<FILE>) {
if (m/^\\begin{code}/) { close FILE; return 2; }
if (m/^>\s/) { close FILE; return 1; }
}
return 0;
}
sub count_file {
my ($file) = @_;
my $sloc = 0;
my $incomment = 0;
my ($literate, $inlitblock) = (0,0);
$literate = 1 if $file =~ /\.lhs$/;
if($literate) { $literate = determine_lit_type($file) }
open (FILE, $file);
while (<FILE>) {
if ($literate == 1) {
if (!s/^>//) { s/.*//; }
} elsif ($literate == 2) {
if ($inlitblock) {
if (m/^\\end{code}/) { s/.*//; $inlitblock = 0; }
} elsif (!$inlitblock) {
if (m/^\\begin{code}/) { s/.*//; $inlitblock = 1; }
else { s/.*//; }
}
}
if ($incomment) {
if (m/\-\}/) { s/^.*?\-\}//; $incomment = 0;}
else { s/.*//; }
}
if (!$incomment) {
s!{-[^#].*?-}!!g;
s/--.*//;
if (m/{-/ && (!m/{-#/)) {
s/{-.*//;
$incomment = 1;
}
}
if (m/\S/) {$sloc++;}
}
print "$sloc $file\n";
if ($incomment) {print "ERROR: ended in comment in $ARGV\n";}
$total_sloc += $sloc;
$sloc = 0;
$incomment = 0;
close (FILE);
}