lib/scripts/convert.pl
changeset 11273 673783831234
parent 11272 165405d911f1
child 11274 566a70a50956
equal deleted inserted replaced
11272:165405d911f1 11273:673783831234
    58   s/\( /\(/g; s/ \)/\)/g; # remove leading and trailing space inside parentheses
    58   s/\( /\(/g; s/ \)/\)/g; # remove leading and trailing space inside parentheses
    59   s/\[ /\[/g; s/ \]/\]/g; # remove leading and trailing space inside sq brackets
    59   s/\[ /\[/g; s/ \]/\]/g; # remove leading and trailing space inside sq brackets
    60   s/ ?\( ?\)/\(\)/g;      # remove space before and inside empty tuples
    60   s/ ?\( ?\)/\(\)/g;      # remove space before and inside empty tuples
    61   s/\(\)([^ ])/\(\) $1/g; # possibly add space after empty tuples
    61   s/\(\)([^ ])/\(\) $1/g; # possibly add space after empty tuples
    62 
    62 
    63   if(s/^\(EVERY\'\[(.*?)\] *(\d+)\)$/\($1 $2\)/) {
    63   s/EVERY *\[(.*?)\]/$1/;
       
    64   if(s/EVERY\'\[(.*?)\] *(\d+)/$1 $2/) {
    64     $goal = $2;
    65     $goal = $2;
    65     s/,/ $goal,/g;
    66     s/,/ $goal,/g;
    66   }
    67   }
    67   s/Blast_tac 1/blast/g;
    68   s/Blast_tac 1/blast/g;
    68   s/^Blast_tac (\d+)/{$prefer="prefer $1 "; "blast"}/e;
    69   s/^Blast_tac (\d+)/{$prefer="prefer $1 "; "blast"}/e;