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

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: 
                     59:  Styles: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.15      cvs        69:        Create '</style>\12' After;
1.1       cvs        70:        END;
                     71: 
                     72:  SCRIPT: BEGIN
1.15      cvs        73:        Create '<script';
1.1       cvs        74:        Create Attributes;
                     75:        Create '>\12' After;
                     76:        END;
                     77: 
                     78:  META: BEGIN
1.15      cvs        79:        Create '<meta';
1.1       cvs        80:        Remove;
                     81:        Create Attributes;
                     82:        Create '>\12' After;
                     83:        END;
                     84: 
                     85:  LINK: BEGIN
1.15      cvs        86:        Create '<link';
1.1       cvs        87:        Remove;
                     88:        Create Attributes;
                     89:        Create '>\12' After;
                     90:        END;
                     91: 
                     92:  BODY: BEGIN
1.15      cvs        93:        Create '<body';
1.1       cvs        94:        Create Attributes;
                     95:        Create '>\12';
1.15      cvs        96:        Create '</body>\12' After;
1.1       cvs        97:        END;
                     98: 
                     99:  H1:   BEGIN
1.28      cvs       100:        if not within Preformatted Create '\12';
1.15      cvs       101:        Create '<h1';
1.1       cvs       102:        Create Attributes;
                    103:        Create '>';
1.15      cvs       104:        Create '</h1>' After;
1.28      cvs       105:        if not within Preformatted Create '\12' After;
1.1       cvs       106:        END;
                    107: 
                    108:  H2:   BEGIN
1.28      cvs       109:        if not within Preformatted Create '\12';
1.15      cvs       110:        Create '<h2';
1.1       cvs       111:        Create Attributes;
                    112:        Create '>';
1.15      cvs       113:        Create '</h2>' After;
1.28      cvs       114:        if not within Preformatted Create '\12' After;
1.1       cvs       115:        END;
                    116: 
                    117:  H3:   BEGIN
1.28      cvs       118:        if not within Preformatted Create '\12';
1.15      cvs       119:        Create '<h3';
1.1       cvs       120:        Create Attributes;
                    121:        Create '>';
1.15      cvs       122:        Create '</h3>' After;
1.28      cvs       123:        if not within Preformatted Create '\12' After;
1.1       cvs       124:        END;
                    125: 
                    126:  H4:   BEGIN
1.28      cvs       127:        if not within Preformatted Create '\12';
1.15      cvs       128:        Create '<h4';
1.1       cvs       129:        Create Attributes;
                    130:        Create '>';
1.15      cvs       131:        Create '</h4>' After;
1.28      cvs       132:        if not within Preformatted Create '\12' After;
1.1       cvs       133:        END;
                    134: 
                    135:  H5:   BEGIN
1.28      cvs       136:        if not within Preformatted Create '\12';
1.15      cvs       137:        Create '<h5';
1.1       cvs       138:        Create Attributes;
                    139:        Create '>';
1.15      cvs       140:        Create '</h5>' After;
                    141:        if not within Preformatted Create '\12' After;
1.1       cvs       142:        END;
                    143: 
                    144:  H6:   BEGIN
1.28      cvs       145:        if not within Preformatted Create '\12';
1.15      cvs       146:        Create '<h6';
1.1       cvs       147:        Create Attributes;
                    148:        Create '>';
1.15      cvs       149:        Create '</h6>' After;
                    150:        if not within Preformatted Create '\12' After;
1.1       cvs       151:        END;
                    152: 
                    153:  BaseFont:
                    154:        BEGIN
1.15      cvs       155:        Create '<basefont';
1.1       cvs       156:        Remove;
                    157:        Create Attributes;
                    158:        Create '>\12';
                    159:        END;
                    160: 
1.6       cvs       161:  BR:   BEGIN
1.15      cvs       162:        Create '<br';
1.6       cvs       163:        Create Attributes;
1.13      cvs       164:        Create '>\12';
1.6       cvs       165:        Remove;
                    166:        END;
1.1       cvs       167:  Italic_text:
                    168:        BEGIN
1.15      cvs       169:        Create '<i';
1.1       cvs       170:        Create Attributes;
                    171:        Create '>';
1.15      cvs       172:        Create '</i>' After;
1.1       cvs       173:        END;
                    174:  Bold_text:
                    175:        BEGIN
1.15      cvs       176:        Create '<b';
1.1       cvs       177:        Create Attributes;
                    178:        Create '>';
1.15      cvs       179:        Create '</b>' After;
1.1       cvs       180:        END;
                    181:  Teletype_text:
                    182:        BEGIN
1.15      cvs       183:        Create '<tt';
1.1       cvs       184:        Create Attributes;
                    185:        Create '>';
1.15      cvs       186:        Create '</tt>' After;
1.1       cvs       187:        END;
1.8       cvs       188:  Underlined_text:
                    189:        BEGIN
1.15      cvs       190:        Create '<u';
1.8       cvs       191:        Create Attributes;
                    192:        Create '>';
1.15      cvs       193:        Create '</u>' After;
1.8       cvs       194:        END;
1.1       cvs       195:  Struck_text:
                    196:        BEGIN
1.15      cvs       197:        Create '<strike';
1.1       cvs       198:        Create Attributes;
                    199:        Create '>';
1.15      cvs       200:        Create '</strike>' After;
1.1       cvs       201:        END;
                    202:  Big_text:
                    203:        BEGIN
1.15      cvs       204:        Create '<big';
1.1       cvs       205:        Create Attributes;
                    206:        Create '>';
1.15      cvs       207:        Create '</big>' After;
1.1       cvs       208:        END;
                    209:  Small_text:
                    210:        BEGIN
1.15      cvs       211:        Create '<small';
1.1       cvs       212:        Create Attributes;
                    213:        Create '>';
1.15      cvs       214:        Create '</small>' After;
1.1       cvs       215:        END;
                    216:  Subscript:
                    217:        BEGIN
1.15      cvs       218:        Create '<sub';
1.1       cvs       219:        Create Attributes;
                    220:        Create '>';
1.15      cvs       221:        Create '</sub>' After;
1.1       cvs       222:        END;
                    223:  Superscript:
                    224:        BEGIN
1.15      cvs       225:        Create '<sup';
1.1       cvs       226:        Create Attributes;
                    227:        Create '>';
1.15      cvs       228:        Create '</sup>' After;
1.1       cvs       229:        END;
                    230: 
                    231:  Emphasis:
                    232:        BEGIN
1.15      cvs       233:        Create '<em';
1.1       cvs       234:        Create Attributes;
                    235:        Create '>';
1.15      cvs       236:        Create '</em>' After;
1.1       cvs       237:        END;
                    238:  Strong:
                    239:        BEGIN
1.15      cvs       240:        Create '<strong';
1.1       cvs       241:        Create Attributes;
                    242:        Create '>';
1.15      cvs       243:        Create '</strong>' After;
1.1       cvs       244:        END;
                    245:  Def:
                    246:        BEGIN
1.15      cvs       247:        Create '<dfn';
1.1       cvs       248:        Create Attributes;
                    249:        Create '>';
1.15      cvs       250:        Create '</dfn>' After;
1.1       cvs       251:        END;
                    252:  Code:
                    253:        BEGIN
1.15      cvs       254:        Create '<code';
1.1       cvs       255:        Create Attributes;
                    256:        Create '>';
1.15      cvs       257:        Create '</code>' After;
1.1       cvs       258:        END;
                    259:  Sample:
                    260:        BEGIN
1.15      cvs       261:        Create '<samp';
1.1       cvs       262:        Create Attributes;
                    263:        Create '>';
1.15      cvs       264:        Create '</samp>' After;
1.1       cvs       265:        END;
                    266:  Keyboard:
                    267:        BEGIN
1.15      cvs       268:        Create '<kbd';
1.1       cvs       269:        Create Attributes;
                    270:        Create '>';
1.15      cvs       271:        Create '</kbd>' After;
1.1       cvs       272:        END;
                    273:  Variable:
                    274:        BEGIN
1.15      cvs       275:        Create '<var';
1.1       cvs       276:        Create Attributes;
                    277:        Create '>';
1.15      cvs       278:        Create '</var>' After;
1.1       cvs       279:        END;
                    280:  Cite:
                    281:        BEGIN
1.15      cvs       282:        Create '<cite';
1.1       cvs       283:        Create Attributes;
                    284:        Create '>';
1.15      cvs       285:        Create '</cite>' After;
1.1       cvs       286:        END;
1.48    ! cvs       287:  ABBR:
        !           288:        BEGIN
        !           289:        Create '<abbr';
        !           290:        Create Attributes;
        !           291:        Create '>';
        !           292:        Create '</abbr>' After;
        !           293:        END;
        !           294:  ACRONYM:
        !           295:        BEGIN
        !           296:        Create '<acronym';
        !           297:        Create Attributes;
        !           298:        Create '>';
        !           299:        Create '</acronym>' After;
        !           300:        END;
1.1       cvs       301: 
                    302:  Font_: BEGIN
1.15      cvs       303:        Create '<font';
1.1       cvs       304:        Create Attributes;
                    305:        Create '>';
1.15      cvs       306:        Create '</font>' After;
1.1       cvs       307:        END;
                    308: 
                    309:  Applet: BEGIN
1.15      cvs       310:        Create '<applet';
1.1       cvs       311:        Create Attributes;
                    312:        Create '>\12';
1.15      cvs       313:        Create '</applet>\12' After;    
1.1       cvs       314:        END;
                    315: 
                    316:  Parameter: BEGIN
1.15      cvs       317:        Create '<param';
1.1       cvs       318:        Create Attributes;
                    319:        Remove;
                    320:        Create '>\12';
                    321:        END;
                    322: 
                    323:  Object: BEGIN
1.15      cvs       324:        Create '<object';
1.1       cvs       325:        Create Attributes;
                    326:        Create '>\12';
1.15      cvs       327:        Create '</object>\12' After;    
1.1       cvs       328:        END;
1.20      cvs       329: 
                    330:  Span: BEGIN
                    331:        Create '<span';
                    332:        Create Attributes;
                    333:        Create '>';
                    334:        Create '</span>' After;
                    335:        END;
1.29      cvs       336: 
1.48    ! cvs       337:  Quotation: BEGIN
        !           338:        Create '<q';
        !           339:        Create Attributes;
        !           340:        Create '>';
        !           341:        Create '</q>' After;
        !           342:        END;
        !           343: 
        !           344:  BDO: BEGIN
        !           345:        Create '<bdo';
        !           346:        Create Attributes;
        !           347:        Create '>';
        !           348:        Create '</bdo>' After;
        !           349:        END;
        !           350: 
        !           351:  IFRAME: BEGIN
        !           352:        Create '<iframe';
        !           353:        Create Attributes;
        !           354:        Create '>\12';
        !           355:        Create '</iframe>\12' After;    
        !           356:        END;
        !           357: 
1.29      cvs       358: #ifdef MATHML
1.33      cvs       359:  Math: BEGIN
                    360:        Create '<math';
1.29      cvs       361:        Create Attributes;
                    362:        Create '>\12';
1.31      cvs       363:         indent +2;
                    364:         indent -2 after;
1.33      cvs       365:        Create '</math>\12' After;      
                    366:        END;
                    367:  MathDisp: BEGIN
1.40      cvs       368:        Create '<math';
1.33      cvs       369:        Create Attributes;
                    370:        Create '>\12';
                    371:         indent +2;
                    372:         indent -2 after;
1.40      cvs       373:        Create '</math>\12' After;      
1.29      cvs       374:        END;
1.30      cvs       375:  MathML:
                    376:        Use MathMLT;    
1.41      cvs       377: #endif
                    378: #ifdef GRAPHML
                    379:  XMLGraphics: BEGIN
                    380:        Create '<xmlgraphics';
                    381:        Create Attributes;
                    382:        Create '>\12';
                    383:         indent +2;
                    384:         indent -2 after;
                    385:        Create '</xmlgraphics>\12' After;       
                    386:        END;
                    387:  GraphML:
                    388:        Use GraphMLT;   
1.29      cvs       389: #endif
                    390: 
1.1       cvs       391:  Paragraph: BEGIN
1.16      cvs       392:        Create '<p';
                    393:        Create Attributes;
                    394:        Create '>\12';
                    395:        Create '</p>' After;
                    396:        Create '\12' After;
                    397:        END;
                    398: 
                    399:  Pseudo_paragraph: BEGIN
                    400:        Create '\12';
1.1       cvs       401:        Create '\12' After;
                    402:        END;
                    403: 
                    404:  TEXT_UNIT: BEGIN
                    405:        IF Within Text_Area
                    406:                Remove;
                    407:        IF Within Text_Input
                    408:                Remove;
                    409:        END;
                    410: 
                    411:  Definition_List: BEGIN
1.15      cvs       412:        Create '<dl';
1.1       cvs       413:        Create Attributes;
                    414:        Create '>\12';
1.15      cvs       415:        Create '</dl>\12' After;
1.1       cvs       416:        END;
                    417: 
                    418:  Term: BEGIN
1.15      cvs       419:        Create '<dt';
1.1       cvs       420:        Create Attributes;
                    421:        Create '>';
1.15      cvs       422:        Create '</dt>\12' After;
1.1       cvs       423:        END;
                    424: 
                    425:  Definition: BEGIN
1.15      cvs       426:        Create '<dd';
1.1       cvs       427:        Create Attributes;
                    428:        Create '>';
1.15      cvs       429:        Create '</dd>\12' After;
1.1       cvs       430:        END;
                    431: 
                    432:  Unnumbered_List: BEGIN
1.15      cvs       433:        Create '<ul';
1.1       cvs       434:        Create Attributes;
                    435:        Create '>\12';
1.15      cvs       436:        Create '</ul>\12' After;
1.1       cvs       437:        END;
                    438: 
                    439:  Numbered_List:        BEGIN
1.15      cvs       440:        Create '<ol';
1.1       cvs       441:        Create Attributes;
                    442:        Create '>\12';
1.15      cvs       443:        Create '</ol>\12' After;
1.1       cvs       444:        END;
                    445: 
                    446:  Address: BEGIN
1.15      cvs       447:        Create '<address';
1.1       cvs       448:        Create Attributes;
                    449:        Create '>\12';
1.15      cvs       450:        Create '</address>\12' After;
1.1       cvs       451:        END;
                    452: 
                    453:  Menu: BEGIN
1.15      cvs       454:        Create '<menu';
1.1       cvs       455:        Create Attributes;
                    456:        Create '>\12';
1.15      cvs       457:        Create '</menu>\12' After;
1.1       cvs       458:        END;
                    459: 
                    460:  Directory: BEGIN
1.15      cvs       461:        Create '<dir';
1.1       cvs       462:        Create Attributes;
                    463:        Create '>\12';
1.15      cvs       464:        Create '</dir>\12' After;
1.1       cvs       465:        END;
                    466: 
                    467:  List_Item: BEGIN
1.15      cvs       468:        Create '<li';
1.1       cvs       469:        Create Attributes;
                    470:        Create '>';
                    471:        END;
                    472: 
                    473:  Preformatted: BEGIN
                    474:        NoLineBreak;
1.15      cvs       475:        Create '<pre';
1.1       cvs       476:        Create Attributes;
                    477:        Create '>';
1.15      cvs       478:        Create '</pre>\12' After;
1.1       cvs       479:        END;
                    480: 
                    481:  Horizontal_Rule: BEGIN
1.15      cvs       482:        Create '<hr';
1.1       cvs       483:        Create Attributes;
                    484:        Remove;
1.15      cvs       485:        Create '>';
1.17      cvs       486:        if not within Preformatted Create '\12';
1.1       cvs       487:        END;
                    488: 
                    489:  Form: BEGIN
1.15      cvs       490:        Create '<form';
1.1       cvs       491:        Create Attributes;
                    492:        Create '>\12';
1.15      cvs       493:        Create '</form>\12' After;
1.1       cvs       494:        END;
                    495: 
                    496:  Option_Menu: BEGIN
1.15      cvs       497:        Create '\12<select';
1.1       cvs       498:        Create Attributes;
1.5       cvs       499:        Create '>';
1.15      cvs       500:        Create '\12</select>\12' After;
1.1       cvs       501:        END;
                    502: 
                    503:  Option: BEGIN
1.15      cvs       504:        Create '\12<option';
1.5       cvs       505:        Create Attributes;
                    506:        Create '>';
1.1       cvs       507:        END;
                    508: 
                    509:  Text_Area: BEGIN
1.15      cvs       510:        Create '<textarea';
1.1       cvs       511:        Create Attributes;
                    512:        Create '>';
1.15      cvs       513:        Create '</textarea>';
1.1       cvs       514:        END;
                    515: 
                    516:  Checkbox_Input: BEGIN
1.15      cvs       517:        Create '<input type=checkbox';
1.1       cvs       518:        Create Attributes;
                    519:        Create '>';
                    520:        Remove;
                    521:        END;
                    522: 
                    523:  Radio_Input: BEGIN
1.15      cvs       524:        Create '<input type=radio';
1.1       cvs       525:        Create Attributes;
                    526:        Create '>';
                    527:        Remove;
                    528:        END;
                    529: 
                    530:  Text_Input: BEGIN
1.15      cvs       531:        Create '<input type=text';
1.1       cvs       532:        Create Attributes;
                    533:        Create '>';
                    534:        Remove;
                    535:        END;
                    536: 
                    537:  Hidden_Input: BEGIN
1.15      cvs       538:        Create '<input type=hidden';
1.1       cvs       539:        Create Attributes;
                    540:        Create '>';
                    541:        Remove;
                    542:        END;
                    543: 
                    544:  Password_Input: BEGIN
1.15      cvs       545:        Create '<input type=password';
1.1       cvs       546:        Create Attributes;
                    547:        Create '>';
                    548:        Remove;
                    549:        END;
                    550: 
                    551:  File_Input: BEGIN
1.15      cvs       552:        Create '<input type=file';
1.1       cvs       553:        Create Attributes;
                    554:        Create '>';
                    555:        Remove;
                    556:        END;
                    557: 
                    558:  Reset_Input: BEGIN
1.15      cvs       559:        Create '\12<input type=reset';
1.1       cvs       560:        Create Attributes;
                    561:        Create '>';
                    562:        Remove;
                    563:        END;
                    564: 
                    565:  Submit_Input: BEGIN
1.15      cvs       566:        Create '\12<input type=submit';
1.1       cvs       567:        Create Attributes;
                    568:        Create '>';
                    569:        Remove;
                    570:        END;
                    571: 
                    572:  Block_Quote: BEGIN
1.15      cvs       573:        Create '<blockquote';
1.1       cvs       574:        Create Attributes;
                    575:        Create '>\12';
1.15      cvs       576:        Create '</blockquote>\12' After;
1.1       cvs       577:        END;
                    578: 
                    579:  PICTURE_UNIT: BEGIN
1.10      cvs       580:        if Immediately within Object
                    581:                Remove;
                    582:        if NOT Immediately within Object BEGIN
1.15      cvs       583:                Create '<img';
1.10      cvs       584:                Create Attributes;
                    585:                Create '>' After;
                    586:                END;
                    587:        if NOT within Paragraph AND NOT Immediately within Object
                    588:                Create '\12' After;
1.1       cvs       589:        END;
                    590: 
                    591:  Anchor: BEGIN
1.15      cvs       592:        Create '<a';
1.1       cvs       593:        Create Attributes;
                    594:        Create '>';
1.15      cvs       595:        Create '</a>' After;
1.1       cvs       596:        END;
                    597: 
                    598:  MAP:
                    599:        BEGIN
1.15      cvs       600:        Create '<map';
1.1       cvs       601:        Create Attributes;
                    602:        Create '>\12';
1.15      cvs       603:        Create '</map>\12' after;
1.1       cvs       604:        END;
                    605: 
                    606:  AREA:
                    607:        BEGIN
1.15      cvs       608:        Create '<area';
1.1       cvs       609:        Create Attributes;
                    610:        Remove;
                    611:        Create '>\12';
                    612:        END;
                    613: 
                    614: { ---- Tables ---- }
                    615: 
                    616:  Table:
                    617:        BEGIN
1.15      cvs       618:        Create '\12<table';
1.1       cvs       619:        Create Attributes;
                    620:        Create '>\12';
1.15      cvs       621:        Create '</table>\12' after;
1.1       cvs       622:        END;
                    623: 
                    624:  CAPTION:
                    625:        BEGIN
1.15      cvs       626:        Create '<caption';
1.1       cvs       627:        Create Attributes;
                    628:        Create '>';
1.15      cvs       629:        Create '</caption>\12' after;
1.1       cvs       630:        END;
                    631: 
                    632:  Table_head:
                    633:        Remove;
                    634: 
                    635:  thead:
                    636:        BEGIN
1.15      cvs       637:        Create '<thead';
1.1       cvs       638:        Create Attributes;
                    639:        Create '>\12';
1.15      cvs       640:        Create '</thead>\12' after;
1.1       cvs       641:        END;
                    642: 
                    643:  tfoot:
                    644:        BEGIN
1.15      cvs       645:        Create '<tfoot';
1.1       cvs       646:        Create Attributes;
                    647:        Create '>\12';
1.15      cvs       648:        Create '</tfoot>\12' after;
1.1       cvs       649:        END;
                    650:  tbody:
                    651:        BEGIN
1.15      cvs       652:        Create '<tbody';
1.1       cvs       653:        Create Attributes;
                    654:        Create '>\12';
1.15      cvs       655:        Create '</tbody>\12' after;
1.1       cvs       656:        END;
                    657: 
                    658:  Table_body:
                    659:        Get tfoot;
                    660: 
                    661:  Table_row:
                    662:        BEGIN
1.15      cvs       663:        Create '<tr';
1.1       cvs       664:        Create Attributes;
                    665:        Create '>\12';
1.15      cvs       666:        Create '</tr>\12' after;
1.1       cvs       667:        END;
                    668: 
                    669:  Data_cell:
                    670:        BEGIN
1.15      cvs       671:        Create '<td';
1.1       cvs       672:        Create Attributes;
                    673:        Create '>';
1.25      cvs       674:        Create '</td>\12' after;
1.1       cvs       675:        END;
                    676: 
                    677:  Heading_cell:
                    678:        BEGIN
1.15      cvs       679:        Create '<th';
1.1       cvs       680:        Create Attributes;
                    681:        Create '>';
1.25      cvs       682:        Create '</th>\12' after;
1.1       cvs       683:        END;
                    684: 
                    685:  Table_foot:
                    686:        BEGIN
                    687:        Remove;
                    688:        END;
                    689: 
                    690:  Division: BEGIN
1.15      cvs       691:        Create '\12<div';
1.1       cvs       692:        Create Attributes;
                    693:        Create '>\12';
1.15      cvs       694:        Create '</div>\12' After;
1.1       cvs       695:        END;
                    696: 
                    697:  Center: BEGIN
1.15      cvs       698:        Create '\12<center';
1.1       cvs       699:        Create Attributes;
                    700:        Create '>\12';
1.15      cvs       701:        Create '</center>\12' After;
1.1       cvs       702:        END;
                    703: 
1.8       cvs       704:  Invalid_element:
                    705:        BEGIN
                    706:        if Error_type = BadPosition
                    707:           Remove;
                    708:        if not Error_type = BadPosition
                    709:            BEGIN
                    710:           NoTranslation;
                    711:           Create Content;
                    712:           Remove;
                    713:           Create Attributes;
                    714:           Create '>';
                    715:           END;
1.1       cvs       716:        END;
                    717: 
                    718:  Comment\240: BEGIN
                    719:        NoLineBreak;
                    720:        Create '<!--';
1.27      cvs       721:        NoTranslation;
1.1       cvs       722:        Create '-->\12' after;
                    723:        END;
                    724: 
                    725:  Comment_line: BEGIN
                    726:        if not last create '\12' after;
                    727:        END;
                    728: 
                    729: ATTRIBUTES
1.18      cvs       730: 
1.19      cvs       731:  Langue:
1.20      cvs       732:        IF not HTML
                    733:            BEGIN
                    734:            Create ' lang="';
                    735:            Create Langue;
                    736:            Create DoubleQuote;
                    737:            END;
1.1       cvs       738: 
                    739:  http_equiv: BEGIN
                    740:        Create ' http-equiv="';
                    741:        Create http_equiv;
1.12      cvs       742:        Create DoubleQuote;
1.1       cvs       743:        END;
                    744: 
                    745:  meta_name: BEGIN
                    746:        Create ' name="';
                    747:        Create meta_name;
1.12      cvs       748:        Create DoubleQuote;
1.1       cvs       749:        END;
                    750: 
                    751:  meta_content: BEGIN
                    752:        Create ' content="';
                    753:        Create meta_content;
1.12      cvs       754:        Create DoubleQuote;
1.1       cvs       755:        END;
                    756: 
                    757:  REL:  BEGIN
                    758:        Create ' rel="';
                    759:        Create REL;
1.12      cvs       760:        Create DoubleQuote;
1.1       cvs       761:        END;
                    762: 
                    763:  REV:  BEGIN
                    764:        Create ' rev="';
                    765:        Create REV;
1.12      cvs       766:        Create DoubleQuote;
1.1       cvs       767:        END;
                    768: 
                    769:  HREF_ :
                    770:        BEGIN
                    771:        NoTranslation;
                    772:        Create ' href="';
                    773:        Create HREF_;
1.12      cvs       774:        Create DoubleQuote;
1.1       cvs       775:        END;
                    776: 
                    777:  background_ :
                    778:        BEGIN
                    779:        Create ' background="';
                    780:        Create background_;
1.12      cvs       781:        Create DoubleQuote;
1.1       cvs       782:        END;
                    783: 
                    784:  BackgroundColor :
                    785:        BEGIN
                    786:        Create ' bgcolor="';
                    787:        Create BackgroundColor;
1.12      cvs       788:        Create DoubleQuote;
1.1       cvs       789:        END;
                    790: 
                    791:  TextColor :
                    792:        BEGIN
                    793:        Create ' text="';
                    794:        Create TextColor;
1.12      cvs       795:        Create DoubleQuote;
1.1       cvs       796:        END;
                    797: 
                    798:  LinkColor :
                    799:        BEGIN
                    800:        Create ' link="';
                    801:        Create LinkColor;
1.12      cvs       802:        Create DoubleQuote;
1.1       cvs       803:        END;
                    804: 
                    805:  VisitedLinkColor :
                    806:        BEGIN
                    807:        Create ' vlink="';
                    808:        Create VisitedLinkColor;
1.12      cvs       809:        Create DoubleQuote;
1.1       cvs       810:        END;
                    811: 
                    812:  ActiveLinkColor :
                    813:        BEGIN
                    814:        Create ' alink="';
                    815:        Create ActiveLinkColor;
1.12      cvs       816:        Create DoubleQuote;
1.1       cvs       817:        END;
                    818: 
                    819:  BaseFontSize:
                    820:        BEGIN
1.12      cvs       821:        Create ' size="';
1.1       cvs       822:        Create BaseFontSize;
1.12      cvs       823:        Create DoubleQuote;
1.1       cvs       824:        END;
                    825: 
1.48    ! cvs       826:  BaseFontColor:
        !           827:        BEGIN
        !           828:        Create ' color="';
        !           829:        Create BaseFontColor;
        !           830:        Create DoubleQuote;
        !           831:        END;
        !           832: 
        !           833:  BaseFontFace:
        !           834:        BEGIN
        !           835:        Create ' facee="';
        !           836:        Create BaseFontFace;
        !           837:        Create DoubleQuote;
        !           838:        END;
        !           839: 
1.1       cvs       840:  Font_size :
                    841:        BEGIN
                    842:        Create ' size="';
                    843:        Create Font_size;
1.12      cvs       844:        Create DoubleQuote;
1.1       cvs       845:        END;
                    846: 
                    847:  color :
                    848:        BEGIN
                    849:        Create ' color="';
                    850:        Create color;
1.48    ! cvs       851:        Create DoubleQuote;
        !           852:        END;
        !           853: 
        !           854:  face :
        !           855:        BEGIN
        !           856:        Create ' face="';
        !           857:        Create face;
1.12      cvs       858:        Create DoubleQuote;
1.1       cvs       859:        END;
1.6       cvs       860: 
                    861:  Clear = Left_:
1.46      cvs       862:        Create ' clear="left"';
1.6       cvs       863:  Clear = Right_:
1.46      cvs       864:        Create ' clear="right"';
1.9       cvs       865:  Clear = All_:
1.46      cvs       866:        Create ' clear="all"';
1.9       cvs       867:  Clear = None:
1.46      cvs       868:        Create ' clear="none"';
1.1       cvs       869: 
                    870:  Align = left_:
1.46      cvs       871:        Create ' align="left"';
1.1       cvs       872:  Align = center_:
1.46      cvs       873:        Create ' align="center"';
1.1       cvs       874:  Align = right_:
1.46      cvs       875:        Create ' align="right"';
                    876: 
                    877:  TextAlign = left_:
                    878:        Create ' align="left"';
                    879:  TextAlign = center_:
                    880:        Create ' align="center"';
                    881:  TextAlign = right_:
                    882:        Create ' align="right"';
                    883:  TextAlign = justify_:
                    884:        Create ' align="justify"';
1.1       cvs       885: 
                    886:  NoShade:
                    887:        Create ' noshade';
                    888: 
                    889:  Size_: BEGIN
                    890:        Create ' size="';
                    891:        Create Size_;
1.12      cvs       892:        Create DoubleQuote;
1.1       cvs       893:        END;
                    894: 
                    895:  Width__: BEGIN
                    896:        Create ' width="';
                    897:        Create Width__;
1.12      cvs       898:        Create DoubleQuote;
1.1       cvs       899:        END;
                    900: 
                    901:  codebase: BEGIN
                    902:        NoTranslation;
                    903:        Create ' codebase="';
                    904:        Create codebase;
1.12      cvs       905:        Create DoubleQuote;
1.1       cvs       906:        END;
                    907: 
                    908:  code: BEGIN
                    909:        Create ' code="';
                    910:        Create code;
1.12      cvs       911:        Create DoubleQuote;
1.1       cvs       912:        END;
                    913: 
                    914:  applet_name: BEGIN
                    915:        Create ' name="';
                    916:        Create applet_name;
1.12      cvs       917:        Create DoubleQuote;
1.1       cvs       918:        END;
                    919: 
                    920:  Param_name: BEGIN
                    921:        Create ' name="';
                    922:        Create Param_name;
1.12      cvs       923:        Create DoubleQuote;
1.1       cvs       924:        END;
                    925: 
                    926:  Param_value: BEGIN
                    927:        Create ' value="';
                    928:        Create Param_value;
1.12      cvs       929:        Create DoubleQuote;
1.1       cvs       930:        END;
1.46      cvs       931: 
1.1       cvs       932:  classid: BEGIN
                    933:        Create ' classid="';
                    934:        Create classid;
1.12      cvs       935:        Create DoubleQuote;
1.1       cvs       936:        END;
                    937: 
                    938:  data: BEGIN
                    939:        Create ' data="';
                    940:        Create data;
1.12      cvs       941:        Create DoubleQuote;
1.1       cvs       942:        END;
                    943: 
                    944:  Object_type: BEGIN
                    945:        Create ' type="';
                    946:        Create Object_type;
1.12      cvs       947:        Create DoubleQuote;
1.1       cvs       948:        END;
                    949: 
1.38      cvs       950:  Link_type: BEGIN
                    951:        Create ' type="';
                    952:        Create Link_type;
                    953:        Create DoubleQuote;
                    954:        END;
                    955: 
1.1       cvs       956:  codetype: BEGIN
                    957:        Create ' codetype="';
                    958:        Create codetype;
1.12      cvs       959:        Create DoubleQuote;
1.1       cvs       960:        END;
1.46      cvs       961: 
1.1       cvs       962:  Title : BEGIN
                    963:        NoTranslation;
                    964:        Create ' title="';
                    965:        Create Title;
1.12      cvs       966:        Create DoubleQuote;
1.1       cvs       967:        END;
                    968: 
                    969:  Class: BEGIN
1.22      cvs       970:        Create ' class="';
                    971:        Create Class;
                    972:        Create DoubleQuote;
1.1       cvs       973:        END;
                    974: 
1.46      cvs       975:  Style\240: BEGIN
1.22      cvs       976:        IF not Within HEAD
1.1       cvs       977:            BEGIN
1.21      cvs       978:            Create ' style="';
1.1       cvs       979:            Create Style\240;
1.12      cvs       980:            Create DoubleQuote;
1.1       cvs       981:            END;
                    982:        END;
1.20      cvs       983: 
                    984:  ID:   BEGIN
                    985:        Create ' id="';
                    986:        Create ID;
                    987:        Create DoubleQuote;
                    988:        END;
1.46      cvs       989: 
                    990:  dir = ltr :
                    991:        Create ' dir="ltr"';
                    992:  dir = rtl :
                    993:        Create ' dir="rtl"';
                    994: 
                    995:  onclick: BEGIN
                    996:        Create ' onclick="';
                    997:        Create onclick;
                    998:        Create DoubleQuote;
                    999:        END;
                   1000: 
                   1001:  ondblclick: BEGIN
                   1002:        Create ' ondblclick="';
                   1003:        Create ondblclick;
                   1004:        Create DoubleQuote;
                   1005:        END;
                   1006: 
                   1007:  onmousedown: BEGIN
                   1008:        Create ' onmousedown="';
                   1009:        Create onmousedown;
                   1010:        Create DoubleQuote;
                   1011:        END;
                   1012: 
                   1013:  onmouseup: BEGIN
                   1014:        Create ' onmouseup="';
                   1015:        Create onmouseup;
                   1016:        Create DoubleQuote;
                   1017:        END;
                   1018: 
                   1019:  onmouseover: BEGIN
                   1020:        Create ' onmouseover="';
                   1021:        Create onmouseover;
                   1022:        Create DoubleQuote;
                   1023:        END;
                   1024: 
                   1025:  onmousemove: BEGIN
                   1026:        Create ' onmousemove="';
                   1027:        Create onmousemove;
                   1028:        Create DoubleQuote;
                   1029:        END;
                   1030: 
                   1031:  onmouseout: BEGIN
                   1032:        Create ' onmouseout="';
                   1033:        Create onmouseout;
                   1034:        Create DoubleQuote;
                   1035:        END;
                   1036: 
                   1037:  onkeypress: BEGIN
                   1038:        Create ' onkeypress="';
                   1039:        Create onkeypress;
                   1040:        Create DoubleQuote;
                   1041:        END;
                   1042: 
                   1043:  onkeydown: BEGIN
                   1044:        Create ' onkeydown="';
                   1045:        Create onkeydown;
                   1046:        Create DoubleQuote;
                   1047:        END;
                   1048: 
                   1049:  onkeyup: BEGIN
                   1050:        Create ' onkeyup="';
                   1051:        Create onkeyup;
                   1052:        Create DoubleQuote;
                   1053:        END;
1.1       cvs      1054: 
                   1055:  BulletStyle = disc :
1.46      cvs      1056:        Create ' type="disc"';
1.1       cvs      1057:  BulletStyle = square :
1.46      cvs      1058:        Create ' type="square"';
1.1       cvs      1059:  BulletStyle = circle :
1.46      cvs      1060:        Create ' type="circle"';
1.1       cvs      1061: 
                   1062:  COMPACT:
                   1063:        Create ' compact';
                   1064: 
                   1065:  NumberStyle = Arabic_ :
1.46      cvs      1066:        Create ' type="1"';
1.1       cvs      1067:  NumberStyle = LowerAlpha :
1.46      cvs      1068:        Create ' type="a"';
1.1       cvs      1069:  NumberStyle = UpperAlpha :
1.46      cvs      1070:        Create ' type="A"';
1.1       cvs      1071:  NumberStyle = LowerRoman :
1.46      cvs      1072:        Create ' type="i"';
1.1       cvs      1073:  NumberStyle = UpperRoman :
1.46      cvs      1074:        Create ' type="I"';
1.1       cvs      1075: 
                   1076:  Start > 1: BEGIN
                   1077:        Create ' start="';
                   1078:        Create Start;
1.12      cvs      1079:        Create DoubleQuote;
1.1       cvs      1080:        END;
                   1081: 
                   1082:  ItemStyle = disc :
1.46      cvs      1083:        Create ' type="disc"';
1.1       cvs      1084:  ItemStyle = square :
1.46      cvs      1085:        Create ' type="square"';
1.1       cvs      1086:  ItemStyle = circle :
1.46      cvs      1087:        Create ' type="circle"';
1.1       cvs      1088:  ItemStyle = Arabic_ :
1.46      cvs      1089:        Create ' type="1"';
1.1       cvs      1090:  ItemStyle = LowerAlpha :
1.46      cvs      1091:        Create ' type="a"';
1.1       cvs      1092:  ItemStyle = UpperAlpha :
1.46      cvs      1093:        Create ' type="A"';
1.1       cvs      1094:  ItemStyle = LowerRoman :
1.46      cvs      1095:        Create ' type="i"';
1.1       cvs      1096:  ItemStyle = UpperRoman :
1.46      cvs      1097:        Create ' type="I"';
1.1       cvs      1098: 
                   1099:  ItemValue: BEGIN
                   1100:        Create ' value="';
                   1101:        Create ItemValue;
1.12      cvs      1102:        Create DoubleQuote;
1.1       cvs      1103:        END;
                   1104: 
                   1105:  Script_URL: BEGIN
                   1106:        Create ' action="';
                   1107:        Create Script_URL;
1.12      cvs      1108:        Create DoubleQuote;
1.1       cvs      1109:        END;
                   1110: 
                   1111:  METHOD=Post_:
1.15      cvs      1112:        Create ' method="post"';
1.1       cvs      1113: 
                   1114:  METHOD=Get_:
1.15      cvs      1115:        Create ' method="get"';
1.1       cvs      1116: 
                   1117:  ENCTYPE: BEGIN
                   1118:        Create ' enctype="';
                   1119:        Create ENCTYPE;
1.12      cvs      1120:        Create DoubleQuote;
1.1       cvs      1121:        END;
                   1122: 
                   1123:  NAME: BEGIN
                   1124:        NoTranslation;
                   1125:        Create ' name="';
                   1126:        Create NAME;
1.12      cvs      1127:        Create DoubleQuote;
1.1       cvs      1128:        END;
                   1129: 
                   1130:  Multiple:
                   1131:        Create ' multiple';
                   1132: 
1.4       cvs      1133:  MenuSize: BEGIN
1.12      cvs      1134:        Create ' size="';
1.4       cvs      1135:        Create MenuSize;
1.12      cvs      1136:        Create DoubleQuote;
1.4       cvs      1137:        END;
1.5       cvs      1138: 
                   1139:  Selected:
                   1140:        Create ' selected';
1.4       cvs      1141: 
1.9       cvs      1142:  Value_: BEGIN
1.1       cvs      1143:        Create ' value="';
1.13      cvs      1144:        Create Value_;
1.12      cvs      1145:        Create DoubleQuote;
1.1       cvs      1146:        END;
                   1147: 
                   1148:  Rows: BEGIN
1.12      cvs      1149:        Create ' rows="';
1.1       cvs      1150:        Create Rows;
1.12      cvs      1151:        Create DoubleQuote;
1.1       cvs      1152:        END;
                   1153: 
                   1154:  Columns: BEGIN
1.12      cvs      1155:        Create ' cols="';
1.1       cvs      1156:        Create Columns;
1.12      cvs      1157:        Create DoubleQuote;
1.1       cvs      1158:        END;
                   1159: 
                   1160:  Checked = Yes_:
                   1161:        Create ' checked';
                   1162: 
                   1163:  Area_Size: BEGIN
1.12      cvs      1164:        Create ' size="';
1.1       cvs      1165:        Create Area_Size;
1.12      cvs      1166:        Create DoubleQuote;
1.1       cvs      1167:        END;
                   1168: 
                   1169:  MaxLength: BEGIN
1.12      cvs      1170:        Create ' maxlength="';
1.1       cvs      1171:        Create MaxLength;
1.12      cvs      1172:        Create DoubleQuote;
1.1       cvs      1173:        END;
                   1174: 
                   1175:  SRC:  BEGIN
                   1176:        Create ' src="';
                   1177:        Create SRC;
1.12      cvs      1178:        Create DoubleQuote;
1.1       cvs      1179:        END;
                   1180: 
                   1181:  ALT:  BEGIN
                   1182:        Create ' alt="';
                   1183:        Create ALT;
1.12      cvs      1184:        Create DoubleQuote;
1.1       cvs      1185:        END;
                   1186: 
                   1187:  Alignment = Top_:
1.46      cvs      1188:        Create ' align="top"';
1.1       cvs      1189:  Alignment = Middle_:
1.46      cvs      1190:        Create ' align="middle"';
1.1       cvs      1191:  Alignment = Bottom_:
1.46      cvs      1192:        Create ' align="bottom"';
1.1       cvs      1193:  Alignment = Left_:
1.46      cvs      1194:        Create ' align="left"';
1.1       cvs      1195:  Alignment = Right_:
1.46      cvs      1196:        Create ' align="right"';
1.1       cvs      1197: 
                   1198:  Height_: BEGIN
                   1199:        Create ' height="';
                   1200:        Create Height_;
1.12      cvs      1201:        Create DoubleQuote;
1.1       cvs      1202:        END;
                   1203: 
                   1204:  Img_border: BEGIN
                   1205:        Create ' border="';
                   1206:        Create Img_border;
1.12      cvs      1207:        Create DoubleQuote;
1.1       cvs      1208:        END;
                   1209: 
                   1210:  hspace: BEGIN
                   1211:        Create ' hspace="';
                   1212:        Create hspace;
1.12      cvs      1213:        Create DoubleQuote;
1.1       cvs      1214:        END;
                   1215: 
                   1216:  vspace: BEGIN
                   1217:        Create ' vspace="';
                   1218:        Create vspace;
1.12      cvs      1219:        Create DoubleQuote;
1.1       cvs      1220:        END;
                   1221: 
                   1222:  ISMAP:
                   1223:        Create ' ismap';
                   1224: 
                   1225:  USEMAP: BEGIN
                   1226:        NoTranslation;
                   1227:        Create ' usemap="';
                   1228:        Create USEMAP;
1.12      cvs      1229:        Create DoubleQuote;
1.1       cvs      1230:        END;
                   1231: 
                   1232:  nohref:
                   1233:        Create ' nohref';
                   1234: 
                   1235:  shape = rectangle:
1.46      cvs      1236:        Create ' shape="rect"';
1.1       cvs      1237:  shape = circle:
1.46      cvs      1238:        Create ' shape="circle"';
1.1       cvs      1239:  shape = polygon:
1.46      cvs      1240:        Create ' shape="poly"';
1.1       cvs      1241: 
                   1242:  coords: BEGIN
                   1243:        Create ' coords="';
                   1244:        Create coords;
1.12      cvs      1245:        Create DoubleQuote;
1.1       cvs      1246:        END;
1.40      cvs      1247: 
                   1248: #ifdef MATHML
                   1249:  mode = inline_math:
1.46      cvs      1250:        Create ' mode="inline"';
1.40      cvs      1251:  mode = display:
1.46      cvs      1252:        Create ' mode="display"';
1.40      cvs      1253: #endif
1.1       cvs      1254: 
                   1255:  Border: BEGIN
1.12      cvs      1256:        Create ' border="';
1.1       cvs      1257:        Create Border;
1.12      cvs      1258:        Create DoubleQuote;
1.1       cvs      1259:        END;
                   1260: 
                   1261:  cellspacing: BEGIN
                   1262:        Create ' cellspacing="';
                   1263:        Create cellspacing;
1.12      cvs      1264:        Create DoubleQuote;
1.1       cvs      1265:        END;
                   1266: 
                   1267:  cellpadding: BEGIN
                   1268:        Create ' cellpadding="';
                   1269:        Create cellpadding;
1.12      cvs      1270:        Create DoubleQuote;
1.1       cvs      1271:        END;
                   1272: 
                   1273:  Position = Position_top:
1.46      cvs      1274:         Create ' align="top"';
1.1       cvs      1275:  Position = Position_bottom:
1.46      cvs      1276:         Create ' align="bottom"';
1.1       cvs      1277: 
                   1278:  Row_align = Row_left:
1.46      cvs      1279:         Create ' align="left"';
1.1       cvs      1280:  Row_align = Row_center:
1.46      cvs      1281:         Create ' align="center"';
1.1       cvs      1282:  Row_align = Row_right:
1.46      cvs      1283:         Create ' align="right"';
1.1       cvs      1284:  Row_valign = Row_top:
1.46      cvs      1285:         Create ' valign="top"';
1.1       cvs      1286:  Row_valign = Row_middle:
1.46      cvs      1287:         Create ' valign="middle"';
1.1       cvs      1288:  Row_valign = Row_bottom:
1.46      cvs      1289:         Create ' valign="bottom"';
1.1       cvs      1290: 
1.39      cvs      1291:  colspan_: BEGIN
1.12      cvs      1292:        Create ' colspan="';
1.39      cvs      1293:        Create colspan_;
1.12      cvs      1294:        Create DoubleQuote;
1.1       cvs      1295:        END;
                   1296: 
1.39      cvs      1297:  rowspan_: BEGIN
1.12      cvs      1298:        Create ' rowspan="';
1.39      cvs      1299:        Create rowspan_;
1.12      cvs      1300:        Create DoubleQuote;
1.1       cvs      1301:        END;
                   1302: 
                   1303:  Cell_align = Cell_left:
1.46      cvs      1304:        Create ' align="left"';
1.1       cvs      1305:  Cell_align = Cell_center:
1.46      cvs      1306:        Create ' align="center"';
1.1       cvs      1307:  Cell_align = Cell_right:
1.46      cvs      1308:        Create ' align="right"';
1.1       cvs      1309: 
                   1310:  Cell_valign = Cell_top:
1.46      cvs      1311:        Create ' valign="top"';
1.1       cvs      1312:  Cell_valign = Cell_middle:
1.46      cvs      1313:        Create ' valign="middle"';
1.1       cvs      1314:  Cell_valign = Cell_bottom:
1.46      cvs      1315:        Create ' valign="bottom"';
1.1       cvs      1316: 
1.24      cvs      1317:  No_wrap = no_wrap:
1.1       cvs      1318:        Create ' nowrap';
                   1319: 
                   1320:  Invalid_attribute:
                   1321:        Create Invalid_attribute;
                   1322: 
                   1323: #include "Text_SGML.inc"
                   1324: 
1.35      cvs      1325: #include "greek.sgml"
                   1326: 
1.1       cvs      1327: GraphTRANSLATE
                   1328:        BEGIN
                   1329:        'c' -> 'circle';
                   1330:        'Q' -> 'circle';
                   1331:        'R' -> 'rect';
                   1332:        'C' -> 'rect';
                   1333:        ' ' -> 'rect';
                   1334:        'P' -> 'rect';
                   1335:        'p' -> 'polygon';
                   1336:        'B' -> 'polygon';
                   1337:        END;
                   1338: 
                   1339: END

Webmaster