+
Point of view
HTML_HANDLER
class HTML_OUTPUT_STREAM
exported features
- open_form (name: STRING, method: STRING, action: STRING)
- close_form
- open_text_area (name: STRING, rows: INTEGER_32, cols: INTEGER_32)
- close_text_area
- put_validate_button (name: STRING, title: STRING)
- put_reset_button (name: STRING, title: STRING)
- put_hidden_field (name: STRING, value: STRING)
- put_text_field (name: STRING, value: STRING)
- put_radio_button (name: STRING, value: STRING, checked: BOOLEAN)
- put_check_box (name: STRING, value: STRING, checked: BOOLEAN)
- open_combo_select (name: STRING)
- open_multiple_select (name: STRING, size: INTEGER_32)
- close_select
- open_option (value: STRING)
- close_option
- open_paragraph
- close_paragraph
- open_preformatted
- close_preformatted
- open_blockquote
- close_blockquote
- open_div
- close_div
- open_span
- close_span
require
- not started
- key /= Void
- value /= Void
require
- started
- not finished
- not entity.has(';')
- not entity.has('&')
- not entity.has('<')
- not entity.has('>')
open_script (language:
STRING)
effective procedure
open_anchor_name (ref:
STRING)
effective procedure
open_definition_description
effective procedure
close_definition_description
effective procedure
put_text_field (name:
STRING, value:
STRING)
effective procedure
open_combo_select (name:
STRING)
effective procedure
require
- not is_connected
- a_stream.is_connected
- not a_stream.is_filtered
ensure
require
- is_connected
- can_disconnect
- is_connected
- can_disconnect
- is_connected
- can_disconnect
ensure
- not is_connected
- not is_filtered
require
- is_connected
- not is_filtered and then can_put_character(c)
frozen
effective procedure
frozen
effective procedure
append_file (file_name:
STRING)
effective procedure