MODULE; IMPORT Filter, HTML, Point, VBT; REVEAL T = Public BRANDED OBJECT OVERRIDES init := Init; hotlink := HotLink; ismap := Ismap; isindex := Isindex; form := Form; END; PROCEDURE HTMLVBT Init (v: T; <* UNUSED *> html: HTML.T): T = BEGIN RETURN Filter.T.init(v, NIL) END Init; PROCEDUREHotLink (<* UNUSED *> self: T; <* UNUSED *> url : TEXT; <* UNUSED *> READONLY cd : VBT.MouseRec) = BEGIN END HotLink; PROCEDUREIsmap (<* UNUSED *> self: T; <* UNUSED *> url : TEXT; <* UNUSED *> READONLY pt : Point.T; <* UNUSED *> READONLY cd : VBT.MouseRec) = BEGIN END Ismap; PROCEDUREIsindex (<* UNUSED *> self: T; <* UNUSED *> typein: TEXT) = BEGIN END Isindex; PROCEDUREForm (<* UNUSED *> self: T) = BEGIN END Form; BEGIN END HTMLVBT.