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

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

Webmaster