class HTML_OUTPUT_STREAM
Summary
Class invariant
Overview
creation features
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
States
Send to the underlying stream
Once strings
  • disconnect
    Disconnect from the underlying stream.
  • do_detach
    Used by the underlying stream to require not to be filtered anymore
  • 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.
open_tag (tag: STRING)
effective procedure
open_close_tag (tag: STRING)
effective procedure
close_tag (tag: STRING)
effective procedure
filtered_put_character (c: CHARACTER)
effective procedure
filtered_flush
effective procedure
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
put_input (type: STRING, name: STRING, value: STRING, checked: BOOLEAN)
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
state: INTEGER_32
effective function
set_state (a_state: INTEGER_32)
effective procedure
reset_state (a_state: INTEGER_32)
effective procedure
state_closed: INTEGER_32
constant attribute
state_in_header: INTEGER_32
constant attribute
state_in_script: INTEGER_32
constant attribute
state_in_body: INTEGER_32
constant attribute
state_in_list: INTEGER_32
constant attribute
state_in_list_item: INTEGER_32
constant attribute
state_in_table: INTEGER_32
constant attribute
state_in_table_row: INTEGER_32
constant attribute
state_in_table_cell: INTEGER_32
constant attribute
state_in_text_area: INTEGER_32
constant attribute
state_in_paragraph: INTEGER_32
constant attribute
state_in_blockquote: INTEGER_32
constant attribute
state_in_div: INTEGER_32
constant attribute
state_in_pre: INTEGER_32
constant attribute
state_in_form: INTEGER_32
constant attribute
state_in_select: INTEGER_32
constant attribute
state_in_option: INTEGER_32
constant attribute
state_in_frames: INTEGER_32
constant attribute
state_in_frameset: INTEGER_32
constant attribute
state_in_noframes: INTEGER_32
constant attribute
state_in_span: INTEGER_32
constant attribute
state_in_definition_list: INTEGER_32
constant attribute
state_in_definition_description: INTEGER_32
constant attribute
state_in_definition_term: INTEGER_32
constant attribute
state_over: INTEGER_32
constant attribute
pipe_character (c: CHARACTER)
effective procedure
Put the character down the pipe.
pipe_string (s: STRING)
effective procedure
Put the whole string down the pipe.
pipe_quoted_string (quoted: STRING)
effective procedure
quote_quotes (quoted: STRING, in: STRING)
effective procedure
Internal transformation in tag attributes
make
effective procedure
connect_to (a_stream: OUTPUT_STREAM)
effective procedure
Connect the filter to some underlying stream.
local_can_disconnect: BOOLEAN
effective function
True if this stream can be safely disconnected (without data loss, etc.)
writable attribute
writable attribute
has_cgi_header: BOOLEAN
writable attribute
are there any CGI headers before the HTML itself is inserted?
last_character_is_new_line: BOOLEAN
writable attribute
True if the last put character was a '%N'
os_key_colon: STRING
constant attribute
os_html_header: STRING
constant attribute
os_html_body_start: STRING
constant attribute
os_html_body_footer: STRING
constant attribute
os_html_frames_footer: STRING
constant attribute
os_start_comment: STRING
constant attribute
os_end_comment: STRING
constant attribute
os_entity_quot: STRING
constant attribute
os_entity_lt: STRING
constant attribute
os_entity_gt: STRING
constant attribute
os_entity_amp: STRING
constant attribute
os_base: STRING
constant attribute
os_end_open_close_tag_attrib: STRING
constant attribute
os_meta_equiv: STRING
constant attribute
os_attrib_content: STRING
constant attribute
os_attrib_type: STRING
constant attribute
os_stylesheet: STRING
constant attribute
os_text_javascript: STRING
constant attribute
os_title: STRING
constant attribute
os_script_begin: STRING
constant attribute
os_attrib_src: STRING
constant attribute
os_script_end: STRING
constant attribute
os_language: STRING
constant attribute
os_javascript: STRING
constant attribute
os_script: STRING
constant attribute
os_h1: STRING
constant attribute
os_h2: STRING
constant attribute
os_h3: STRING
constant attribute
os_br: STRING
constant attribute
os_hr: STRING
constant attribute
os_img: STRING
constant attribute
os_src: STRING
constant attribute
os_b: STRING
constant attribute
os_i: STRING
constant attribute
os_u: STRING
constant attribute
os_tt: STRING
constant attribute
os_size: STRING
constant attribute
os_font: STRING
constant attribute
os_pre: STRING
constant attribute
os_href: STRING
constant attribute
os_target: STRING
constant attribute
os_name: STRING
constant attribute
os_a: STRING
constant attribute
os_ul: STRING
constant attribute
os_dt: STRING
constant attribute
os_dd: STRING
constant attribute
os_dl: STRING
constant attribute
os_ol: STRING
constant attribute
os_li: STRING
constant attribute
os_table: STRING
constant attribute
os_tr: STRING
constant attribute
os_td: STRING
constant attribute
os_method_get: STRING
constant attribute
os_method_post: STRING
constant attribute
os_method: STRING
constant attribute
os_action: STRING
constant attribute
os_form: STRING
constant attribute
os_rows: STRING
constant attribute
os_cols: STRING
constant attribute
os_textarea: STRING
constant attribute
os_submit: STRING
constant attribute
os_reset: STRING
constant attribute
os_hidden: STRING
constant attribute
os_text: STRING
constant attribute
os_radio: STRING
constant attribute
os_checkbox: STRING
constant attribute
os_select: STRING
constant attribute
os_multiple: STRING
constant attribute
os_value: STRING
constant attribute
os_option: STRING
constant attribute
os_type: STRING
constant attribute
os_checked: STRING
constant attribute
os_input: STRING
constant attribute
os_frameset: STRING
constant attribute
os_frame: STRING
constant attribute
os_noframes: STRING
constant attribute
os_paragraph: STRING
constant attribute
os_blockquote: STRING
constant attribute
os_div: STRING
constant attribute
os_span: STRING
constant attribute
os: STRING
constant attribute
used as a buffer
disconnect
effective procedure
Disconnect from the underlying stream.
do_detach
effective procedure
Used by the underlying stream to require not to be filtered anymore
stream: OUTPUT_STREAM
writable attribute
The underlying stream (i.e. the filtered one)
put_character (c: CHARACTER)
effective procedure
flush
effective procedure
Flushes the pipe.
detach
effective procedure
Shake off the filter.
writable attribute
The filter that uses this stream as backend
event_can_write: EVENT_DESCRIPTOR
effective function
writable attribute
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.)
stream_pointer: POINTER
effective function
Some Back-end-dependent pointer (FILE* in C, InputStream or OutputStream in Java)
has_stream_pointer: BOOLEAN
effective function
True if that stream can be associated to some Back-end-meaningful stream pointer.
filtered_descriptor: INTEGER_32
deferred function
Find the descriptor of the terminal stream...
filtered_has_descriptor: BOOLEAN
deferred function
True if the underlying terminal stream has a descriptor
filtered_stream_pointer: POINTER
deferred function
Find the pointer of the terminal stream...
filtered_has_stream_pointer: BOOLEAN
deferred function
True if the underlying terminal stream has a pointer
recycle
effective procedure
Do whatever needs to be done to free resources or recycle other objects when recycling this one
sequencer_descriptor (file: POINTER): INTEGER_32
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
tmp_file_read: TEXT_FILE_READ
once function
tmp_string: STRING
once function
io_putc (byte: CHARACTER, stream: POINTER)
io_fwrite (buf: NATIVE_ARRAY[CHARACTER], size: INTEGER_32, stream: POINTER)
io_flush (stream: POINTER)
set_filter (a_filter: FILTER)
effective procedure
Used by the filter itself to get attached