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

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

Webmaster