r329:d900fd1e760f
Mon, 20 Oct 2008 12:46:39
[Not Reviewed]
0 comments (0 inline)
0
4
0
| ... | ... |
@@ -59,50 +59,49 @@ |
| 59 | 59 |
return new PredMap(g); |
| 60 | 60 |
} |
| 61 | 61 |
|
| 62 | 62 |
///The type of the map that indicates which nodes are processed. |
| 63 | 63 |
|
| 64 | 64 |
///The type of the map that indicates which nodes are processed. |
| 65 | 65 |
///It must meet the \ref concepts::WriteMap "WriteMap" concept. |
| 66 | 66 |
typedef NullMap<typename Digraph::Node,bool> ProcessedMap; |
| 67 | 67 |
///Instantiates a ProcessedMap. |
| 68 | 68 |
|
| 69 | 69 |
///This function instantiates a ProcessedMap. |
| 70 | 70 |
///\param g is the digraph, to which |
| 71 | 71 |
///we would like to define the ProcessedMap |
| 72 | 72 |
#ifdef DOXYGEN |
| 73 | 73 |
static ProcessedMap *createProcessedMap(const Digraph &g) |
| 74 | 74 |
#else |
| 75 | 75 |
static ProcessedMap *createProcessedMap(const Digraph &) |
| 76 | 76 |
#endif |
| 77 | 77 |
{
|
| 78 | 78 |
return new ProcessedMap(); |
| 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. |
| 89 | 88 |
///\param g is the digraph, to which |
| 90 | 89 |
///we would like to define the ReachedMap. |
| 91 | 90 |
static ReachedMap *createReachedMap(const Digraph &g) |
| 92 | 91 |
{
|
| 93 | 92 |
return new ReachedMap(g); |
| 94 | 93 |
} |
| 95 | 94 |
|
| 96 | 95 |
///The type of the map that stores the distances of the nodes. |
| 97 | 96 |
|
| 98 | 97 |
///The type of the map that stores the distances of the nodes. |
| 99 | 98 |
///It must meet the \ref concepts::WriteMap "WriteMap" concept. |
| 100 | 99 |
typedef typename Digraph::template NodeMap<int> DistMap; |
| 101 | 100 |
///Instantiates a DistMap. |
| 102 | 101 |
|
| 103 | 102 |
///This function instantiates a DistMap. |
| 104 | 103 |
///\param g is the digraph, to which we would like to define the |
| 105 | 104 |
///DistMap. |
| 106 | 105 |
static DistMap *createDistMap(const Digraph &g) |
| 107 | 106 |
{
|
| 108 | 107 |
return new DistMap(g); |
| ... | ... |
@@ -67,55 +67,66 @@ |
| 67 | 67 |
echo $CHANGED_FILES out of $TOTAL_FILES files has been changed. |
| 68 | 68 |
echo $WARNED_FILES out of $TOTAL_FILES files has been warned. |
| 69 | 69 |
} |
| 70 | 70 |
|
| 71 | 71 |
function update_begin() {
|
| 72 | 72 |
((TOTAL_FILES++)) |
| 73 | 73 |
CHANGED=NO |
| 74 | 74 |
WARNED=NO |
| 75 | 75 |
} |
| 76 | 76 |
|
| 77 | 77 |
function update_end() {
|
| 78 | 78 |
if [ $CHANGED == YES ] |
| 79 | 79 |
then |
| 80 | 80 |
((++CHANGED_FILES)) |
| 81 | 81 |
fi |
| 82 | 82 |
if [ $WARNED == YES ] |
| 83 | 83 |
then |
| 84 | 84 |
((++WARNED_FILES)) |
| 85 | 85 |
fi |
| 86 | 86 |
} |
| 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() {
|
| 102 | 113 |
echo Check source files... |
| 103 | 114 |
FAILED_FILES=0 |
| 104 | 115 |
WARNED_FILES=0 |
| 105 | 116 |
TOTAL_FILES=0 |
| 106 | 117 |
} |
| 107 | 118 |
|
| 108 | 119 |
function check_done() {
|
| 109 | 120 |
echo $FAILED_FILES out of $TOTAL_FILES files has been failed. |
| 110 | 121 |
echo $WARNED_FILES out of $TOTAL_FILES files has been warned. |
| 111 | 122 |
|
| 112 | 123 |
if [ $FAILED_FILES -gt 0 ] |
| 113 | 124 |
then |
| 114 | 125 |
return 1 |
| 115 | 126 |
elif [ $WARNED_FILES -gt 0 ] |
| 116 | 127 |
then |
| 117 | 128 |
if [ "$WARNING" == 'INTERACTIVE' ] |
| 118 | 129 |
then |
| 119 | 130 |
echo -n "Assume as normal behaviour? (yes/no) " |
| 120 | 131 |
while read answer |
| 121 | 132 |
do |
0 comments (0 inline)