Appendix C: class HTML_GENERATOR
- indexing
- description: "HTML generation. This class may be used as ancestor by classes
needing its facilities"
- status: ""
- date: "$Date: 2007-03-30 19:10:11 +0000 (Fri, 30 Mar 2007) $"
- revision: "$Revision: 95354 $"
- class interface
- HTML_GENERATOR
- feature -- Transformation
-
- put_basic (s: STRING)
-
-
-- Write s to medium.
- require
- string_not_void: s /= Void
- feature -- Miscellaneous
-
- put_bold (text: STRING)
-
-
-- Put text in bold face.
- require
- text_not_void: text /= Void
- put_glossary_definition
-
-
-- Put glossary definition tag.
- put_glossary_end
-
-
-- End glossary list.
- put_glossary_start
-
-
-- Start glossary list.
- put_glossary_term (text: STRING)
-
-
-- Put text as glossary term.
- require
- text_not_void: text /= Void
- put_header1 (title: STRING)
-
-
-- Put title as level 1 header.
- require
- title_not_void: title /= Void
- put_header2 (title: STRING)
-
-
-- Put title as level 2 header.
- require
- title_not_void: title /= Void
- put_header3 (title: STRING)
-
-
-- Put title as level 3 header.
- require
- title_not_void: title /= Void
- put_header4 (title: STRING)
-
-
-- Put title as level 4 header.
- require
- title_not_void: title /= Void
- put_header5 (title: STRING)
-
-
-- Put title as level 5 header.
- require
- title_not_void: title /= Void
- put_header6 (title: STRING)
-
-
-- Put title as level 6 header.
- require
- title_not_void: title /= Void
- put_horizontal_rule
-
-
-- Put a horizontal rule.
- put_italic (text: STRING)
-
-
-- Put text in italic.
- require
- text_not_void: text /= Void
- put_line_break
-
-
-- Put line break.
- put_link (url, anchor: STRING)
-
-
-- Attach text anchor to url
- require
- anchor_not_void: anchor /= Void;
url_not_void: url /= Void
- put_list_item_end
-
-
-- Write list item end tag.
- put_list_item_start
-
-
-- Write list item start tag.
- put_ordered_list_end
-
-
-- End ordered list.
- put_ordered_list_start
-
-
-- Start ordered list.
- put_paragraph_end
-
-
-- End paragraph
- put_paragraph_start
-
-
-- Start paragraph.
- put_preformatted (text: STRING)
-
-
-- Put preformatted text text.
- require
- text_not_void: text /= void
- put_unordered_list_end
-
-
-- End unordered list.
- put_unordered_list_start
-
-
-- Start unordered list.
- end -- class HTML_GENERATOR
Table of contents
|
Next chapter
|
