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

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

Webmaster