Changeset - r343:2f5c0c42a5cd
« 341:d900fd
« 337:0fbbb4
344:3f9f35 »
gravatar
alpar (Alpar Juttner)
alpar@cs.elte.hu
Merge
0 4 0
merge default
1 file changed with 27 insertions and 17 deletions:
lemon/bfs.h
1
2
scripts/unify-sources.sh
26
15
↑ Collapse diff ↑
lemon/bfs.h
Show white space 2 line context
... ... 
@@ -82,4 +82,3 @@
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;

			




        

    

    

    

        

            

                

                    scripts/unify-sources.sh
                

                

                  
                  
                  
                  Show white space
                  2 line context
                

                
                  
                
            

        

        

            

            



	...
	...
	
		
@@ -90,3 +90,6 @@


			




	90
	90
	
		
    then


			




	91
	
	
		
	echo -n " [$3 failed]"


			




	
	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


			




	...
	...
	
		
@@ -96,3 +99,11 @@


			




	96
	99
	
		
function check_warning() {


			




	97
	
	
		
    echo -n " [$2 warning]"


			




	
	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


			




	...
	...
	
		
@@ -214,3 +225,3 @@


			




	214
	225
	
		

			




	215
	
	
		
    "$ACTION"_action "$TMP_FILE" "$1" 'spaces'


			




	
	226
	
		
    "$ACTION"_action "$TMP_FILE" "$1" 'trailing spaces'


			




	216
	227
	
		
}


			




	...
	...
	
		
@@ -227,3 +238,3 @@


			




	227
	238
	
		
function process_file() {


			




	228
	
	
		
    echo -n "    $ACTION " $1...


			




	
	239
	
		
    echo -n "    $ACTION $1..."


			




	229
	240
	
		

			




	...
	...
	
		
@@ -267,3 +278,3 @@


			




	267
	278
	
		
  --all|-a


			




	268
	
	
		
     All files in the repository will be checked.


			




	
	279
	
		
     Check all source files in the repository.


			




	269
	280
	
		
  --modified|-m


			




	...
	...
	
		
@@ -283,5 +294,5 @@


			




	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
	
		
"


			




	...
	...
	
		
@@ -290,3 +301,3 @@


			




	290
	301
	
		
    then


			




	291
	
	
		
	[ -n "$ACTION" ] && echo "Invalid option $1" >&2 && exit 1


			




	
	302
	
		
	[ -n "$ACTION" ] && echo "Conflicting action options" >&2 && exit 1


			




	292
	303
	
		
	ACTION=check


			




	...
	...
	
		
@@ -294,3 +305,3 @@


			




	294
	305
	
		
    then


			




	295
	
	
		
	[ -n "$FILES" ] && echo "Invalid option $1" >&2 && exit 1


			




	
	306
	
		
	[ -n "$FILES" ] && echo "Conflicting target options" >&2 && exit 1


			




	296
	307
	
		
	FILES=all_files


			




	...
	...
	
		
@@ -298,3 +309,3 @@


			




	298
	309
	
		
    then


			




	299
	
	
		
	[ -n "$FILES" ] && echo "Invalid option $1" >&2 && exit 1


			




	
	310
	
		
	[ -n "$FILES" ] && echo "Conflicting target options" >&2 && exit 1


			




	300
	311
	
		
	FILES=changed_files


			




	...
	...
	
		
@@ -302,3 +313,3 @@


			




	302
	313
	
		
    then


			




	303
	
	
		
	[ -n "$FILES" ] && echo "Invalid option $1" >&2 && exit 1


			




	
	314
	
		
	[ -n "$FILES" ] && echo "Conflicting target options" >&2 && exit 1


			




	304
	315
	
		
	FILES=modified_files


			




	...
	...
	
		
@@ -306,3 +317,3 @@


			




	306
	317
	
		
    then


			




	307
	
	
		
	[ -n "$WARNING" ] && echo "Invalid option $1" >&2 && exit 1


			




	
	318
	
		
	[ -n "$WARNING" ] && echo "Conflicting warning options" >&2 && exit 1


			




	308
	319
	
		
	WARNING='INTERACTIVE'


			




	...
	...
	
		
@@ -310,5 +321,5 @@


			




	310
	321
	
		
    then


			




	311
	
	
		
	[ -n "$WARNING" ] && echo "Invalid option $1" >&2 && exit 1


			




	
	322
	
		
	[ -n "$WARNING" ] && echo "Conflicting warning options" >&2 && exit 1


			




	312
	323
	
		
	WARNING='WERROR'


			




	313
	
	
		
    elif [ $(echo $1 | cut -c 1) == '-' ]


			




	
	324
	
		
    elif [ $(echo x$1 | cut -c 2) == '-' ]


			




	314
	325
	
		
    then


			




        

    






    
    



    


    

     
    
0 comments (0 inline)