r331:2f5c0c42a5cd
Wed, 22 Oct 2008 15:37:43
[Not Reviewed]
0 comments (0 inline)
0
4
0
1
2
| ... | ... |
@@ -79,10 +79,9 @@ |
| 79 | 79 |
} |
| 80 | 80 |
|
| 81 | 81 |
///The type of the map that indicates which nodes are reached. |
| 82 | 82 |
|
| 83 |
///The type of the map that indicates which nodes are reached. |
|
| 84 |
///It must meet the \ref concepts::ReadWriteMap "ReadWriteMap" concept. |
|
| 83 |
///The type of the map that indicates which nodes are reached.///It must meet the \ref concepts::ReadWriteMap "ReadWriteMap" concept. |
|
| 85 | 84 |
typedef typename Digraph::template NodeMap<bool> ReachedMap; |
| 86 | 85 |
///Instantiates a ReachedMap. |
| 87 | 86 |
|
| 88 | 87 |
///This function instantiates a ReachedMap. |
| ... | ... |
@@ -87,15 +87,26 @@ |
| 87 | 87 |
|
| 88 | 88 |
function check_action() {
|
| 89 | 89 |
if ! diff -q $1 $2 >/dev/null |
| 90 | 90 |
then |
| 91 |
echo |
|
| 91 |
echo |
|
| 92 |
echo -n " $3 failed at line(s): " |
|
| 93 |
echo -n $(diff $1 $2 | grep '^[0-9]' | sed "s/^\(.*\)c.*$/ \1/g" | |
|
| 94 |
sed "s/,/-/g" | paste -s -d',') |
|
| 92 | 95 |
FAILED=YES |
| 93 | 96 |
fi |
| 94 | 97 |
} |
| 95 | 98 |
|
| 96 | 99 |
function check_warning() {
|
| 97 |
echo |
|
| 100 |
echo |
|
| 101 |
if [ "$2" == 'long lines' ] |
|
| 102 |
then |
|
| 103 |
echo -n " $2 warning at line(s): " |
|
| 104 |
echo -n $(grep -n -E '.{81,}' $1 | sed "s/^\([0-9]*\)/ \1\t/g" |
|
|
| 105 |
cut -f 1 | paste -s -d',') |
|
| 106 |
else |
|
| 107 |
echo -n " $2 warning" |
|
| 108 |
fi |
|
| 98 | 109 |
WARNED=YES |
| 99 | 110 |
} |
| 100 | 111 |
|
| 101 | 112 |
function check_init() {
|
| ... | ... |
@@ -211,9 +222,9 @@ |
| 211 | 222 |
function spaces_check() {
|
| 212 | 223 |
TMP_FILE=`mktemp` |
| 213 | 224 |
cat $1 | sed -e 's/ \+$//g' >$TMP_FILE |
| 214 | 225 |
|
| 215 |
"$ACTION"_action "$TMP_FILE" "$1" 'spaces' |
|
| 226 |
"$ACTION"_action "$TMP_FILE" "$1" 'trailing spaces' |
|
| 216 | 227 |
} |
| 217 | 228 |
|
| 218 | 229 |
function long_lines_check() {
|
| 219 | 230 |
if cat $1 | grep -q -E '.{81,}'
|
| ... | ... |
@@ -224,9 +235,9 @@ |
| 224 | 235 |
|
| 225 | 236 |
# process the file |
| 226 | 237 |
|
| 227 | 238 |
function process_file() {
|
| 228 |
echo -n " $ACTION |
|
| 239 |
echo -n " $ACTION $1..." |
|
| 229 | 240 |
|
| 230 | 241 |
CHECKING="header tabs spaces long_lines" |
| 231 | 242 |
|
| 232 | 243 |
"$ACTION"_begin $1 |
| ... | ... |
@@ -264,9 +275,9 @@ |
| 264 | 275 |
errors. |
| 265 | 276 |
--werror|-w |
| 266 | 277 |
Make all warnings into errors. |
| 267 | 278 |
--all|-a |
| 268 |
|
|
| 279 |
Check all source files in the repository. |
|
| 269 | 280 |
--modified|-m |
| 270 | 281 |
Check only the modified (and new) source files. This option is |
| 271 | 282 |
useful to check the modification before making a commit. |
| 272 | 283 |
--changed|-c |
| ... | ... |
@@ -280,38 +291,38 @@ |
| 280 | 291 |
|
| 281 | 292 |
--help|-h |
| 282 | 293 |
Print this help message. |
| 283 | 294 |
files |
| 284 |
The files to check/unify. If no file names are given, the |
|
| 285 |
modified source will be checked/unified |
|
| 286 |
|
|
| 295 |
The files to check/unify. If no file names are given, the modified |
|
| 296 |
source files will be checked/unified (just like using the |
|
| 297 |
--modified|-m option). |
|
| 287 | 298 |
" |
| 288 | 299 |
exit 0 |
| 289 | 300 |
elif [ "$1" == '--dry-run' ] || [ "$1" == '-n' ] |
| 290 | 301 |
then |
| 291 |
[ -n "$ACTION" ] && echo " |
|
| 302 |
[ -n "$ACTION" ] && echo "Conflicting action options" >&2 && exit 1 |
|
| 292 | 303 |
ACTION=check |
| 293 | 304 |
elif [ "$1" == "--all" ] || [ "$1" == '-a' ] |
| 294 | 305 |
then |
| 295 |
[ -n "$FILES" ] && echo " |
|
| 306 |
[ -n "$FILES" ] && echo "Conflicting target options" >&2 && exit 1 |
|
| 296 | 307 |
FILES=all_files |
| 297 | 308 |
elif [ "$1" == "--changed" ] || [ "$1" == '-c' ] |
| 298 | 309 |
then |
| 299 |
[ -n "$FILES" ] && echo " |
|
| 310 |
[ -n "$FILES" ] && echo "Conflicting target options" >&2 && exit 1 |
|
| 300 | 311 |
FILES=changed_files |
| 301 | 312 |
elif [ "$1" == "--modified" ] || [ "$1" == '-m' ] |
| 302 | 313 |
then |
| 303 |
[ -n "$FILES" ] && echo " |
|
| 314 |
[ -n "$FILES" ] && echo "Conflicting target options" >&2 && exit 1 |
|
| 304 | 315 |
FILES=modified_files |
| 305 | 316 |
elif [ "$1" == "--interactive" ] || [ "$1" == "-i" ] |
| 306 | 317 |
then |
| 307 |
[ -n "$WARNING" ] && echo " |
|
| 318 |
[ -n "$WARNING" ] && echo "Conflicting warning options" >&2 && exit 1 |
|
| 308 | 319 |
WARNING='INTERACTIVE' |
| 309 | 320 |
elif [ "$1" == "--werror" ] || [ "$1" == "-w" ] |
| 310 | 321 |
then |
| 311 |
[ -n "$WARNING" ] && echo " |
|
| 322 |
[ -n "$WARNING" ] && echo "Conflicting warning options" >&2 && exit 1 |
|
| 312 | 323 |
WARNING='WERROR' |
| 313 |
elif [ $(echo $1 | cut -c |
|
| 324 |
elif [ $(echo x$1 | cut -c 2) == '-' ] |
|
| 314 | 325 |
then |
| 315 | 326 |
echo "Invalid option $1" >&2 && exit 1 |
| 316 | 327 |
else |
| 317 | 328 |
[ -n "$FILES" ] && echo "Invalid option $1" >&2 && exit 1 |
0 comments (0 inline)