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

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

Webmaster