class HTML_OUTPUT_STREAM
Summary
Overview
creation features
exported features
CGI extensions: written before the HTML itself is open
Main HTML structure
Attributes management
  • attributes: STRING
    Because there are so many attributes for each tag, we did not want features with scores of parameters.%
  • with_attribute (name: STRING, value: STRING)
    Call this feature before adding an opening tag; all the attributes will be added to the tag.
Putting characters
Header tags
Frames
Body tags
Forms
State queries
  • disconnect
    Disconnect from the underlying stream.
  • recycle
    Do whatever needs to be done to free resources or recycle other objects when recycling this one
To write a number:
Other features:
put_cgi_header (key: STRING, value: STRING)
effective procedure
header
effective procedure
body
effective procedure
frames
effective procedure
close
effective procedure
last_tag: STRING
effective function
has_open_tag: BOOLEAN
effective function
attributes: STRING
writable attribute
Because there are so many attributes for each tag, we did not want features with scores of parameters.%
with_attribute (name: STRING, value: STRING)
effective procedure
Call this feature before adding an opening tag; all the attributes will be added to the tag.
can_put_character (c: CHARACTER): BOOLEAN
effective function
put_entity (entity: STRING)
effective procedure
put_comment (comment: STRING)
effective procedure
indent
effective procedure
put_base (base: STRING)
effective procedure
put_meta (equiv: STRING, content: STRING)
effective procedure
put_stylesheet (ref: STRING)
effective procedure
put_javascript (ref: STRING)
effective procedure
open_title
effective procedure
close_title
effective procedure
put_script (language: STRING, source: STRING)
effective procedure
open_script (language: STRING)
effective procedure
close_script
effective procedure
open_frameset
effective procedure
close_frameset
effective procedure
put_frame (src: STRING, name: STRING)
effective procedure
open_noframes
effective procedure
close_noframes
effective procedure
open_section
effective procedure
close_section
effective procedure
open_subsection
effective procedure
close_subsection
effective procedure
open_subsubsection
effective procedure
close_subsubsection
effective procedure
put_break
effective procedure
put_horizontal_rule
effective procedure
put_image (source: STRING)
effective procedure
open_bold
effective procedure
close_bold
effective procedure
open_font (size: STRING)
effective procedure
close_font
effective procedure
open_italics
effective procedure
close_italics
effective procedure
open_underlined
effective procedure
close_underlined
effective procedure
open_typeset
effective procedure
close_typeset
effective procedure
open_anchor_address (ref: STRING, target: STRING)
effective procedure
open_anchor_name (ref: STRING)
effective procedure
open_anchor
effective procedure
close_anchor
effective procedure
open_list
effective procedure
open_numbered_list
effective procedure
close_list
effective procedure
open_definition_list
effective procedure
close_definition_list
effective procedure
open_definition_term
effective procedure
close_definition_term
effective procedure
open_definition_description
effective procedure
close_definition_description
effective procedure
open_list_item
effective procedure
close_list_item
effective procedure
open_table
effective procedure
close_table
effective procedure
open_table_row
effective procedure
close_table_row
effective procedure
open_table_cell
effective procedure
close_table_cell
effective procedure
open_form (name: STRING, method: STRING, action: STRING)
effective procedure
close_form
effective procedure
open_text_area (name: STRING, rows: INTEGER_32, cols: INTEGER_32)
effective procedure
close_text_area
effective procedure
put_validate_button (name: STRING, title: STRING)
effective procedure
put_reset_button (name: STRING, title: STRING)
effective procedure
put_hidden_field (name: STRING, value: STRING)
effective procedure
put_text_field (name: STRING, value: STRING)
effective procedure
put_radio_button (name: STRING, value: STRING, checked: BOOLEAN)
effective procedure
put_check_box (name: STRING, value: STRING, checked: BOOLEAN)
effective procedure
open_combo_select (name: STRING)
effective procedure
open_multiple_select (name: STRING, size: INTEGER_32)
effective procedure
close_select
effective procedure
open_option (value: STRING)
effective procedure
close_option
effective procedure
open_paragraph
effective procedure
close_paragraph
effective procedure
open_preformatted
effective procedure
close_preformatted
effective procedure
open_blockquote
effective procedure
close_blockquote
effective procedure
open_div
effective procedure
close_div
effective procedure
open_span
effective procedure
close_span
effective procedure
started: BOOLEAN
effective function
finished: BOOLEAN
effective function
in_header: BOOLEAN
effective function
in_script: BOOLEAN
effective function
in_body: BOOLEAN
effective function
in_list: BOOLEAN
effective function
in_list_item: BOOLEAN
effective function
in_table: BOOLEAN
effective function
in_table_row: BOOLEAN
effective function
in_table_cell: BOOLEAN
effective function
in_form: BOOLEAN
effective function
in_select: BOOLEAN
effective function
in_option: BOOLEAN
effective function
in_frames: BOOLEAN
effective function
in_frameset: BOOLEAN
effective function
in_noframes: BOOLEAN
effective function
in_a_body: BOOLEAN
effective function
in_a_form: BOOLEAN
effective function
in_text_area: BOOLEAN
effective function
in_paragraph: BOOLEAN
effective function
in_blockquote: BOOLEAN
effective function
in_div: BOOLEAN
effective function
in_preformatted: BOOLEAN
effective function
in_span: BOOLEAN
effective function
in_definition_list: BOOLEAN
effective function
in_definition_description: BOOLEAN
effective function
in_definition_term: BOOLEAN
effective function
make
effective procedure
connect_to (a_stream: OUTPUT_STREAM)
effective procedure
Connect the filter to some underlying stream.
disconnect
effective procedure
Disconnect from the underlying stream.
put_character (c: CHARACTER)
effective procedure
flush
effective procedure
Flushes the pipe.
detach
effective procedure
Shake off the filter.
event_can_write: EVENT_DESCRIPTOR
effective function
is_connected: BOOLEAN
deferred function
True if the stream is connected.
descriptor: INTEGER_32
effective function
Some OS-dependent descriptor.
has_descriptor: BOOLEAN
effective function
True if that stream can be associated to some OS-meaningful descriptor.
can_disconnect: BOOLEAN
deferred function
True if the stream can be safely disconnected (without data loss, etc.)
recycle
effective procedure
Do whatever needs to be done to free resources or recycle other objects when recycling this one
is_filtered: BOOLEAN
deferred function
put_string (s: STRING)
effective procedure
Output s to current output device.
put_unicode_string (unicode_string: UNICODE_STRING)
effective procedure
Output the UTF-8 encoding of the unicode_string.
put_line (s: STRING)
effective procedure
Output the string followed by a '%N'.
put_integer (i: INTEGER_64)
frozen
effective procedure
Output i to current output device.
put_integer_format (i: INTEGER_64, s: INTEGER_32)
frozen
effective procedure
Output i to current output device using at most s character.
put_real (r: REAL_64)
effective procedure
Output r to current output device.
put_real_format (r: REAL_64, f: INTEGER_32)
effective procedure
Output r with only f digit for the fractionnal part.
put_real_scientific (r: REAL_64, f: INTEGER_32)
effective procedure
Output r using the scientific notation with only f digit for the fractionnal part.
put_number (number: NUMBER)
effective procedure
Output the number.
put_boolean (b: BOOLEAN)
effective procedure
Output b to current output device according to the Eiffel format.
put_pointer (p: POINTER)
effective procedure
Output a viewable version of p.
put_new_line
effective procedure
Output a newline character.
put_spaces (nb: INTEGER_32)
effective procedure
Output nb spaces character.
append_file (file_name: STRING)
effective procedure