Annotation of Amaya/amaya/HTML.A, revision 1.12

1.1       cvs         1: APPLICATION HTML;
                      2: 
                      3: DEFAULT
                      4:    BEGIN
                      5:        ElemActivate.Pre -> DoubleClick;
                      6:        DocClose.Post -> DocumentClosed;
                      7:        DocSave.Pre -> DocumentToSave;
                      8:        ElemPaste.Post -> ElementPasted;
1.10      cvs         9:        ElemNew.Post -> ElementCreated;
1.1       cvs        10:        PRuleCreate.Post -> ChangePRule;
                     11:        PRuleModify.Post -> ChangePRule;
                     12:        PRuleDelete.Post -> ChangePRule;
                     13:        ViewOpen.Pre -> ViewToOpen;
1.4       cvs        14:        ViewClose.Pre -> ViewToClose;
1.1       cvs        15:        ElemSelect.Post -> SelectionChanged;
                     16:        ElemExtendSelect.Post -> SelectionChanged;
1.6       cvs        17:        ElemTransform.Pre -> ElemToTransform;
1.1       cvs        18:    END;
                     19: 
                     20: ELEMENTS
                     21: 
                     22:    PICTURE_UNIT:
                     23:        BEGIN
                     24:        ElemNew.Post -> UpdateSRCattribute;
                     25:        ElemTextModify.Post -> UpdateSRCattribute;
                     26:        END;
                     27: 
                     28:    GRAPHICS_UNIT:
                     29:        BEGIN
1.5       cvs        30:        ElemGraphModify.Post -> GraphicsModified;
1.1       cvs        31:        END;
1.5       cvs        32: 
                     33:    Text_Input:
                     34:        BEGIN
                     35:        ElemTextModify.Pre -> SaveDocumentStatus;
                     36:        ElemTextModify.Post -> RestoreDocumentStatus;
1.10      cvs        37:        ElemSelect.Pre -> SelectIncludedText;
1.5       cvs        38:        END;
                     39: 
                     40:    Text_Area:
                     41:        BEGIN
                     42:        ElemTextModify.Pre -> SaveDocumentStatus;
                     43:        ElemTextModify.Post -> RestoreDocumentStatus;
1.10      cvs        44:        ElemSelect.Pre -> SelectIncludedText;
1.5       cvs        45:        END;
                     46: 
1.1       cvs        47:    TITLE:
                     48:        ElemTextModify.Post -> TitleModified;
                     49: 
                     50:    Table:
                     51:        ElemNew.Post -> TableCreated;
                     52: 
                     53:    Data_cell:
                     54:        BEGIN
                     55:        ElemNew.Post -> CellCreated;
                     56:        ElemPaste.Post -> CellPasted;
                     57:        ElemDelete.Pre -> DeleteCell;
                     58:        ElemDelete.Post -> CellDeleted;
                     59:        END;
                     60: 
                     61:    Heading_cell:
                     62:        BEGIN
                     63:        ElemNew.Post -> CellCreated;
                     64:        ElemPaste.Post -> CellPasted;
                     65:        ElemDelete.Pre -> DeleteCell;
                     66:        ElemDelete.Post -> CellDeleted;
                     67:        END;
                     68: 
                     69:    Table_row:
                     70:        BEGIN
                     71:        ElemNew.Post -> RowCreated;
                     72:        ElemPaste.Post -> RowPasted;
                     73:        ElemDelete.Pre -> DeleteRow;
                     74:        ElemDelete.Post -> RowDeleted;
                     75:        END;
                     76: 
1.10      cvs        77:    StyleRule:
1.1       cvs        78:        ElemDelete.Pre -> DeleteStyleRule;
                     79: 
1.10      cvs        80:    List_Item:
1.1       cvs        81:        BEGIN
                     82:        ElemNew.Post -> ListItemCreated;
                     83:        ElemPaste.Post -> ListItemCreated;
                     84:        END;
                     85: 
1.10      cvs        86:    Unnumbered_List:
1.1       cvs        87:        ElemChange.Post -> ListChangedType;
                     88: 
1.10      cvs        89:    Numbered_List:
1.2       cvs        90:        ElemChange.Post -> ListChangedType;
1.1       cvs        91: 
                     92: ATTRIBUTES
                     93: 
                     94:    SRC:
                     95:        BEGIN
                     96:        AttrModify.Post -> SRCattrModified;
                     97:        END;
                     98:    coords:
                     99:        BEGIN
1.5       cvs       100:        AttrModify.Post -> CoordsModified;
1.1       cvs       101:        END;
                    102:       
1.9       cvs       103:    x_coord:
1.1       cvs       104:        BEGIN
1.5       cvs       105:        AttrModify.Post -> GraphicsModified;
1.1       cvs       106:        END;
                    107:      
1.9       cvs       108:    y_coord:
1.1       cvs       109:        BEGIN
1.5       cvs       110:        AttrModify.Post -> GraphicsModified;
1.1       cvs       111:        END;
                    112:      
1.9       cvs       113:    width\240:
1.1       cvs       114:        BEGIN
1.5       cvs       115:        AttrModify.Post -> GraphicsModified;
1.1       cvs       116:        END;
                    117:     
1.9       cvs       118:    height\240:
1.1       cvs       119:        BEGIN
1.5       cvs       120:        AttrModify.Post -> GraphicsModified;
1.1       cvs       121:        END;
1.3       cvs       122: 
                    123:    Cell_width:
                    124:        BEGIN
                    125:        AttrCreate.Post -> CellWidthCreated;
                    126:        AttrModify.Post -> CellWidthModified;
                    127:        AttrDelete.Post -> CellWidthDeleted;
                    128:        END;
                    129: 
1.1       cvs       130:    colspan:
                    131:        BEGIN
                    132:        AttrCreate.Post -> ColspanCreated;
                    133:        AttrModify.Pre ->  RegisterColspan;
                    134:        AttrModify.Post -> ColspanModified;
                    135:        AttrDelete.Pre ->  ColspanDelete;
                    136:        END;
                    137: 
                    138:    rowspan:
                    139:        BEGIN
                    140:        AttrCreate.Post -> RowspanCreated;
                    141:        AttrModify.Pre ->  RegisterRowspan;
                    142:        AttrModify.Post -> RowspanModified;
                    143:        AttrDelete.Pre ->  RowspanDelete;
                    144:        END;
                    145: 
                    146:    NAME:
                    147:        AttrMenu.Pre ->    AttrNAMEinMenu;
                    148: 
                    149:    Width__:
                    150:        BEGIN
                    151:        AttrCreate.Post -> AttrWidthCreated;
                    152:        AttrModify.Post -> AttrWidthModified;
                    153:        AttrDelete.Pre ->  AttrWidthDelete;     
                    154:        END;
                    155: 
                    156:    Font_size:
                    157:        BEGIN
                    158:        AttrCreate.Post -> AttrFontSizeCreated;
                    159:        AttrModify.Post -> AttrFontSizeModified;
                    160:        AttrDelete.Pre ->  AttrFontSizeDelete;  
                    161:        END;
                    162: 
                    163:    color:
                    164:        BEGIN
                    165:        AttrCreate.Post -> AttrColorCreated;
                    166:        AttrModify.Post -> AttrColorCreated;
                    167:        AttrDelete.Pre ->  AttrColorDelete;     
                    168:        END;
                    169: 
                    170:    TextColor:
                    171:        BEGIN
                    172:        AttrCreate.Post -> AttrColorCreated;
                    173:        AttrModify.Post -> AttrColorCreated;
                    174:        AttrDelete.Pre ->  AttrColorDelete;     
                    175:        END;
                    176:    BackgroundColor:
                    177:        BEGIN
                    178:        AttrCreate.Post -> AttrColorCreated;
                    179:        AttrModify.Post -> AttrColorCreated;
                    180:        AttrDelete.Pre ->  AttrColorDelete;     
                    181:        END;
                    182:    LinkColor:
                    183:        BEGIN
                    184:        AttrCreate.Post -> AttrColorCreated;
                    185:        AttrModify.Post -> AttrColorCreated;
                    186:        AttrDelete.Pre ->  AttrColorDelete;     
                    187:        END;
                    188:    VisitedLinkColor:
                    189:        BEGIN
                    190:        AttrCreate.Post -> AttrColorCreated;
                    191:        AttrModify.Post -> AttrColorCreated;
                    192:        AttrDelete.Pre ->  AttrColorDelete;     
                    193:        END;
                    194:    ActiveLinkColor:   
                    195:        BEGIN
                    196:        AttrCreate.Post -> AttrColorCreated;
                    197:        AttrModify.Post -> AttrColorCreated;
                    198:        AttrDelete.Pre ->  AttrColorDelete;
                    199:        END;
                    200: 
                    201:    BulletStyle:
                    202:        BEGIN
                    203:        AttrCreate.Post -> UpdateAttrIntItemStyle;
                    204:        AttrModify.Post -> UpdateAttrIntItemStyle;
                    205:        AttrDelete.Post -> UpdateAttrIntItemStyle;
                    206:        END;
                    207: 
                    208:    NumberStyle:
                    209:        BEGIN
                    210:        AttrCreate.Post -> UpdateAttrIntItemStyle;
                    211:        AttrModify.Post -> UpdateAttrIntItemStyle;
                    212:        AttrDelete.Post -> UpdateAttrIntItemStyle;
                    213:        END;
                    214: 
                    215:    ItemStyle:
                    216:        BEGIN
                    217:        AttrCreate.Post -> AttrItemStyle;
                    218:        AttrModify.Post -> AttrItemStyle;
                    219:        AttrDelete.Post -> AttrItemStyle;
                    220:        END;
                    221: 
                    222:    Style\240:
                    223:        BEGIN
                    224:        AttrCreate.Post -> UpdateStylePost;
                    225:        AttrModify.Post -> UpdateStylePost;
                    226:        AttrDelete.Pre ->  UpdateStyleDelete;
1.12    ! cvs       227:        AttrDelete.Post -> AttrStyleDeleted;
        !           228:        END;
        !           229: 
        !           230:    Class:
        !           231:        BEGIN
        !           232:        AttrCreate.Post -> AttrClassChanged;
        !           233:        AttrModify.Post -> AttrClassChanged;
        !           234:        AttrDelete.Post -> AttrClassChanged;
        !           235:        END;
        !           236: 
        !           237:    Langue:
        !           238:        BEGIN
        !           239:        AttrCreate.Post -> AttrLangCreated;
        !           240:        AttrDelete.Post -> AttrLangDeleted;
1.1       cvs       241:        END;
                    242: 
                    243:    Selected:
                    244:        BEGIN
                    245:        AttrCreate.Post -> UpdateAttrSelected;
                    246:        AttrModify.Post -> UpdateAttrSelected;
1.8       cvs       247:        AttrDelete.Post -> AttrSelectedDeleted; 
1.1       cvs       248:        END;
1.8       cvs       249: 
                    250:    Multiple:
                    251:        AttrDelete.Post -> UpdateAttrSelected;
1.1       cvs       252: 
                    253:    Checked:
                    254:        BEGIN
                    255:        AttrDelete.Pre ->  DeleteAttrSelected;  
                    256:        END;
                    257: END

Webmaster