annotate vera/rules/F001.tcl @ 57:82b832e1875d

vera: import 1.3.0, closes #728
author David Demelier <markand@malikania.fr>
date Tue, 21 Nov 2017 12:19:28 +0100
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
57
82b832e1875d vera: import 1.3.0, closes #728
David Demelier <markand@malikania.fr>
parents:
diff changeset
1 #!/usr/bin/tclsh
82b832e1875d vera: import 1.3.0, closes #728
David Demelier <markand@malikania.fr>
parents:
diff changeset
2 # Source files should not use the '\r' (CR) character
82b832e1875d vera: import 1.3.0, closes #728
David Demelier <markand@malikania.fr>
parents:
diff changeset
3
82b832e1875d vera: import 1.3.0, closes #728
David Demelier <markand@malikania.fr>
parents:
diff changeset
4 foreach fileName [getSourceFileNames] {
82b832e1875d vera: import 1.3.0, closes #728
David Demelier <markand@malikania.fr>
parents:
diff changeset
5 if { $fileName == "-" } {
82b832e1875d vera: import 1.3.0, closes #728
David Demelier <markand@malikania.fr>
parents:
diff changeset
6 # can't check the content from stdin
82b832e1875d vera: import 1.3.0, closes #728
David Demelier <markand@malikania.fr>
parents:
diff changeset
7 continue
82b832e1875d vera: import 1.3.0, closes #728
David Demelier <markand@malikania.fr>
parents:
diff changeset
8 }
82b832e1875d vera: import 1.3.0, closes #728
David Demelier <markand@malikania.fr>
parents:
diff changeset
9 set file [open $fileName "r"]
82b832e1875d vera: import 1.3.0, closes #728
David Demelier <markand@malikania.fr>
parents:
diff changeset
10 fconfigure $file -translation lf
82b832e1875d vera: import 1.3.0, closes #728
David Demelier <markand@malikania.fr>
parents:
diff changeset
11 set line [gets $file]
82b832e1875d vera: import 1.3.0, closes #728
David Demelier <markand@malikania.fr>
parents:
diff changeset
12 set lineCounter 1
82b832e1875d vera: import 1.3.0, closes #728
David Demelier <markand@malikania.fr>
parents:
diff changeset
13 while {![eof $file]} {
82b832e1875d vera: import 1.3.0, closes #728
David Demelier <markand@malikania.fr>
parents:
diff changeset
14 set pos [string first "\r" $line]
82b832e1875d vera: import 1.3.0, closes #728
David Demelier <markand@malikania.fr>
parents:
diff changeset
15 if {$pos != -1 && $pos != [expr [string length $line] - 1]} {
82b832e1875d vera: import 1.3.0, closes #728
David Demelier <markand@malikania.fr>
parents:
diff changeset
16 report $fileName $lineCounter "\\r (CR) detected in isolation at position ${pos}"
82b832e1875d vera: import 1.3.0, closes #728
David Demelier <markand@malikania.fr>
parents:
diff changeset
17 }
82b832e1875d vera: import 1.3.0, closes #728
David Demelier <markand@malikania.fr>
parents:
diff changeset
18 set line [gets $file]
82b832e1875d vera: import 1.3.0, closes #728
David Demelier <markand@malikania.fr>
parents:
diff changeset
19 incr lineCounter
82b832e1875d vera: import 1.3.0, closes #728
David Demelier <markand@malikania.fr>
parents:
diff changeset
20 }
82b832e1875d vera: import 1.3.0, closes #728
David Demelier <markand@malikania.fr>
parents:
diff changeset
21 close $file
82b832e1875d vera: import 1.3.0, closes #728
David Demelier <markand@malikania.fr>
parents:
diff changeset
22 }