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

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.14    ! cvs        10:        PRuleCreate.Pre -> ChangePRule;
        !            11:        PRuleModify.Pre -> ChangePRule;
        !            12:        PRuleDelete.Pre -> ChangePRule;
1.1       cvs        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;
1.13      cvs       182:    background_:
                    183:        BEGIN
                    184:        AttrCreate.Post -> AttrColorCreated;
                    185:        AttrModify.Post -> AttrColorCreated;
                    186:        AttrDelete.Pre ->  AttrColorDelete;     
                    187:        END;
1.1       cvs       188:    LinkColor:
                    189:        BEGIN
                    190:        AttrCreate.Post -> AttrColorCreated;
                    191:        AttrModify.Post -> AttrColorCreated;
                    192:        AttrDelete.Pre ->  AttrColorDelete;     
                    193:        END;
                    194:    VisitedLinkColor:
                    195:        BEGIN
                    196:        AttrCreate.Post -> AttrColorCreated;
                    197:        AttrModify.Post -> AttrColorCreated;
                    198:        AttrDelete.Pre ->  AttrColorDelete;     
                    199:        END;
                    200:    ActiveLinkColor:   
                    201:        BEGIN
                    202:        AttrCreate.Post -> AttrColorCreated;
                    203:        AttrModify.Post -> AttrColorCreated;
                    204:        AttrDelete.Pre ->  AttrColorDelete;
                    205:        END;
                    206: 
                    207:    BulletStyle:
                    208:        BEGIN
                    209:        AttrCreate.Post -> UpdateAttrIntItemStyle;
                    210:        AttrModify.Post -> UpdateAttrIntItemStyle;
                    211:        AttrDelete.Post -> UpdateAttrIntItemStyle;
                    212:        END;
                    213: 
                    214:    NumberStyle:
                    215:        BEGIN
                    216:        AttrCreate.Post -> UpdateAttrIntItemStyle;
                    217:        AttrModify.Post -> UpdateAttrIntItemStyle;
                    218:        AttrDelete.Post -> UpdateAttrIntItemStyle;
                    219:        END;
                    220: 
                    221:    ItemStyle:
                    222:        BEGIN
                    223:        AttrCreate.Post -> AttrItemStyle;
                    224:        AttrModify.Post -> AttrItemStyle;
                    225:        AttrDelete.Post -> AttrItemStyle;
                    226:        END;
                    227: 
                    228:    Style\240:
                    229:        BEGIN
                    230:        AttrCreate.Post -> UpdateStylePost;
                    231:        AttrModify.Post -> UpdateStylePost;
                    232:        AttrDelete.Pre ->  UpdateStyleDelete;
1.12      cvs       233:        AttrDelete.Post -> AttrStyleDeleted;
                    234:        END;
                    235: 
                    236:    Class:
                    237:        BEGIN
                    238:        AttrCreate.Post -> AttrClassChanged;
                    239:        AttrModify.Post -> AttrClassChanged;
                    240:        AttrDelete.Post -> AttrClassChanged;
                    241:        END;
                    242: 
                    243:    Langue:
                    244:        BEGIN
                    245:        AttrCreate.Post -> AttrLangCreated;
                    246:        AttrDelete.Post -> AttrLangDeleted;
1.1       cvs       247:        END;
                    248: 
                    249:    Selected:
                    250:        BEGIN
                    251:        AttrCreate.Post -> UpdateAttrSelected;
                    252:        AttrModify.Post -> UpdateAttrSelected;
1.8       cvs       253:        AttrDelete.Post -> AttrSelectedDeleted; 
1.1       cvs       254:        END;
1.8       cvs       255: 
                    256:    Multiple:
                    257:        AttrDelete.Post -> UpdateAttrSelected;
1.1       cvs       258: 
                    259:    Checked:
                    260:        BEGIN
                    261:        AttrDelete.Pre ->  DeleteAttrSelected;  
                    262:        END;
                    263: END

Webmaster