# HG changeset patch
# User Peter Kovacs <kpeter@inf.elte.hu>
# Date 1225226164 -3600
# Node ID 74ed2aeefc5d000914d8996d8d88f487439e7288
# Parent 956a29f3088780b83149718f6ae7756cb187d5fe
More improvement in the migration script
- Rename (U)GRAPH_TYPEDEFS.
- Rename "directed graph" to "digraph".
diff --git a/tools/lemon-0.x-to-1.x.sh b/tools/lemon-0.x-to-1.x.sh
|
a
|
b
|
|
| 12 | 12 | do |
| 13 | 13 | echo Update $i... |
| 14 | 14 | TMP=`mktemp` |
| 15 | | sed -e "s/undirected graph/_gr_aph_label_/g"\ |
| 16 | | -e "s/undirected edge/_ed_ge_label_/g"\ |
| | 15 | sed -e "s/\<undirected graph\>/_gr_aph_label_/g"\ |
| | 16 | -e "s/\<undirected graphs\>/_gr_aph_label_s/g"\ |
| | 17 | -e "s/\<undirected edge\>/_ed_ge_label_/g"\ |
| | 18 | -e "s/\<undirected edges\>/_ed_ge_label_s/g"\ |
| | 19 | -e "s/\<directed graph\>/_digr_aph_label_/g"\ |
| | 20 | -e "s/\<directed graphs\>/_digr_aph_label_s/g"\ |
| | 21 | -e "s/\<directed edge\>/_ar_c_label_/g"\ |
| | 22 | -e "s/\<directed edges\>/_ar_c_label_s/g"\ |
| 17 | 23 | -e "s/UGraph/_Gr_aph_label_/g"\ |
| 18 | 24 | -e "s/u[Gg]raph/_gr_aph_label_/g"\ |
| 19 | 25 | -e "s/\<Graph\>/_Digr_aph_label_/g"\ |
| … |
… |
|
| 44 | 50 | -e "s/B-[Nn]ode/_Blu_e_label_/g"\ |
| 45 | 51 | -e "s/a[Nn]ode/_re_d_label_/g"\ |
| 46 | 52 | -e "s/b[Nn]ode/_blu_e_label_/g"\ |
| | 53 | -e "s/\<UGRAPH_TYPEDEFS\>/_GR_APH_TY_PEDE_FS_label_/g"\ |
| | 54 | -e "s/\<GRAPH_TYPEDEFS\>/_DIGR_APH_TY_PEDE_FS_label_/g"\ |
| 47 | 55 | -e "s/_Digr_aph_label_/Digraph/g"\ |
| 48 | 56 | -e "s/_digr_aph_label_/digraph/g"\ |
| 49 | 57 | -e "s/_Gr_aph_label_/Graph/g"\ |
| … |
… |
|
| 57 | 65 | -e "s/_Blu_e_label_/Blue/g"\ |
| 58 | 66 | -e "s/_re_d_label_/red/g"\ |
| 59 | 67 | -e "s/_blu_e_label_/blue/g"\ |
| | 68 | -e "s/_GR_APH_TY_PEDE_FS_label_/GRAPH_TYPEDEFS/g"\ |
| | 69 | -e "s/_DIGR_APH_TY_PEDE_FS_label_/DIGRAPH_TYPEDEFS/g"\ |
| 60 | 70 | -e "s/DigraphToEps/GraphToEps/g"\ |
| 61 | 71 | -e "s/digraphToEps/graphToEps/g"\ |
| 62 | 72 | -e "s/\<DefPredMap\>/SetPredMap/g"\ |