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

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

Webmaster