Annotation of Amaya/amaya/HTMLT.T, revision 1.52

1.3       cvs         1:                { Author: I. Vatton      1994-1995-1996  }
1.1       cvs         2: 
                      3: TRANSLATION HTML;
                      4: 
1.3       cvs         5: LINELENGTH 78;
1.1       cvs         6: 
                      7: CONST
1.12      cvs         8:    DoubleQuote  = '"';
1.1       cvs         9: 
                     10: RULES
                     11: 
                     12:  HTML : BEGIN
1.37      cvs        13:        Create '<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">\12';
1.18      cvs        14:        Create '<html';
                     15:        Create Attributes;
                     16:        Create '>\12';
1.15      cvs        17:        Create '</html>\12' After;
1.1       cvs        18:        END;
                     19: 
                     20:  HEAD: BEGIN
1.18      cvs        21:        Create '<head';
                     22:        Create Attributes;
                     23:        Create '>\12';
1.15      cvs        24:        Create '</head>\12' After;
1.1       cvs        25:        END;
                     26: 
                     27:  Document_URL:
                     28:        BEGIN
                     29:        Remove;
                     30:        END;
                     31: 
                     32:  TITLE:        BEGIN
1.18      cvs        33:        Create '<title';
                     34:        Create Attributes;
                     35:        Create '>\12';
1.15      cvs        36:        Create '</title>\12' After;
1.1       cvs        37:        END;
                     38: 
                     39:  ISINDEX: BEGIN
1.15      cvs        40:        Create '<isindex';
1.1       cvs        41:        IF Prompt
                     42:           BEGIN
                     43:           Create ' prompt="';
                     44:           Create Prompt;
1.12      cvs        45:           Create DoubleQuote;
1.1       cvs        46:           END;
                     47:        Create Attributes;
                     48:        Remove;
                     49:        Create '>\12';
                     50:        END;
                     51: 
                     52:  BASE: BEGIN
1.15      cvs        53:        Create '<base ';
1.1       cvs        54:        Create Attributes;
                     55:        Remove;
                     56:        Create '>\12';
                     57:        END;
                     58: 
1.52    ! cvs        59:  STYLE_: BEGIN
1.15      cvs        60:        Create '<style';
1.1       cvs        61:        IF Notation
                     62:           BEGIN
                     63:           Create ' type=';
                     64:           Create Notation;
                     65:           END;
                     66:        Create Attributes;
1.47      cvs        67:        Create '>';
1.45      cvs        68:        NoTranslation;
1.52    ! cvs        69:        Create '\12</style>\12' After;
1.1       cvs        70:        END;
                     71: 
                     72:  SCRIPT: BEGIN
1.15      cvs        73:        Create '<script';
1.1       cvs        74:        Create Attributes;
1.52    ! cvs        75:        Create '>\12';
        !            76:        NoTranslation;
        !            77:        Create '\12</script>\12' After;
1.1       cvs        78:        END;
                     79: 
                     80:  META: BEGIN
1.15      cvs        81:        Create '<meta';
1.1       cvs        82:        Remove;
                     83:        Create Attributes;
                     84:        Create '>\12' After;
                     85:        END;
                     86: 
                     87:  LINK: BEGIN
1.15      cvs        88:        Create '<link';
1.1       cvs        89:        Remove;
                     90:        Create Attributes;
                     91:        Create '>\12' After;
                     92:        END;
                     93: 
                     94:  BODY: BEGIN
1.15      cvs        95:        Create '<body';
1.1       cvs        96:        Create Attributes;
                     97:        Create '>\12';
1.15      cvs        98:        Create '</body>\12' After;
1.1       cvs        99:        END;
                    100: 
                    101:  H1:   BEGIN
1.28      cvs       102:        if not within Preformatted Create '\12';
1.15      cvs       103:        Create '<h1';
1.1       cvs       104:        Create Attributes;
                    105:        Create '>';
1.15      cvs       106:        Create '</h1>' After;
1.28      cvs       107:        if not within Preformatted Create '\12' After;
1.1       cvs       108:        END;
                    109: 
                    110:  H2:   BEGIN
1.28      cvs       111:        if not within Preformatted Create '\12';
1.15      cvs       112:        Create '<h2';
1.1       cvs       113:        Create Attributes;
                    114:        Create '>';
1.15      cvs       115:        Create '</h2>' After;
1.28      cvs       116:        if not within Preformatted Create '\12' After;
1.1       cvs       117:        END;
                    118: 
                    119:  H3:   BEGIN
1.28      cvs       120:        if not within Preformatted Create '\12';
1.15      cvs       121:        Create '<h3';
1.1       cvs       122:        Create Attributes;
                    123:        Create '>';
1.15      cvs       124:        Create '</h3>' After;
1.28      cvs       125:        if not within Preformatted Create '\12' After;
1.1       cvs       126:        END;
                    127: 
                    128:  H4:   BEGIN
1.28      cvs       129:        if not within Preformatted Create '\12';
1.15      cvs       130:        Create '<h4';
1.1       cvs       131:        Create Attributes;
                    132:        Create '>';
1.15      cvs       133:        Create '</h4>' After;
1.28      cvs       134:        if not within Preformatted Create '\12' After;
1.1       cvs       135:        END;
                    136: 
                    137:  H5:   BEGIN
1.28      cvs       138:        if not within Preformatted Create '\12';
1.15      cvs       139:        Create '<h5';
1.1       cvs       140:        Create Attributes;
                    141:        Create '>';
1.15      cvs       142:        Create '</h5>' After;
                    143:        if not within Preformatted Create '\12' After;
1.1       cvs       144:        END;
                    145: 
                    146:  H6:   BEGIN
1.28      cvs       147:        if not within Preformatted Create '\12';
1.15      cvs       148:        Create '<h6';
1.1       cvs       149:        Create Attributes;
                    150:        Create '>';
1.15      cvs       151:        Create '</h6>' After;
                    152:        if not within Preformatted Create '\12' After;
1.1       cvs       153:        END;
                    154: 
                    155:  BaseFont:
                    156:        BEGIN
1.15      cvs       157:        Create '<basefont';
1.1       cvs       158:        Remove;
                    159:        Create Attributes;
                    160:        Create '>\12';
                    161:        END;
                    162: 
1.6       cvs       163:  BR:   BEGIN
1.15      cvs       164:        Create '<br';
1.6       cvs       165:        Create Attributes;
1.13      cvs       166:        Create '>\12';
1.6       cvs       167:        Remove;
                    168:        END;
1.1       cvs       169:  Italic_text:
                    170:        BEGIN
1.15      cvs       171:        Create '<i';
1.1       cvs       172:        Create Attributes;
                    173:        Create '>';
1.15      cvs       174:        Create '</i>' After;
1.1       cvs       175:        END;
                    176:  Bold_text:
                    177:        BEGIN
1.15      cvs       178:        Create '<b';
1.1       cvs       179:        Create Attributes;
                    180:        Create '>';
1.15      cvs       181:        Create '</b>' After;
1.1       cvs       182:        END;
                    183:  Teletype_text:
                    184:        BEGIN
1.15      cvs       185:        Create '<tt';
1.1       cvs       186:        Create Attributes;
                    187:        Create '>';
1.15      cvs       188:        Create '</tt>' After;
1.1       cvs       189:        END;
1.8       cvs       190:  Underlined_text:
                    191:        BEGIN
1.15      cvs       192:        Create '<u';
1.8       cvs       193:        Create Attributes;
                    194:        Create '>';
1.15      cvs       195:        Create '</u>' After;
1.8       cvs       196:        END;
1.1       cvs       197:  Struck_text:
                    198:        BEGIN
1.15      cvs       199:        Create '<strike';
1.1       cvs       200:        Create Attributes;
                    201:        Create '>';
1.15      cvs       202:        Create '</strike>' After;
1.1       cvs       203:        END;
                    204:  Big_text:
                    205:        BEGIN
1.15      cvs       206:        Create '<big';
1.1       cvs       207:        Create Attributes;
                    208:        Create '>';
1.15      cvs       209:        Create '</big>' After;
1.1       cvs       210:        END;
                    211:  Small_text:
                    212:        BEGIN
1.15      cvs       213:        Create '<small';
1.1       cvs       214:        Create Attributes;
                    215:        Create '>';
1.15      cvs       216:        Create '</small>' After;
1.1       cvs       217:        END;
                    218:  Subscript:
                    219:        BEGIN
1.15      cvs       220:        Create '<sub';
1.1       cvs       221:        Create Attributes;
                    222:        Create '>';
1.15      cvs       223:        Create '</sub>' After;
1.1       cvs       224:        END;
                    225:  Superscript:
                    226:        BEGIN
1.15      cvs       227:        Create '<sup';
1.1       cvs       228:        Create Attributes;
                    229:        Create '>';
1.15      cvs       230:        Create '</sup>' After;
1.1       cvs       231:        END;
                    232: 
                    233:  Emphasis:
                    234:        BEGIN
1.15      cvs       235:        Create '<em';
1.1       cvs       236:        Create Attributes;
                    237:        Create '>';
1.15      cvs       238:        Create '</em>' After;
1.1       cvs       239:        END;
                    240:  Strong:
                    241:        BEGIN
1.15      cvs       242:        Create '<strong';
1.1       cvs       243:        Create Attributes;
                    244:        Create '>';
1.15      cvs       245:        Create '</strong>' After;
1.1       cvs       246:        END;
                    247:  Def:
                    248:        BEGIN
1.15      cvs       249:        Create '<dfn';
1.1       cvs       250:        Create Attributes;
                    251:        Create '>';
1.15      cvs       252:        Create '</dfn>' After;
1.1       cvs       253:        END;
                    254:  Code:
                    255:        BEGIN
1.15      cvs       256:        Create '<code';
1.1       cvs       257:        Create Attributes;
                    258:        Create '>';
1.15      cvs       259:        Create '</code>' After;
1.1       cvs       260:        END;
                    261:  Sample:
                    262:        BEGIN
1.15      cvs       263:        Create '<samp';
1.1       cvs       264:        Create Attributes;
                    265:        Create '>';
1.15      cvs       266:        Create '</samp>' After;
1.1       cvs       267:        END;
                    268:  Keyboard:
                    269:        BEGIN
1.15      cvs       270:        Create '<kbd';
1.1       cvs       271:        Create Attributes;
                    272:        Create '>';
1.15      cvs       273:        Create '</kbd>' After;
1.1       cvs       274:        END;
                    275:  Variable:
                    276:        BEGIN
1.15      cvs       277:        Create '<var';
1.1       cvs       278:        Create Attributes;
                    279:        Create '>';
1.15      cvs       280:        Create '</var>' After;
1.1       cvs       281:        END;
                    282:  Cite:
                    283:        BEGIN
1.15      cvs       284:        Create '<cite';
1.1       cvs       285:        Create Attributes;
                    286:        Create '>';
1.15      cvs       287:        Create '</cite>' After;
1.1       cvs       288:        END;
1.48      cvs       289:  ABBR:
                    290:        BEGIN
                    291:        Create '<abbr';
                    292:        Create Attributes;
                    293:        Create '>';
                    294:        Create '</abbr>' After;
                    295:        END;
                    296:  ACRONYM:
                    297:        BEGIN
                    298:        Create '<acronym';
                    299:        Create Attributes;
                    300:        Create '>';
                    301:        Create '</acronym>' After;
                    302:        END;
1.1       cvs       303: 
                    304:  Font_: BEGIN
1.15      cvs       305:        Create '<font';
1.1       cvs       306:        Create Attributes;
                    307:        Create '>';
1.15      cvs       308:        Create '</font>' After;
1.1       cvs       309:        END;
                    310: 
                    311:  Applet: BEGIN
1.15      cvs       312:        Create '<applet';
1.1       cvs       313:        Create Attributes;
                    314:        Create '>\12';
1.15      cvs       315:        Create '</applet>\12' After;    
1.1       cvs       316:        END;
                    317: 
                    318:  Parameter: BEGIN
1.15      cvs       319:        Create '<param';
1.1       cvs       320:        Create Attributes;
                    321:        Remove;
                    322:        Create '>\12';
                    323:        END;
                    324: 
                    325:  Object: BEGIN
1.15      cvs       326:        Create '<object';
1.1       cvs       327:        Create Attributes;
                    328:        Create '>\12';
1.15      cvs       329:        Create '</object>\12' After;    
1.1       cvs       330:        END;
1.20      cvs       331: 
1.49      cvs       332:  INS:  BEGIN
                    333:        Create '<ins';
                    334:        Create Attributes;
                    335:        Create '>';
                    336:        Create '</span>' After;
                    337:        END;
                    338: 
                    339:  DEL:  BEGIN
                    340:        Create '<del';
                    341:        Create Attributes;
                    342:        Create '>';
                    343:        Create '</span>' After;
                    344:        END;
                    345: 
1.20      cvs       346:  Span: BEGIN
                    347:        Create '<span';
                    348:        Create Attributes;
                    349:        Create '>';
                    350:        Create '</span>' After;
                    351:        END;
1.29      cvs       352: 
1.48      cvs       353:  Quotation: BEGIN
                    354:        Create '<q';
                    355:        Create Attributes;
                    356:        Create '>';
                    357:        Create '</q>' After;
                    358:        END;
                    359: 
                    360:  BDO: BEGIN
                    361:        Create '<bdo';
                    362:        Create Attributes;
                    363:        Create '>';
                    364:        Create '</bdo>' After;
                    365:        END;
                    366: 
                    367:  IFRAME: BEGIN
                    368:        Create '<iframe';
                    369:        Create Attributes;
                    370:        Create '>\12';
                    371:        Create '</iframe>\12' After;    
                    372:        END;
                    373: 
1.29      cvs       374: #ifdef MATHML
1.33      cvs       375:  Math: BEGIN
                    376:        Create '<math';
1.29      cvs       377:        Create Attributes;
                    378:        Create '>\12';
1.31      cvs       379:         indent +2;
                    380:         indent -2 after;
1.33      cvs       381:        Create '</math>\12' After;      
                    382:        END;
                    383:  MathDisp: BEGIN
1.40      cvs       384:        Create '<math';
1.33      cvs       385:        Create Attributes;
                    386:        Create '>\12';
                    387:         indent +2;
                    388:         indent -2 after;
1.40      cvs       389:        Create '</math>\12' After;      
1.29      cvs       390:        END;
1.30      cvs       391:  MathML:
                    392:        Use MathMLT;    
1.41      cvs       393: #endif
                    394: #ifdef GRAPHML
                    395:  XMLGraphics: BEGIN
                    396:        Create '<xmlgraphics';
                    397:        Create Attributes;
                    398:        Create '>\12';
                    399:         indent +2;
                    400:         indent -2 after;
                    401:        Create '</xmlgraphics>\12' After;       
                    402:        END;
                    403:  GraphML:
                    404:        Use GraphMLT;   
1.29      cvs       405: #endif
                    406: 
1.1       cvs       407:  Paragraph: BEGIN
1.16      cvs       408:        Create '<p';
                    409:        Create Attributes;
                    410:        Create '>\12';
                    411:        Create '</p>' After;
                    412:        Create '\12' After;
                    413:        END;
                    414: 
                    415:  Pseudo_paragraph: BEGIN
                    416:        Create '\12';
1.1       cvs       417:        Create '\12' After;
                    418:        END;
                    419: 
                    420:  TEXT_UNIT: BEGIN
                    421:        IF Within Text_Area
                    422:                Remove;
                    423:        IF Within Text_Input
                    424:                Remove;
                    425:        END;
                    426: 
                    427:  Definition_List: BEGIN
1.15      cvs       428:        Create '<dl';
1.1       cvs       429:        Create Attributes;
                    430:        Create '>\12';
1.15      cvs       431:        Create '</dl>\12' After;
1.1       cvs       432:        END;
                    433: 
                    434:  Term: BEGIN
1.15      cvs       435:        Create '<dt';
1.1       cvs       436:        Create Attributes;
                    437:        Create '>';
1.15      cvs       438:        Create '</dt>\12' After;
1.1       cvs       439:        END;
                    440: 
                    441:  Definition: BEGIN
1.15      cvs       442:        Create '<dd';
1.1       cvs       443:        Create Attributes;
                    444:        Create '>';
1.15      cvs       445:        Create '</dd>\12' After;
1.1       cvs       446:        END;
                    447: 
                    448:  Unnumbered_List: BEGIN
1.15      cvs       449:        Create '<ul';
1.1       cvs       450:        Create Attributes;
                    451:        Create '>\12';
1.15      cvs       452:        Create '</ul>\12' After;
1.1       cvs       453:        END;
                    454: 
                    455:  Numbered_List:        BEGIN
1.15      cvs       456:        Create '<ol';
1.1       cvs       457:        Create Attributes;
                    458:        Create '>\12';
1.15      cvs       459:        Create '</ol>\12' After;
1.1       cvs       460:        END;
                    461: 
                    462:  Address: BEGIN
1.15      cvs       463:        Create '<address';
1.1       cvs       464:        Create Attributes;
                    465:        Create '>\12';
1.15      cvs       466:        Create '</address>\12' After;
1.1       cvs       467:        END;
                    468: 
                    469:  Menu: BEGIN
1.15      cvs       470:        Create '<menu';
1.1       cvs       471:        Create Attributes;
                    472:        Create '>\12';
1.15      cvs       473:        Create '</menu>\12' After;
1.1       cvs       474:        END;
                    475: 
                    476:  Directory: BEGIN
1.15      cvs       477:        Create '<dir';
1.1       cvs       478:        Create Attributes;
                    479:        Create '>\12';
1.15      cvs       480:        Create '</dir>\12' After;
1.1       cvs       481:        END;
                    482: 
                    483:  List_Item: BEGIN
1.15      cvs       484:        Create '<li';
1.1       cvs       485:        Create Attributes;
                    486:        Create '>';
                    487:        END;
                    488: 
                    489:  Preformatted: BEGIN
                    490:        NoLineBreak;
1.15      cvs       491:        Create '<pre';
1.1       cvs       492:        Create Attributes;
                    493:        Create '>';
1.15      cvs       494:        Create '</pre>\12' After;
1.1       cvs       495:        END;
                    496: 
                    497:  Horizontal_Rule: BEGIN
1.15      cvs       498:        Create '<hr';
1.1       cvs       499:        Create Attributes;
                    500:        Remove;
1.15      cvs       501:        Create '>';
1.17      cvs       502:        if not within Preformatted Create '\12';
1.1       cvs       503:        END;
                    504: 
                    505:  Form: BEGIN
1.15      cvs       506:        Create '<form';
1.1       cvs       507:        Create Attributes;
                    508:        Create '>\12';
1.15      cvs       509:        Create '</form>\12' After;
1.1       cvs       510:        END;
                    511: 
                    512:  Option_Menu: BEGIN
1.15      cvs       513:        Create '\12<select';
1.1       cvs       514:        Create Attributes;
1.5       cvs       515:        Create '>';
1.15      cvs       516:        Create '\12</select>\12' After;
1.1       cvs       517:        END;
                    518: 
                    519:  Option: BEGIN
1.15      cvs       520:        Create '\12<option';
1.5       cvs       521:        Create Attributes;
                    522:        Create '>';
1.1       cvs       523:        END;
                    524: 
                    525:  Text_Area: BEGIN
1.15      cvs       526:        Create '<textarea';
1.1       cvs       527:        Create Attributes;
                    528:        Create '>';
1.15      cvs       529:        Create '</textarea>';
1.1       cvs       530:        END;
                    531: 
                    532:  Checkbox_Input: BEGIN
1.15      cvs       533:        Create '<input type=checkbox';
1.1       cvs       534:        Create Attributes;
                    535:        Create '>';
                    536:        Remove;
                    537:        END;
                    538: 
                    539:  Radio_Input: BEGIN
1.15      cvs       540:        Create '<input type=radio';
1.1       cvs       541:        Create Attributes;
                    542:        Create '>';
                    543:        Remove;
                    544:        END;
                    545: 
                    546:  Text_Input: BEGIN
1.15      cvs       547:        Create '<input type=text';
1.1       cvs       548:        Create Attributes;
                    549:        Create '>';
                    550:        Remove;
                    551:        END;
                    552: 
                    553:  Hidden_Input: BEGIN
1.15      cvs       554:        Create '<input type=hidden';
1.1       cvs       555:        Create Attributes;
                    556:        Create '>';
                    557:        Remove;
                    558:        END;
                    559: 
                    560:  Password_Input: BEGIN
1.15      cvs       561:        Create '<input type=password';
1.1       cvs       562:        Create Attributes;
                    563:        Create '>';
                    564:        Remove;
                    565:        END;
                    566: 
                    567:  File_Input: BEGIN
1.15      cvs       568:        Create '<input type=file';
1.1       cvs       569:        Create Attributes;
                    570:        Create '>';
                    571:        Remove;
                    572:        END;
                    573: 
                    574:  Reset_Input: BEGIN
1.15      cvs       575:        Create '\12<input type=reset';
1.1       cvs       576:        Create Attributes;
                    577:        Create '>';
                    578:        Remove;
                    579:        END;
                    580: 
                    581:  Submit_Input: BEGIN
1.15      cvs       582:        Create '\12<input type=submit';
1.1       cvs       583:        Create Attributes;
                    584:        Create '>';
                    585:        Remove;
                    586:        END;
                    587: 
                    588:  Block_Quote: BEGIN
1.15      cvs       589:        Create '<blockquote';
1.1       cvs       590:        Create Attributes;
                    591:        Create '>\12';
1.15      cvs       592:        Create '</blockquote>\12' After;
1.1       cvs       593:        END;
                    594: 
                    595:  PICTURE_UNIT: BEGIN
1.10      cvs       596:        if Immediately within Object
                    597:                Remove;
                    598:        if NOT Immediately within Object BEGIN
1.15      cvs       599:                Create '<img';
1.10      cvs       600:                Create Attributes;
                    601:                Create '>' After;
                    602:                END;
                    603:        if NOT within Paragraph AND NOT Immediately within Object
                    604:                Create '\12' After;
1.1       cvs       605:        END;
                    606: 
                    607:  Anchor: BEGIN
1.15      cvs       608:        Create '<a';
1.1       cvs       609:        Create Attributes;
                    610:        Create '>';
1.15      cvs       611:        Create '</a>' After;
1.1       cvs       612:        END;
                    613: 
                    614:  MAP:
                    615:        BEGIN
1.15      cvs       616:        Create '<map';
1.1       cvs       617:        Create Attributes;
                    618:        Create '>\12';
1.15      cvs       619:        Create '</map>\12' after;
1.1       cvs       620:        END;
                    621: 
                    622:  AREA:
                    623:        BEGIN
1.15      cvs       624:        Create '<area';
1.1       cvs       625:        Create Attributes;
                    626:        Remove;
                    627:        Create '>\12';
                    628:        END;
                    629: 
                    630: { ---- Tables ---- }
                    631: 
                    632:  Table:
                    633:        BEGIN
1.15      cvs       634:        Create '\12<table';
1.1       cvs       635:        Create Attributes;
                    636:        Create '>\12';
1.15      cvs       637:        Create '</table>\12' after;
1.1       cvs       638:        END;
                    639: 
                    640:  CAPTION:
                    641:        BEGIN
1.15      cvs       642:        Create '<caption';
1.1       cvs       643:        Create Attributes;
                    644:        Create '>';
1.15      cvs       645:        Create '</caption>\12' after;
1.1       cvs       646:        END;
                    647: 
                    648:  Table_head:
                    649:        Remove;
                    650: 
                    651:  thead:
                    652:        BEGIN
1.15      cvs       653:        Create '<thead';
1.1       cvs       654:        Create Attributes;
                    655:        Create '>\12';
1.15      cvs       656:        Create '</thead>\12' after;
1.1       cvs       657:        END;
                    658: 
                    659:  tfoot:
                    660:        BEGIN
1.15      cvs       661:        Create '<tfoot';
1.1       cvs       662:        Create Attributes;
                    663:        Create '>\12';
1.15      cvs       664:        Create '</tfoot>\12' after;
1.1       cvs       665:        END;
                    666:  tbody:
                    667:        BEGIN
1.15      cvs       668:        Create '<tbody';
1.1       cvs       669:        Create Attributes;
                    670:        Create '>\12';
1.15      cvs       671:        Create '</tbody>\12' after;
1.1       cvs       672:        END;
                    673: 
                    674:  Table_body:
                    675:        Get tfoot;
                    676: 
                    677:  Table_row:
                    678:        BEGIN
1.15      cvs       679:        Create '<tr';
1.1       cvs       680:        Create Attributes;
                    681:        Create '>\12';
1.15      cvs       682:        Create '</tr>\12' after;
1.1       cvs       683:        END;
                    684: 
                    685:  Data_cell:
                    686:        BEGIN
1.15      cvs       687:        Create '<td';
1.1       cvs       688:        Create Attributes;
                    689:        Create '>';
1.25      cvs       690:        Create '</td>\12' after;
1.1       cvs       691:        END;
                    692: 
                    693:  Heading_cell:
                    694:        BEGIN
1.15      cvs       695:        Create '<th';
1.1       cvs       696:        Create Attributes;
                    697:        Create '>';
1.25      cvs       698:        Create '</th>\12' after;
1.1       cvs       699:        END;
                    700: 
                    701:  Table_foot:
                    702:        BEGIN
                    703:        Remove;
                    704:        END;
                    705: 
                    706:  Division: BEGIN
1.15      cvs       707:        Create '\12<div';
1.1       cvs       708:        Create Attributes;
                    709:        Create '>\12';
1.15      cvs       710:        Create '</div>\12' After;
1.1       cvs       711:        END;
                    712: 
                    713:  Center: BEGIN
1.15      cvs       714:        Create '\12<center';
1.1       cvs       715:        Create Attributes;
                    716:        Create '>\12';
1.15      cvs       717:        Create '</center>\12' After;
1.1       cvs       718:        END;
                    719: 
1.50      cvs       720:  NOSCRIPT: BEGIN
                    721:        Create '\12<noscript';
                    722:        Create Attributes;
                    723:        Create '>\12';
                    724:        Create '</noscript>\12' After;
                    725:        END;
                    726: 
1.8       cvs       727:  Invalid_element:
                    728:        BEGIN
                    729:        if Error_type = BadPosition
                    730:           Remove;
                    731:        if not Error_type = BadPosition
                    732:            BEGIN
                    733:           NoTranslation;
                    734:           Create Content;
                    735:           Remove;
                    736:           Create Attributes;
                    737:           Create '>';
                    738:           END;
1.1       cvs       739:        END;
                    740: 
                    741:  Comment\240: BEGIN
                    742:        NoLineBreak;
                    743:        Create '<!--';
1.27      cvs       744:        NoTranslation;
1.1       cvs       745:        Create '-->\12' after;
                    746:        END;
                    747: 
                    748:  Comment_line: BEGIN
                    749:        if not last create '\12' after;
                    750:        END;
                    751: 
                    752: ATTRIBUTES
1.18      cvs       753: 
1.51      cvs       754:  profile: BEGIN
                    755:        Create ' profile="';
                    756:        Create profile;
                    757:        Create DoubleQuote;
                    758:        END;
                    759: 
1.19      cvs       760:  Langue:
1.20      cvs       761:        IF not HTML
                    762:            BEGIN
                    763:            Create ' lang="';
                    764:            Create Langue;
                    765:            Create DoubleQuote;
                    766:            END;
1.1       cvs       767: 
1.51      cvs       768:  content_type: BEGIN
                    769:        Create ' type="';
                    770:        Create content_type;
                    771:        Create DoubleQuote;
                    772:        END;
                    773: 
                    774:  script_language: BEGIN
                    775:        Create ' language="';
                    776:        Create script_language;
                    777:        Create DoubleQuote;
                    778:        END;
                    779: 
                    780:  script_src: BEGIN
                    781:        Create ' src="';
                    782:        Create script_src;
                    783:        Create DoubleQuote;
                    784:        END;
                    785: 
                    786:  defer: BEGIN
                    787:        Create ' defer';
                    788:        END;
                    789: 
                    790:  event: BEGIN
                    791:        Create ' event="';
                    792:        Create event;
                    793:        Create DoubleQuote;
                    794:        END;
                    795: 
                    796:  for_: BEGIN
                    797:        Create ' for="';
                    798:        Create for_;
                    799:        Create DoubleQuote;
                    800:        END;
                    801: 
1.1       cvs       802:  http_equiv: BEGIN
                    803:        Create ' http-equiv="';
                    804:        Create http_equiv;
1.12      cvs       805:        Create DoubleQuote;
1.1       cvs       806:        END;
                    807: 
                    808:  meta_name: BEGIN
                    809:        Create ' name="';
                    810:        Create meta_name;
1.12      cvs       811:        Create DoubleQuote;
1.1       cvs       812:        END;
                    813: 
                    814:  meta_content: BEGIN
                    815:        Create ' content="';
                    816:        Create meta_content;
1.12      cvs       817:        Create DoubleQuote;
1.1       cvs       818:        END;
                    819: 
1.51      cvs       820:  scheme: BEGIN
                    821:        Create ' scheme="';
                    822:        Create scheme;
                    823:        Create DoubleQuote;
                    824:        END;
                    825: 
                    826:  charset: BEGIN
                    827:        Create ' charset="';
                    828:        Create charset;
                    829:        Create DoubleQuote;
                    830:        END;
                    831: 
1.1       cvs       832:  REL:  BEGIN
                    833:        Create ' rel="';
                    834:        Create REL;
1.12      cvs       835:        Create DoubleQuote;
1.1       cvs       836:        END;
                    837: 
                    838:  REV:  BEGIN
                    839:        Create ' rev="';
                    840:        Create REV;
1.12      cvs       841:        Create DoubleQuote;
1.1       cvs       842:        END;
                    843: 
                    844:  HREF_ :
                    845:        BEGIN
                    846:        NoTranslation;
                    847:        Create ' href="';
                    848:        Create HREF_;
1.49      cvs       849:        Create DoubleQuote;
                    850:        END;
                    851: 
1.51      cvs       852:  hreflang :
                    853:        BEGIN
                    854:        Create ' hreflang="';
                    855:        Create hreflang;
                    856:        Create DoubleQuote;
                    857:        END;
                    858: 
                    859:  media :
                    860:        BEGIN
                    861:        Create ' media="';
                    862:        Create media;
                    863:        Create DoubleQuote;
                    864:        END;
                    865: 
                    866:  target_ :
                    867:        BEGIN
                    868:        Create ' target="';
                    869:        Create target_;
                    870:        Create DoubleQuote;
                    871:        END;
                    872: 
1.49      cvs       873:  cite:
                    874:        BEGIN
                    875:        NoTranslation;
                    876:        Create ' cite="';
                    877:        Create cite;
                    878:        Create DoubleQuote;
                    879:        END;
                    880: 
                    881:  datetime:
                    882:        BEGIN
                    883:        Create ' datetime="';
                    884:        Create datetime;
1.12      cvs       885:        Create DoubleQuote;
1.1       cvs       886:        END;
                    887: 
                    888:  background_ :
                    889:        BEGIN
                    890:        Create ' background="';
                    891:        Create background_;
1.12      cvs       892:        Create DoubleQuote;
1.1       cvs       893:        END;
                    894: 
                    895:  BackgroundColor :
                    896:        BEGIN
                    897:        Create ' bgcolor="';
                    898:        Create BackgroundColor;
1.12      cvs       899:        Create DoubleQuote;
1.1       cvs       900:        END;
                    901: 
                    902:  TextColor :
                    903:        BEGIN
                    904:        Create ' text="';
                    905:        Create TextColor;
1.12      cvs       906:        Create DoubleQuote;
1.1       cvs       907:        END;
                    908: 
                    909:  LinkColor :
                    910:        BEGIN
                    911:        Create ' link="';
                    912:        Create LinkColor;
1.12      cvs       913:        Create DoubleQuote;
1.1       cvs       914:        END;
                    915: 
                    916:  VisitedLinkColor :
                    917:        BEGIN
                    918:        Create ' vlink="';
                    919:        Create VisitedLinkColor;
1.12      cvs       920:        Create DoubleQuote;
1.1       cvs       921:        END;
                    922: 
                    923:  ActiveLinkColor :
                    924:        BEGIN
                    925:        Create ' alink="';
                    926:        Create ActiveLinkColor;
1.12      cvs       927:        Create DoubleQuote;
1.1       cvs       928:        END;
                    929: 
                    930:  BaseFontSize:
                    931:        BEGIN
1.12      cvs       932:        Create ' size="';
1.1       cvs       933:        Create BaseFontSize;
1.12      cvs       934:        Create DoubleQuote;
1.1       cvs       935:        END;
                    936: 
1.48      cvs       937:  BaseFontColor:
                    938:        BEGIN
                    939:        Create ' color="';
                    940:        Create BaseFontColor;
                    941:        Create DoubleQuote;
                    942:        END;
                    943: 
                    944:  BaseFontFace:
                    945:        BEGIN
                    946:        Create ' facee="';
                    947:        Create BaseFontFace;
                    948:        Create DoubleQuote;
                    949:        END;
                    950: 
1.1       cvs       951:  Font_size :
                    952:        BEGIN
                    953:        Create ' size="';
                    954:        Create Font_size;
1.12      cvs       955:        Create DoubleQuote;
1.1       cvs       956:        END;
                    957: 
                    958:  color :
                    959:        BEGIN
                    960:        Create ' color="';
                    961:        Create color;
1.48      cvs       962:        Create DoubleQuote;
                    963:        END;
                    964: 
                    965:  face :
                    966:        BEGIN
                    967:        Create ' face="';
                    968:        Create face;
1.12      cvs       969:        Create DoubleQuote;
1.1       cvs       970:        END;
1.6       cvs       971: 
                    972:  Clear = Left_:
1.46      cvs       973:        Create ' clear="left"';
1.6       cvs       974:  Clear = Right_:
1.46      cvs       975:        Create ' clear="right"';
1.9       cvs       976:  Clear = All_:
1.46      cvs       977:        Create ' clear="all"';
1.9       cvs       978:  Clear = None:
1.46      cvs       979:        Create ' clear="none"';
1.1       cvs       980: 
                    981:  Align = left_:
1.46      cvs       982:        Create ' align="left"';
1.1       cvs       983:  Align = center_:
1.46      cvs       984:        Create ' align="center"';
1.1       cvs       985:  Align = right_:
1.46      cvs       986:        Create ' align="right"';
                    987: 
                    988:  TextAlign = left_:
                    989:        Create ' align="left"';
                    990:  TextAlign = center_:
                    991:        Create ' align="center"';
                    992:  TextAlign = right_:
                    993:        Create ' align="right"';
                    994:  TextAlign = justify_:
                    995:        Create ' align="justify"';
1.1       cvs       996: 
                    997:  NoShade:
                    998:        Create ' noshade';
                    999: 
                   1000:  Size_: BEGIN
                   1001:        Create ' size="';
                   1002:        Create Size_;
1.12      cvs      1003:        Create DoubleQuote;
1.1       cvs      1004:        END;
                   1005: 
                   1006:  Width__: BEGIN
                   1007:        Create ' width="';
                   1008:        Create Width__;
1.12      cvs      1009:        Create DoubleQuote;
1.1       cvs      1010:        END;
                   1011: 
1.51      cvs      1012:  declare:
                   1013:        Create ' declare';
                   1014: 
1.1       cvs      1015:  codebase: BEGIN
                   1016:        NoTranslation;
                   1017:        Create ' codebase="';
                   1018:        Create codebase;
1.12      cvs      1019:        Create DoubleQuote;
1.1       cvs      1020:        END;
                   1021: 
                   1022:  code: BEGIN
                   1023:        Create ' code="';
                   1024:        Create code;
1.12      cvs      1025:        Create DoubleQuote;
1.1       cvs      1026:        END;
                   1027: 
1.51      cvs      1028:  object: BEGIN
                   1029:        Create ' object="';
                   1030:        Create object;
                   1031:        Create DoubleQuote;
                   1032:        END;
                   1033: 
1.1       cvs      1034:  applet_name: BEGIN
                   1035:        Create ' name="';
                   1036:        Create applet_name;
1.12      cvs      1037:        Create DoubleQuote;
1.1       cvs      1038:        END;
                   1039: 
                   1040:  Param_name: BEGIN
                   1041:        Create ' name="';
                   1042:        Create Param_name;
1.12      cvs      1043:        Create DoubleQuote;
1.1       cvs      1044:        END;
                   1045: 
                   1046:  Param_value: BEGIN
                   1047:        Create ' value="';
                   1048:        Create Param_value;
1.12      cvs      1049:        Create DoubleQuote;
1.1       cvs      1050:        END;
1.46      cvs      1051: 
1.51      cvs      1052:  valuetype = data_:
                   1053:        Create ' valuetype="data"';
                   1054:  valuetype = ref:
                   1055:        Create ' valuetype="ref"';
                   1056:  valuetype = object_:
                   1057:        Create ' valuetype="object"';
                   1058: 
                   1059:  Param_type: BEGIN
                   1060:        Create ' type="';
                   1061:        Create Param_type;
                   1062:        Create DoubleQuote;
                   1063:        END;
                   1064: 
1.1       cvs      1065:  classid: BEGIN
                   1066:        Create ' classid="';
                   1067:        Create classid;
1.12      cvs      1068:        Create DoubleQuote;
1.1       cvs      1069:        END;
                   1070: 
                   1071:  data: BEGIN
                   1072:        Create ' data="';
                   1073:        Create data;
1.12      cvs      1074:        Create DoubleQuote;
1.1       cvs      1075:        END;
                   1076: 
                   1077:  Object_type: BEGIN
                   1078:        Create ' type="';
                   1079:        Create Object_type;
1.12      cvs      1080:        Create DoubleQuote;
1.1       cvs      1081:        END;
                   1082: 
1.38      cvs      1083:  Link_type: BEGIN
                   1084:        Create ' type="';
                   1085:        Create Link_type;
                   1086:        Create DoubleQuote;
                   1087:        END;
                   1088: 
1.1       cvs      1089:  codetype: BEGIN
                   1090:        Create ' codetype="';
                   1091:        Create codetype;
1.12      cvs      1092:        Create DoubleQuote;
1.1       cvs      1093:        END;
1.46      cvs      1094: 
1.51      cvs      1095:  archive: BEGIN
                   1096:        Create ' archive="';
                   1097:        Create archive;
                   1098:        Create DoubleQuote;
                   1099:        END;
                   1100: 
                   1101:  standby: BEGIN
                   1102:        Create ' standby="';
                   1103:        Create standby;
                   1104:        Create DoubleQuote;
                   1105:        END;
                   1106: 
1.1       cvs      1107:  Title : BEGIN
                   1108:        NoTranslation;
                   1109:        Create ' title="';
                   1110:        Create Title;
1.12      cvs      1111:        Create DoubleQuote;
1.1       cvs      1112:        END;
                   1113: 
1.51      cvs      1114:  accesskey: BEGIN
                   1115:        Create ' accesskey="';
                   1116:        Create accesskey;
                   1117:        Create DoubleQuote;
                   1118:        END;
                   1119: 
                   1120:  tabindex: BEGIN
                   1121:        Create ' tabindex="';
                   1122:        Create tabindex;
                   1123:        Create DoubleQuote;
                   1124:        END;
                   1125: 
1.1       cvs      1126:  Class: BEGIN
1.22      cvs      1127:        Create ' class="';
                   1128:        Create Class;
                   1129:        Create DoubleQuote;
1.1       cvs      1130:        END;
                   1131: 
1.46      cvs      1132:  Style\240: BEGIN
1.22      cvs      1133:        IF not Within HEAD
1.1       cvs      1134:            BEGIN
1.21      cvs      1135:            Create ' style="';
1.1       cvs      1136:            Create Style\240;
1.12      cvs      1137:            Create DoubleQuote;
1.1       cvs      1138:            END;
                   1139:        END;
1.20      cvs      1140: 
                   1141:  ID:   BEGIN
                   1142:        Create ' id="';
                   1143:        Create ID;
                   1144:        Create DoubleQuote;
                   1145:        END;
1.46      cvs      1146: 
                   1147:  dir = ltr :
                   1148:        Create ' dir="ltr"';
                   1149:  dir = rtl :
                   1150:        Create ' dir="rtl"';
                   1151: 
                   1152:  onclick: BEGIN
                   1153:        Create ' onclick="';
                   1154:        Create onclick;
                   1155:        Create DoubleQuote;
                   1156:        END;
                   1157: 
                   1158:  ondblclick: BEGIN
                   1159:        Create ' ondblclick="';
                   1160:        Create ondblclick;
                   1161:        Create DoubleQuote;
                   1162:        END;
                   1163: 
                   1164:  onmousedown: BEGIN
                   1165:        Create ' onmousedown="';
                   1166:        Create onmousedown;
                   1167:        Create DoubleQuote;
                   1168:        END;
                   1169: 
                   1170:  onmouseup: BEGIN
                   1171:        Create ' onmouseup="';
                   1172:        Create onmouseup;
                   1173:        Create DoubleQuote;
                   1174:        END;
                   1175: 
                   1176:  onmouseover: BEGIN
                   1177:        Create ' onmouseover="';
                   1178:        Create onmouseover;
                   1179:        Create DoubleQuote;
                   1180:        END;
                   1181: 
                   1182:  onmousemove: BEGIN
                   1183:        Create ' onmousemove="';
                   1184:        Create onmousemove;
                   1185:        Create DoubleQuote;
                   1186:        END;
                   1187: 
                   1188:  onmouseout: BEGIN
                   1189:        Create ' onmouseout="';
                   1190:        Create onmouseout;
                   1191:        Create DoubleQuote;
                   1192:        END;
                   1193: 
                   1194:  onkeypress: BEGIN
                   1195:        Create ' onkeypress="';
                   1196:        Create onkeypress;
                   1197:        Create DoubleQuote;
                   1198:        END;
                   1199: 
                   1200:  onkeydown: BEGIN
                   1201:        Create ' onkeydown="';
                   1202:        Create onkeydown;
                   1203:        Create DoubleQuote;
                   1204:        END;
                   1205: 
                   1206:  onkeyup: BEGIN
                   1207:        Create ' onkeyup="';
                   1208:        Create onkeyup;
                   1209:        Create DoubleQuote;
                   1210:        END;
1.1       cvs      1211: 
1.51      cvs      1212:  onload: BEGIN
                   1213:        Create ' onload="';
                   1214:        Create onload;
                   1215:        Create DoubleQuote;
                   1216:        END;
                   1217: 
                   1218:  onunload: BEGIN
                   1219:        Create ' onunload="';
                   1220:        Create onunload;
                   1221:        Create DoubleQuote;
                   1222:        END;
                   1223: 
                   1224:  onfocus: BEGIN
                   1225:        Create ' onfocus="';
                   1226:        Create onfocus;
                   1227:        Create DoubleQuote;
                   1228:        END;
                   1229: 
                   1230:  onblur: BEGIN
                   1231:        Create ' onblur="';
                   1232:        Create onblur;
                   1233:        Create DoubleQuote;
                   1234:        END;
                   1235: 
                   1236:  onsubmit: BEGIN
                   1237:        Create ' onsubmit="';
                   1238:        Create onsubmit;
                   1239:        Create DoubleQuote;
                   1240:        END;
                   1241: 
                   1242:  onreset: BEGIN
                   1243:        Create ' onreset="';
                   1244:        Create onreset;
                   1245:        Create DoubleQuote;
                   1246:        END;
                   1247: 
                   1248:  onselect: BEGIN
                   1249:        Create ' onselect="';
                   1250:        Create onselect;
                   1251:        Create DoubleQuote;
                   1252:        END;
                   1253: 
                   1254:  onchange: BEGIN
                   1255:        Create ' onchange="';
                   1256:        Create onchange;
                   1257:        Create DoubleQuote;
                   1258:        END;
                   1259: 
1.1       cvs      1260:  BulletStyle = disc :
1.46      cvs      1261:        Create ' type="disc"';
1.1       cvs      1262:  BulletStyle = square :
1.46      cvs      1263:        Create ' type="square"';
1.1       cvs      1264:  BulletStyle = circle :
1.46      cvs      1265:        Create ' type="circle"';
1.1       cvs      1266: 
                   1267:  COMPACT:
                   1268:        Create ' compact';
                   1269: 
                   1270:  NumberStyle = Arabic_ :
1.46      cvs      1271:        Create ' type="1"';
1.1       cvs      1272:  NumberStyle = LowerAlpha :
1.46      cvs      1273:        Create ' type="a"';
1.1       cvs      1274:  NumberStyle = UpperAlpha :
1.46      cvs      1275:        Create ' type="A"';
1.1       cvs      1276:  NumberStyle = LowerRoman :
1.46      cvs      1277:        Create ' type="i"';
1.1       cvs      1278:  NumberStyle = UpperRoman :
1.46      cvs      1279:        Create ' type="I"';
1.1       cvs      1280: 
                   1281:  Start > 1: BEGIN
                   1282:        Create ' start="';
                   1283:        Create Start;
1.12      cvs      1284:        Create DoubleQuote;
1.1       cvs      1285:        END;
                   1286: 
                   1287:  ItemStyle = disc :
1.46      cvs      1288:        Create ' type="disc"';
1.1       cvs      1289:  ItemStyle = square :
1.46      cvs      1290:        Create ' type="square"';
1.1       cvs      1291:  ItemStyle = circle :
1.46      cvs      1292:        Create ' type="circle"';
1.1       cvs      1293:  ItemStyle = Arabic_ :
1.46      cvs      1294:        Create ' type="1"';
1.1       cvs      1295:  ItemStyle = LowerAlpha :
1.46      cvs      1296:        Create ' type="a"';
1.1       cvs      1297:  ItemStyle = UpperAlpha :
1.46      cvs      1298:        Create ' type="A"';
1.1       cvs      1299:  ItemStyle = LowerRoman :
1.46      cvs      1300:        Create ' type="i"';
1.1       cvs      1301:  ItemStyle = UpperRoman :
1.46      cvs      1302:        Create ' type="I"';
1.1       cvs      1303: 
                   1304:  ItemValue: BEGIN
                   1305:        Create ' value="';
                   1306:        Create ItemValue;
1.12      cvs      1307:        Create DoubleQuote;
1.1       cvs      1308:        END;
                   1309: 
                   1310:  Script_URL: BEGIN
                   1311:        Create ' action="';
                   1312:        Create Script_URL;
1.12      cvs      1313:        Create DoubleQuote;
1.1       cvs      1314:        END;
                   1315: 
                   1316:  METHOD=Post_:
1.15      cvs      1317:        Create ' method="post"';
1.1       cvs      1318: 
                   1319:  METHOD=Get_:
1.15      cvs      1320:        Create ' method="get"';
1.1       cvs      1321: 
                   1322:  ENCTYPE: BEGIN
                   1323:        Create ' enctype="';
                   1324:        Create ENCTYPE;
1.12      cvs      1325:        Create DoubleQuote;
1.1       cvs      1326:        END;
                   1327: 
1.51      cvs      1328:  accept_charset: BEGIN
                   1329:        Create ' accept-charset="';
                   1330:        Create accept_charset;
                   1331:        Create DoubleQuote;
                   1332:        END;
                   1333: 
1.1       cvs      1334:  NAME: BEGIN
                   1335:        NoTranslation;
                   1336:        Create ' name="';
                   1337:        Create NAME;
1.12      cvs      1338:        Create DoubleQuote;
1.1       cvs      1339:        END;
                   1340: 
                   1341:  Multiple:
                   1342:        Create ' multiple';
                   1343: 
1.4       cvs      1344:  MenuSize: BEGIN
1.12      cvs      1345:        Create ' size="';
1.4       cvs      1346:        Create MenuSize;
1.12      cvs      1347:        Create DoubleQuote;
1.4       cvs      1348:        END;
1.5       cvs      1349: 
                   1350:  Selected:
                   1351:        Create ' selected';
1.4       cvs      1352: 
1.9       cvs      1353:  Value_: BEGIN
1.1       cvs      1354:        Create ' value="';
1.13      cvs      1355:        Create Value_;
1.12      cvs      1356:        Create DoubleQuote;
1.1       cvs      1357:        END;
                   1358: 
                   1359:  Rows: BEGIN
1.12      cvs      1360:        Create ' rows="';
1.1       cvs      1361:        Create Rows;
1.12      cvs      1362:        Create DoubleQuote;
1.1       cvs      1363:        END;
                   1364: 
                   1365:  Columns: BEGIN
1.12      cvs      1366:        Create ' cols="';
1.1       cvs      1367:        Create Columns;
1.12      cvs      1368:        Create DoubleQuote;
1.1       cvs      1369:        END;
                   1370: 
                   1371:  Checked = Yes_:
                   1372:        Create ' checked';
                   1373: 
1.51      cvs      1374:  disabled:
                   1375:        Create ' disabled';
                   1376: 
                   1377:  readonly:
                   1378:        Create ' readonly';
                   1379: 
                   1380:  label: BEGIN
                   1381:        Create ' label="';
                   1382:        Create label;
                   1383:        Create DoubleQuote;
                   1384:        END;
                   1385: 
                   1386:  accept: BEGIN
                   1387:        Create ' accept="';
                   1388:        Create accept;
                   1389:        Create DoubleQuote;
                   1390:        END;
                   1391: 
1.1       cvs      1392:  Area_Size: BEGIN
1.12      cvs      1393:        Create ' size="';
1.1       cvs      1394:        Create Area_Size;
1.12      cvs      1395:        Create DoubleQuote;
1.1       cvs      1396:        END;
                   1397: 
                   1398:  MaxLength: BEGIN
1.12      cvs      1399:        Create ' maxlength="';
1.1       cvs      1400:        Create MaxLength;
1.12      cvs      1401:        Create DoubleQuote;
1.1       cvs      1402:        END;
                   1403: 
                   1404:  SRC:  BEGIN
                   1405:        Create ' src="';
                   1406:        Create SRC;
1.12      cvs      1407:        Create DoubleQuote;
1.1       cvs      1408:        END;
                   1409: 
                   1410:  ALT:  BEGIN
                   1411:        Create ' alt="';
                   1412:        Create ALT;
1.12      cvs      1413:        Create DoubleQuote;
1.1       cvs      1414:        END;
                   1415: 
1.51      cvs      1416:  longdesc: BEGIN
                   1417:        Create ' longdesc="';
                   1418:        Create longdesc;
                   1419:        Create DoubleQuote;
                   1420:        END;
                   1421: 
1.1       cvs      1422:  Alignment = Top_:
1.46      cvs      1423:        Create ' align="top"';
1.1       cvs      1424:  Alignment = Middle_:
1.46      cvs      1425:        Create ' align="middle"';
1.1       cvs      1426:  Alignment = Bottom_:
1.46      cvs      1427:        Create ' align="bottom"';
1.1       cvs      1428:  Alignment = Left_:
1.46      cvs      1429:        Create ' align="left"';
1.1       cvs      1430:  Alignment = Right_:
1.46      cvs      1431:        Create ' align="right"';
1.1       cvs      1432: 
                   1433:  Height_: BEGIN
                   1434:        Create ' height="';
                   1435:        Create Height_;
1.12      cvs      1436:        Create DoubleQuote;
1.1       cvs      1437:        END;
                   1438: 
                   1439:  Img_border: BEGIN
                   1440:        Create ' border="';
                   1441:        Create Img_border;
1.12      cvs      1442:        Create DoubleQuote;
1.1       cvs      1443:        END;
                   1444: 
                   1445:  hspace: BEGIN
                   1446:        Create ' hspace="';
                   1447:        Create hspace;
1.12      cvs      1448:        Create DoubleQuote;
1.1       cvs      1449:        END;
                   1450: 
                   1451:  vspace: BEGIN
                   1452:        Create ' vspace="';
                   1453:        Create vspace;
1.12      cvs      1454:        Create DoubleQuote;
1.1       cvs      1455:        END;
                   1456: 
                   1457:  ISMAP:
                   1458:        Create ' ismap';
                   1459: 
                   1460:  USEMAP: BEGIN
                   1461:        NoTranslation;
                   1462:        Create ' usemap="';
                   1463:        Create USEMAP;
1.12      cvs      1464:        Create DoubleQuote;
1.1       cvs      1465:        END;
                   1466: 
                   1467:  nohref:
                   1468:        Create ' nohref';
                   1469: 
                   1470:  shape = rectangle:
1.46      cvs      1471:        Create ' shape="rect"';
1.1       cvs      1472:  shape = circle:
1.46      cvs      1473:        Create ' shape="circle"';
1.1       cvs      1474:  shape = polygon:
1.46      cvs      1475:        Create ' shape="poly"';
1.1       cvs      1476: 
                   1477:  coords: BEGIN
                   1478:        Create ' coords="';
                   1479:        Create coords;
1.12      cvs      1480:        Create DoubleQuote;
1.1       cvs      1481:        END;
1.40      cvs      1482: 
                   1483: #ifdef MATHML
                   1484:  mode = inline_math:
1.46      cvs      1485:        Create ' mode="inline"';
1.40      cvs      1486:  mode = display:
1.46      cvs      1487:        Create ' mode="display"';
1.40      cvs      1488: #endif
1.1       cvs      1489: 
1.51      cvs      1490:  summary: BEGIN
                   1491:        Create ' summary="';
                   1492:        Create summary;
                   1493:        Create DoubleQuote;
                   1494:        END;
                   1495: 
                   1496:  frame = void:
                   1497:        Create ' frame="void"';
                   1498:  frame = above:
                   1499:        Create ' frame="above"';
                   1500:  frame = below:
                   1501:        Create ' frame="below"';
                   1502:  frame = hsides:
                   1503:        Create ' frame="hsides"';
                   1504:  frame = lhs:
                   1505:        Create ' frame="lhs"';
                   1506:  frame = rhs:
                   1507:        Create ' frame="rhs"';
                   1508:  frame = vsides:
                   1509:        Create ' frame="vsides"';
                   1510:  frame = box:
                   1511:        Create ' frame="box"';
                   1512:  frame = border:
                   1513:        Create ' frame="border"';
                   1514:  
                   1515:  rules_ = none:
                   1516:        Create ' rules="none"';
                   1517:  rules_ = groups:
                   1518:        Create ' rules="groups"';
                   1519:  rules_ = rows:
                   1520:        Create ' rules="rows"';
                   1521:  rules_ = cols:
                   1522:        Create ' rules="cols"';
                   1523:  rules_ = all:
                   1524:        Create ' rules="all"';
                   1525: 
1.1       cvs      1526:  Border: BEGIN
1.12      cvs      1527:        Create ' border="';
1.1       cvs      1528:        Create Border;
1.12      cvs      1529:        Create DoubleQuote;
1.1       cvs      1530:        END;
                   1531: 
                   1532:  cellspacing: BEGIN
                   1533:        Create ' cellspacing="';
                   1534:        Create cellspacing;
1.12      cvs      1535:        Create DoubleQuote;
1.1       cvs      1536:        END;
                   1537: 
                   1538:  cellpadding: BEGIN
                   1539:        Create ' cellpadding="';
                   1540:        Create cellpadding;
1.12      cvs      1541:        Create DoubleQuote;
1.1       cvs      1542:        END;
                   1543: 
1.51      cvs      1544:  datapagesize: BEGIN
                   1545:        Create ' datapagesize="';
                   1546:        Create datapagesize;
                   1547:        Create DoubleQuote;
                   1548:        END;
                   1549: 
1.1       cvs      1550:  Position = Position_top:
1.46      cvs      1551:         Create ' align="top"';
1.1       cvs      1552:  Position = Position_bottom:
1.46      cvs      1553:         Create ' align="bottom"';
1.51      cvs      1554:  Position = Position_left:
1.46      cvs      1555:         Create ' align="left"';
1.51      cvs      1556:  Position = Position_right:
1.46      cvs      1557:         Create ' align="right"';
1.51      cvs      1558: 
1.1       cvs      1559:  Row_valign = Row_top:
1.46      cvs      1560:         Create ' valign="top"';
1.1       cvs      1561:  Row_valign = Row_middle:
1.46      cvs      1562:         Create ' valign="middle"';
1.1       cvs      1563:  Row_valign = Row_bottom:
1.46      cvs      1564:         Create ' valign="bottom"';
1.51      cvs      1565:  Row_valign = Row_baseline:
                   1566:         Create ' valign="baseline"';
1.1       cvs      1567: 
1.51      cvs      1568:  abbr: BEGIN
                   1569:        Create ' ="abbr';
                   1570:        Create abbr;
                   1571:        Create DoubleQuote;
                   1572:        END;
                   1573: 
                   1574:  axis: BEGIN
                   1575:        Create ' ="axis';
                   1576:        Create axis;
                   1577:        Create DoubleQuote;
                   1578:        END;
                   1579: 
                   1580:  headers: BEGIN
                   1581:        Create ' ="headers';
                   1582:        Create headers;
                   1583:        Create DoubleQuote;
                   1584:        END;
                   1585: 
                   1586:  scope: BEGIN
                   1587:        Create ' ="scope';
                   1588:        Create scope;
1.12      cvs      1589:        Create DoubleQuote;
1.1       cvs      1590:        END;
                   1591: 
1.39      cvs      1592:  rowspan_: BEGIN
1.12      cvs      1593:        Create ' rowspan="';
1.39      cvs      1594:        Create rowspan_;
1.12      cvs      1595:        Create DoubleQuote;
1.1       cvs      1596:        END;
                   1597: 
1.51      cvs      1598:  colspan_: BEGIN
                   1599:        Create ' colspan="';
                   1600:        Create colspan_;
                   1601:        Create DoubleQuote;
                   1602:        END;
                   1603: 
1.1       cvs      1604:  Cell_align = Cell_left:
1.46      cvs      1605:        Create ' align="left"';
1.1       cvs      1606:  Cell_align = Cell_center:
1.46      cvs      1607:        Create ' align="center"';
1.1       cvs      1608:  Cell_align = Cell_right:
1.46      cvs      1609:        Create ' align="right"';
1.51      cvs      1610:  Cell_align = Cell_justify:
                   1611:        Create ' align="justify"';
                   1612:  Cell_align = Cell_char:
                   1613:        Create ' align="char"';
                   1614: 
                   1615:  char: BEGIN
                   1616:        Create ' char="';
                   1617:        Create char;
                   1618:        Create DoubleQuote;
                   1619:        END;
1.1       cvs      1620: 
1.51      cvs      1621:  charoff: BEGIN
                   1622:        Create ' charoff="';
                   1623:        Create charoff;
                   1624:        Create DoubleQuote;
                   1625:        END;
                   1626:  
1.1       cvs      1627:  Cell_valign = Cell_top:
1.46      cvs      1628:        Create ' valign="top"';
1.1       cvs      1629:  Cell_valign = Cell_middle:
1.46      cvs      1630:        Create ' valign="middle"';
1.1       cvs      1631:  Cell_valign = Cell_bottom:
1.46      cvs      1632:        Create ' valign="bottom"';
1.51      cvs      1633:  Cell_valign = Cell_baseline:
                   1634:        Create ' valign="baseline"';
1.1       cvs      1635: 
1.24      cvs      1636:  No_wrap = no_wrap:
1.1       cvs      1637:        Create ' nowrap';
                   1638: 
                   1639:  Invalid_attribute:
                   1640:        Create Invalid_attribute;
                   1641: 
                   1642: #include "Text_SGML.inc"
                   1643: 
1.35      cvs      1644: #include "greek.sgml"
                   1645: 
1.1       cvs      1646: GraphTRANSLATE
                   1647:        BEGIN
                   1648:        'c' -> 'circle';
                   1649:        'Q' -> 'circle';
                   1650:        'R' -> 'rect';
                   1651:        'C' -> 'rect';
                   1652:        ' ' -> 'rect';
                   1653:        'P' -> 'rect';
                   1654:        'p' -> 'polygon';
                   1655:        'B' -> 'polygon';
                   1656:        END;
                   1657: 
                   1658: END

Webmaster