Changeset 695c9d in git for factory


Ignore:
Timestamp:
Oct 28, 1997, 6:18:36 PM (26 years ago)
Author:
Jens Schmidt <schmidt@…>
Branches:
(u'spielwiese', '82fc009ea2b0098c1a4896c841bb70860976bdfc')
Children:
75dc1202ebcdecef5dfaf9f2c13f88750d50d499
Parents:
74221cb0bcadd6d2e3c3b00c0707cd44d80057e3
Message:
	* runfex (collection): (almost) reads `collectionName'

	* runfex: case labels fixed

	* runfex: table format slightly changed


git-svn-id: file:///usr/local/Singular/svn/trunk@857 2c84dea3-7e68-4137-9b89-c4e89433aadc
File:
1 edited

Legend:

Unmodified
Added
Removed
  • factory/fex/runfex

    r74221c r695c9d  
    11#! /mnt/amd/users/urmel/insider/schmidt/bin/bash
    2 # $Id: runfex,v 1.1 1997-10-10 13:07:25 schmidt Exp $
     2# $Id: runfex,v 1.2 1997-10-28 17:18:36 schmidt Exp $
    33
    44#{{{ docu
     
    8181#
    8282
    83 #{{{ warn()
     83#{{{ warn ()
    8484#{{{ docu
    8585#
     
    9696#}}}
    9797
    98 #{{{ pc()
     98#{{{ pc ()
    9999#{{{ docu
    100100#
     
    113113#}}}
    114114
    115 #{{{ pct()
     115#{{{ pct ()
    116116#{{{ docu
    117117#
     
    130130#}}}
    131131
    132 #{{{ runAlgorithm()
     132#{{{ runAlgorithm ()
    133133#{{{ docu
    134134#
     
    168168#}}}
    169169
    170 #{{{ printData()
     170#{{{ printData ()
    171171#{{{ docu
    172172#
     
    201201    blockHeight=blockHeight+${#options}
    202202    case "$options" in
    203         *r*) blockHeight=blockHeight+${#algResultTags[@]}-1 ;;
     203        (*r*) blockHeight=blockHeight+${#algResultTags[@]}-1 ;;
    204204    esac
    205205    case "$options" in
    206         *d*) blockHeight=blockHeight+${#algDataTags[@]}-1 ;;
     206        (*d*) blockHeight=blockHeight+${#algDataTags[@]}-1 ;;
    207207    esac
    208208
     
    211211    if [ -n "$options" ]; then
    212212        case "$options" in
    213             *p*) echo "<tr align=left valign=top>$( pc "$3" "rowspan=$blockHeight" )<!bol>$( pc Char )$( pct "$algChar" "width=$colWidth" )<!eol></tr>"
     213            (*p*) echo "<tr align=left valign=top>$( pc "$3" "rowspan=$blockHeight" )<!bol>$( pc Char )$( pct "$algChar" "width=$colWidth" )<!eol></tr>"
    214214                 options="${options//p/}" ;;
    215             *s*) echo "<tr align=left valign=top>$( pc "$3" "rowspan=$blockHeight" )<!bol>$( pc Switches )$( pct "$algSwitch" "width=$colWidth" )<!eol></tr>"
     215            (*s*) echo "<tr align=left valign=top>$( pc "$3" "rowspan=$blockHeight" )<!bol>$( pc Switches )$( pct "$algSwitch" "width=$colWidth" )<!eol></tr>"
    216216                 options="${options//s/}" ;;
    217             *v*) echo "<tr align=left valign=top>$( pc "$3" "rowspan=$blockHeight" )<!bol>$( pc Variables )$( pct "$algVars" "width=$colWidth" )<!eol></tr>"
     217            (*v*) echo "<tr align=left valign=top>$( pc "$3" "rowspan=$blockHeight" )<!bol>$( pc Variables )$( pct "$algVars" "width=$colWidth" )<!eol></tr>"
    218218                 options="${options//v/}" ;;
    219             *n*) echo "<tr align=left valign=top>$( pc "$3" "rowspan=$blockHeight" )<!bol>$( pc Circles )$( pct "$algCircle" "width=$colWidth" )<!eol></tr>"
     219            (*n*) echo "<tr align=left valign=top>$( pc "$3" "rowspan=$blockHeight" )<!bol>$( pc Circles )$( pct "$algCircle" "width=$colWidth" )<!eol></tr>"
    220220                 options="${options//n/}" ;;
    221             *g*) echo "<tr align=left valign=top>$( pc "$3" "rowspan=$blockHeight" )<!bol>$( pc Seed )$( pct "$algSeed" "width=$colWidth" )<!eol></tr>"
     221            (*g*) echo "<tr align=left valign=top>$( pc "$3" "rowspan=$blockHeight" )<!bol>$( pc Seed )$( pct "$algSeed" "width=$colWidth" )<!eol></tr>"
    222222                 options="${options//g/}" ;;
    223             *f*) echo "<tr align=left valign=top>$( pc "$3" "rowspan=$blockHeight" )<!bol>$( pc Version )$( pct "$algVers" "width=$colWidth" )<!eol></tr>"
     223            (*f*) echo "<tr align=left valign=top>$( pc "$3" "rowspan=$blockHeight" )<!bol>$( pc Version )$( pct "$algVers" "width=$colWidth" )<!eol></tr>"
    224224                 options="${options//f/}" ;;
    225             *t*) echo "<tr align=left valign=top>$( pc "$3" "rowspan=$blockHeight" )<!bol>$( pc Time )$( pct "$algTime" "width=$colWidth" )<!eol></tr>"
     225            (*t*) echo "<tr align=left valign=top>$( pc "$3" "rowspan=$blockHeight" )<!bol>$( pc Time )$( pct "$algTime" "width=$colWidth" )<!eol></tr>"
    226226                 options="${options//t/}" ;;
    227             *c*) echo "<tr align=left valign=top>$( pc "$3" "rowspan=$blockHeight" )<!bol>$( pc Check )$( pct "$algCheck" "width=$colWidth" )<!eol></tr>"
     227            (*c*) echo "<tr align=left valign=top>$( pc "$3" "rowspan=$blockHeight" )<!bol>$( pc Check )$( pct "$algCheck" "width=$colWidth" )<!eol></tr>"
    228228                 options="${options//c/}" ;;
    229             *d*|*r*)
     229            (*d*|*r*)
    230230                 warn "first line in a table must not start with data or result information"
    231231                 options="" ;;
    232             *)   warn "unknown output type specifier '$options' in table specification"
     232            (*)   warn "unknown output type specifier '$options' in table specification"
    233233                 options="" ;;
    234234        esac
     
    239239    while [ -n "$options" ]; do
    240240        case "$options" in
    241             *p*) echo "<tr align=left valign=top><!bol>$( pc Char )$( pct "$algChar" )<!eol></tr>"
     241            (*p*) echo "<tr align=left valign=top><!bol>$( pc Char )$( pct "$algChar" )<!eol></tr>"
    242242                 options="${options//p/}" ;;
    243             *s*) echo "<tr align=left valign=top><!bol>$( pc Switches )$( pct "$algSwitch" )<!eol></tr>"
     243            (*s*) echo "<tr align=left valign=top><!bol>$( pc Switches )$( pct "$algSwitch" )<!eol></tr>"
    244244                 options="${options//s/}" ;;
    245             *v*) echo "<tr align=left valign=top><!bol>$( pc Variables )$( pct "$algVars" )<!eol></tr>"
     245            (*v*) echo "<tr align=left valign=top><!bol>$( pc Variables )$( pct "$algVars" )<!eol></tr>"
    246246                 options="${options//v/}" ;;
    247             *n*) echo "<tr align=left valign=top><!bol>$( pc Circles )$( pct "$algCircle" )<!eol></tr>"
     247            (*n*) echo "<tr align=left valign=top><!bol>$( pc Circles )$( pct "$algCircle" )<!eol></tr>"
    248248                 options="${options//n/}" ;;
    249             *g*) echo "<tr align=left valign=top><!bol>$( pc Seed )$( pct "$algSeed" )<!eol></tr>"
     249            (*g*) echo "<tr align=left valign=top><!bol>$( pc Seed )$( pct "$algSeed" )<!eol></tr>"
    250250                 options="${options//g/}" ;;
    251             *f*) echo "<tr align=left valign=top><!bol>$( pc Version )$( pct "$algVers" )<!eol></tr>"
     251            (*f*) echo "<tr align=left valign=top><!bol>$( pc Version )$( pct "$algVers" )<!eol></tr>"
    252252                 options="${options//f/}" ;;
    253             *t*) echo "<tr align=left valign=top><!bol>$( pc Time )$( pct "$algTime" )<!eol></tr>"
     253            (*t*) echo "<tr align=left valign=top><!bol>$( pc Time )$( pct "$algTime" )<!eol></tr>"
    254254                 options="${options//t/}" ;;
    255             *c*) echo "<tr align=left valign=top><!bol>$( pc Check )$( pct "$algCheck" )<!eol></tr>"
     255            (*c*) echo "<tr align=left valign=top><!bol>$( pc Check )$( pct "$algCheck" )<!eol></tr>"
    256256                 options="${options//c/}" ;;
    257             *d*)
     257            (*d*)
    258258                n=${#algDataTags[@]}
    259259                i=0
     
    273273                done
    274274                options="${options//d/}" ;;
    275             *r*)
     275            (*r*)
    276276                n=${#algResultTags[@]}
    277277                i=0
     
    291291                done
    292292                options="${options//r/}" ;;
    293             *)   warn "unknown output type specifier '$options' in table specification"
     293            (*)   warn "unknown output type specifier '$options' in table specification"
    294294                 options="" ;;
    295295        esac
     
    299299#}}}
    300300
    301 #{{{ collection()
     301#{{{ collection ()
    302302#{{{ docu
    303303#
     
    320320    collectionEnvironment=""
    321321
     322    # read collection name
     323    if [ "$#" = "0" ]; then
     324        warn "no collection name specified"
     325        exit 1
     326    fi
     327    #collectionName="$1"
     328    shift
     329
    322330    #{{{ read options and environment
    323331    # read options
     
    325333    while getopts "n:a:c:t:x:r:" opt; do
    326334        case "$opt" in
    327             n)  collectionNote="${collectionNote:-$OPTARG}" ;;
    328             a)  collectionOptions="$collectionOptions -a$OPTARG" ;;
    329             c)  collectionOptions="$collectionOptions -c$OPTARG" ;;
    330             t)  collectionTBOptions="${collectionTBOptions:-$OPTARG}" ;;
    331             x)  collectionXOOptions="${collectionXOOptions:-$OPTARG}" ;;
    332             r)  collectionROOptions="${collectionROOptions:-$OPTARG}" ;;
    333             ?)  warn "bad collection option"; exit 1 ;;
     335            (n) collectionNote="${collectionNote:-$OPTARG}" ;;
     336            (a) collectionOptions="$collectionOptions -a$OPTARG" ;;
     337            (c) collectionOptions="$collectionOptions -c$OPTARG" ;;
     338            (t) collectionTBOptions="${collectionTBOptions:-$OPTARG}" ;;
     339            (x) collectionXOOptions="${collectionXOOptions:-$OPTARG}" ;;
     340            (r) collectionROOptions="${collectionROOptions:-$OPTARG}" ;;
     341            (?) warn "bad collection option"; exit 1 ;;
    334342        esac
    335343    done
     
    349357#}}}
    350358
    351 #{{{ createTable()
     359#{{{ createTable ()
    352360#{{{ docu
    353361#
     
    367375    cat << EOT
    368376<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2 Final//EN">
     377<! Generated by runfex>
    369378<html>
    370379<head>
     
    383392<tr align=left valign=top>$( pc "Coll. Name" )$( pct "$collectionName" colspan=2 )</tr>
    384393<tr align=left valign=top>$( pc "Coll. Note" )$( pct "${collectionNote:-(no note)}" colspan=2 )</tr>
     394<!TB>
    385395<tr align=left valign=top><!bol>$( pc "" )$( pc "<a name=\"TB$runName\" href=\"#RO$runName\">$runName</a>" "colspan=2")<!eol></tr>
    386396EOT
     
    388398
    389399    cat << EOT
     400<!/TB>
    390401</table>
    391402EOT
     
    398409<tr align=left valign=top>$( pc "Coll. Note" )$( pct "${collectionNote:-(no note)}" colspan=2 )</tr>
    399410<tr align=left valign=top>$( pc "Examples" )$( pc "Data" colspan=2 )</tr>
     411<!XO>
    400412EOT
    401413    cat  "$runName.xo.tbl"
    402414
    403415    cat << EOT
     416<!/XO>
    404417</table>
    405418EOT
     
    413426<tr align=left valign=top>$( pc "Coll. Note" )$( pct "${collectionNote:-(no note)}" colspan=2 )</tr>
    414427<tr align=left valign=top>$( pc "Runs" )$( pc "Data" colspan=2 )</tr>
     428<!RO>
    415429EOT
    416430    cat  "$runName.ro.tbl"
    417431
    418432    cat << EOT
     433<!/RO>
    419434</table>
    420435EOT
     
    429444#}}}
    430445
    431 #{{{ defineSkip()
     446#{{{ defineSkip ()
    432447#{{{ docu
    433448#
     
    466481{
    467482    case \"\$1\" in
    468         $regExp) return 1 ;;
    469         *) return 0 ;;
     483        ($regExp) return 1 ;;
     484        (*) return 0 ;;
    470485    esac
    471486}
     
    476491{
    477492    case \"\$1\" in
    478         $notRegExp) return 0 ;;
    479         *) return 1 ;;
     493        ($notRegExp) return 0 ;;
     494        (*) return 1 ;;
    480495    esac
    481496}
     
    486501{
    487502    case \"\$1\" in
    488         $notRegExp) return 0 ;;
    489         $regExp) return 1 ;;
    490         *) return 0 ;;
     503        ($notRegExp) return 0 ;;
     504        ($regExp) return 1 ;;
     505        (*) return 0 ;;
    491506    esac
    492507}
     
    496511#}}}
    497512
    498 #{{{ example()
     513#{{{ example ()
    499514#{{{ docu
    500515#
     
    546561    while getopts "n:a:c:t:x:" opt; do
    547562        case "$opt" in
    548             n)  exampleNote="$OPTARG" ;;
    549             a)  exampleOptions="$exampleOptions -a$OPTARG" ;;
    550             c)  exampleOptions="$exampleOptions -c$OPTARG" ;;
    551             t)  exampleTBOptions="$OPTARG" ;;
    552             x)  exampleXOOptions="$OPTARG" ;;
    553             ?)  warn "bad example option"; exit 1 ;;
     563            (n) exampleNote="$OPTARG" ;;
     564            (a) exampleOptions="$exampleOptions -a$OPTARG" ;;
     565            (c) exampleOptions="$exampleOptions -c$OPTARG" ;;
     566            (t) exampleTBOptions="$OPTARG" ;;
     567            (x) exampleXOOptions="$OPTARG" ;;
     568            (?) warn "bad example option"; exit 1 ;;
    554569        esac
    555570    done
     
    618633        while read line; do
    619634            case "$line" in
    620                 @@!*)
     635                (@@!*)
    621636                    # read data lines
    622637                    algDataTags[i]="${line#@@!}"
     
    628643                    done
    629644                    i=i+1 ;;
    630                 @!*)
     645                (@!*)
    631646                    # read one data line
    632647                    algDataTags[i]="${line#@!}"
     
    634649                    algData[i]="${line#*: }"
    635650                    i=i+1 ;;
    636                 @@*)
     651                (@@*)
    637652                    # read result lines
    638653                    algResultTags[j]="${line#@@}"
     
    644659                    done
    645660                    j=j+1 ;;
    646                 @*)
     661                (@*)
    647662                    # read one result line
    648663                    algResultTags[j]="${line#@}"
     
    717732while getopts "n:a:c:t:x:r:d" opt; do
    718733    case "$opt" in
    719         n)  runNote="$OPTARG" ;;
    720         a)  runOptions="$runOptions -a$OPTARG" ;;
    721         c)  runOptions="$runOptions -c$OPTARG" ;;
    722         t)  runTBOptions="$OPTARG" ;;
    723         x)  runXOOptions="$OPTARG" ;;
    724         r)  runROOptions="$OPTARG" ;;
    725         d)  debugMode="1" ;;
    726         ?)  warn "bad run option"; exit 1 ;;
     734        (n)  runNote="$OPTARG" ;;
     735        (a)  runOptions="$runOptions -a$OPTARG" ;;
     736        (c)  runOptions="$runOptions -c$OPTARG" ;;
     737        (t)  runTBOptions="$OPTARG" ;;
     738        (x)  runXOOptions="$OPTARG" ;;
     739        (r)  runROOptions="$OPTARG" ;;
     740        (d)  debugMode="1" ;;
     741        (?)  warn "bad run option"; exit 1 ;;
    727742    esac
    728743done
Note: See TracChangeset for help on using the changeset viewer.