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.
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.)
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