class EIFFELDOC_OUTPUT_STREAM
Summary
Direct parents
Inherit list: HTML_OUTPUT_STREAM
Insert list: EIFFELDOC_GLOBALS
Class invariant
Overview
Creation features
{ANY}
Features
{ANY}
{EIFFELDOC_GLOBALS}
CGI extensions: written before the HTML itself is open
{ANY}
Main HTML structure
{ANY}
{ANY}
Attributes management
{ANY}
  • 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.
{HTML_HANDLER}
{FILTER_OUTPUT_STREAM}
Putting characters
{ANY}
{ANY}
Header tags
{ANY}
Frames
{ANY}
Body tags
{ANY}
Forms
{ANY}
{}
State queries
{ANY}
States
{}
Send to the underlying stream
{}
{}
{ANY}
{}
Once strings
{}
{ANY}
  • disconnect
    Disconnect from the underlying stream.
{STREAM}
  • do_detach
    Used by the underlying stream to require not to be filtered anymore
{}
{ANY}
{FILTER}
{ANY}
{}
{ANY}
{}
{STREAM_HANDLER}
{FILTER}
{ANY}
{}
{RECYCLING_POOL}
  • recycle
    Do whatever needs to be done to free resources or recycle other objects when recycling this one
{}
  • dispose
    Action to be executed just before garbage collection reclaims an object.
{}
{ANY}
{ABSTRACT_STRING}
{ANY}
To write a number:
{ANY}
Other features:
{ANY}
{}
{}
{FILTER}
{}
{ANY}
{ACE}
  • is_launcher: BOOLEAN
    If True, the clusters list will not be retrieved (it means that the tool is only used to start other tools; it does not load classes itself)
{SE, COMPILE}
{}
{SMART_EIFFEL, SYSTEM_TOOLS, VISITOR}
{ANY}
an option to minimize generic types
{}
Hard-coded class names:
{}
Hard coded feature names:
{}
Operator/Infix/Prefix/Alias list:
{}
Other names:
{}
The keywords section:
{}
Most of them are message parts:
{}
Some other names:
{}
The known keys of the INI file:
{}
put_meta_refresh_api (url_string: STRING)
effective procedure
{ANY}
<meta http-equiv="refresh" content="0; url=..." />
open_anchor_address (ref: STRING, target: STRING)
effective procedure
{ANY}
require
  • in_a_body or in_preformatted
  • ref /= Void
with_href (ref: STRING)
effective procedure
{ANY}
put_stylesheet (ref: STRING)
effective procedure
{ANY}
require
  • in_header
put_javascript (ref: STRING)
effective procedure
{ANY}
require
  • in_header
  • ref /= Void
set_depth (a_depth: INTEGER_32)
effective procedure
depth: STRING
writable attribute
relocalized (ref: STRING): STRING
effective function
put_cgi_header (key: STRING, value: STRING)
effective procedure
{ANY}
require
  • not started
  • key /= Void
  • value /= Void
ensure
header
effective procedure
{ANY}
require ensure
body
effective procedure
{ANY}
require ensure
frames
effective procedure
{ANY}
require ensure
close
effective procedure
{ANY}
require ensure
last_tag: STRING
effective function
{ANY}
require ensure
  • Result /= Void
has_open_tag: BOOLEAN
effective function
{ANY}
attributes: STRING
writable attribute
{ANY}
Because there are so many attributes for each tag, we did not want features with scores of parameters.%
So, we decided to have a general-purpose with_attribute feature to be called before a tag creation.
Typical use:
html_out.with_attribute(once "width", once "80%) html_out.with_attribute(once "align", once "center") html_out.with_attribute(once "valign", once "top") html_out.open_table_cell
with_attribute (name: STRING, value: STRING)
effective procedure
{ANY}
Call this feature before adding an opening tag; all the attributes will be added to the tag.
open_tag (tag: STRING)
effective procedure
ensure
open_close_tag (tag: STRING)
effective procedure
ensure
close_tag (tag: STRING)
effective procedure
require ensure
put_filtered_string (string: STRING)
effective procedure
filtered_put_character (c: CHARACTER)
effective procedure
require
  • is_connected
  • can_put_character(c)
filtered_flush
effective procedure
require
  • is_connected
can_put_character (c: CHARACTER): BOOLEAN
effective function
{ANY}
put_entity (entity: STRING)
effective procedure
{ANY}
require
  • started
  • not finished
  • not entity.has(';')
  • not entity.has('&')
  • not entity.has('<')
  • not entity.has('>')
put_comment (comment: STRING)
effective procedure
{ANY}
indent
effective procedure
{ANY}
require
put_base (base: STRING)
effective procedure
{ANY}
require
put_meta (equiv: STRING, content: STRING)
effective procedure
{ANY}
require
open_title
effective procedure
{ANY}
require
close_title
effective procedure
{ANY}
require
put_script (language: STRING, source: STRING)
effective procedure
{ANY}
require
open_script (language: STRING)
effective procedure
{ANY}
require
close_script
effective procedure
{ANY}
require
open_noscript
effective procedure
{ANY}
require
close_noscript
effective procedure
{ANY}
require
open_style
effective procedure
{ANY}
require
close_style
effective procedure
{ANY}
require
open_frameset
effective procedure
{ANY}
require ensure
close_frameset
effective procedure
{ANY}
require ensure
put_frame (src: STRING, name: STRING)
effective procedure
{ANY}
require ensure
open_noframes
effective procedure
{ANY}
require ensure
close_noframes
effective procedure
{ANY}
require ensure
open_section
effective procedure
{ANY}
require
close_section
effective procedure
{ANY}
require
open_subsection
effective procedure
{ANY}
require
close_subsection
effective procedure
{ANY}
require
open_subsubsection
effective procedure
{ANY}
require
close_subsubsection
effective procedure
{ANY}
require
put_break
effective procedure
{ANY}
require
put_horizontal_rule
effective procedure
{ANY}
require
put_image (source: STRING)
effective procedure
{ANY}
require
open_bold
effective procedure
{ANY}
close_bold
effective procedure
{ANY}
require
open_font (size: STRING)
effective procedure
{ANY}
close_font
effective procedure
{ANY}
open_italics
effective procedure
{ANY}
close_italics
effective procedure
{ANY}
require
open_underlined
effective procedure
{ANY}
close_underlined
effective procedure
{ANY}
require
open_typeset
effective procedure
{ANY}
close_typeset
effective procedure
{ANY}
require
open_anchor_name (ref: STRING)
effective procedure
{ANY}
require
open_anchor
effective procedure
{ANY}
close_anchor
effective procedure
{ANY}
require
open_list
effective procedure
{ANY}
require ensure
open_numbered_list
effective procedure
{ANY}
require ensure
close_list
effective procedure
{ANY}
require ensure
open_definition_list
effective procedure
{ANY}
require ensure
close_definition_list
effective procedure
{ANY}
require ensure
open_definition_term
effective procedure
{ANY}
close_definition_term
effective procedure
{ANY}
open_definition_description
effective procedure
{ANY}
close_definition_description
effective procedure
{ANY}
open_list_item
effective procedure
{ANY}
require ensure
close_list_item
effective procedure
{ANY}
require ensure
open_table
effective procedure
{ANY}
require ensure
close_table
effective procedure
{ANY}
require ensure
open_table_row
effective procedure
{ANY}
require ensure
close_table_row
effective procedure
{ANY}
require ensure
open_table_cell
effective procedure
{ANY}
require ensure
close_table_cell
effective procedure
{ANY}
require ensure
open_form (name: STRING, method: STRING, action: STRING)
effective procedure
{ANY}
require ensure
close_form
effective procedure
{ANY}
require
open_text_area (name: STRING, rows: INTEGER_32, cols: INTEGER_32)
effective procedure
{ANY}
require ensure
close_text_area
effective procedure
{ANY}
require
put_button (name: STRING, title: STRING)
effective procedure
{ANY}
require
put_validate_button (name: STRING, title: STRING)
effective procedure
{ANY}
require
put_reset_button (name: STRING, title: STRING)
effective procedure
{ANY}
require
put_hidden_field (name: STRING, value: STRING)
effective procedure
{ANY}
require
put_text_field (name: STRING, value: STRING)
effective procedure
{ANY}
require
put_password_field (name: STRING, value: STRING)
effective procedure
{ANY}
require
put_radio_button (name: STRING, value: STRING, checked: BOOLEAN)
effective procedure
{ANY}
require
put_check_box (name: STRING, value: STRING, checked: BOOLEAN)
effective procedure
{ANY}
require
open_combo_select (name: STRING)
effective procedure
{ANY}
require ensure
open_multiple_select (name: STRING, size: INTEGER_32)
effective procedure
{ANY}
require ensure
close_select
effective procedure
{ANY}
require ensure
open_option (value: STRING)
effective procedure
{ANY}
require ensure
close_option
effective procedure
{ANY}
require ensure
open_paragraph
effective procedure
{ANY}
require ensure
close_paragraph
effective procedure
{ANY}
require ensure
open_preformatted
effective procedure
{ANY}
require ensure
close_preformatted
effective procedure
{ANY}
require
open_blockquote
effective procedure
{ANY}
require ensure
close_blockquote
effective procedure
{ANY}
require ensure
open_div
effective procedure
{ANY}
require ensure
close_div
effective procedure
{ANY}
require ensure
open_span
effective procedure
{ANY}
require ensure
close_span
effective procedure
{ANY}
require ensure
put_input (type: STRING, name: STRING, value: STRING, checked: BOOLEAN)
effective procedure
{}
started: BOOLEAN
effective function
{ANY}
finished: BOOLEAN
effective function
{ANY}
in_header: BOOLEAN
effective function
{ANY}
in_script: BOOLEAN
effective function
{ANY}
in_noscript: BOOLEAN
effective function
{ANY}
in_style: BOOLEAN
effective function
{ANY}
in_body: BOOLEAN
effective function
{ANY}
in_list: BOOLEAN
effective function
{ANY}
in_list_item: BOOLEAN
effective function
{ANY}
in_table: BOOLEAN
effective function
{ANY}
in_table_row: BOOLEAN
effective function
{ANY}
in_table_cell: BOOLEAN
effective function
{ANY}
in_form: BOOLEAN
effective function
{ANY}
in_select: BOOLEAN
effective function
{ANY}
in_option: BOOLEAN
effective function
{ANY}
in_frames: BOOLEAN
effective function
{ANY}
in_frameset: BOOLEAN
effective function
{ANY}
in_noframes: BOOLEAN
effective function
{ANY}
in_a_body: BOOLEAN
effective function
{ANY}
in_a_form: BOOLEAN
effective function
{ANY}
in_text_area: BOOLEAN
effective function
{ANY}
in_paragraph: BOOLEAN
effective function
{ANY}
in_blockquote: BOOLEAN
effective function
{ANY}
in_div: BOOLEAN
effective function
{ANY}
in_preformatted: BOOLEAN
effective function
{ANY}
in_span: BOOLEAN
effective function
{ANY}
in_definition_list: BOOLEAN
effective function
{ANY}
in_definition_description: BOOLEAN
effective function
{ANY}
in_definition_term: BOOLEAN
effective function
{ANY}
state: INTEGER_32
effective function
{}
set_state (a_state: INTEGER_32)
effective procedure
{}
ensure
reset_state (a_state: INTEGER_32)
effective procedure
{}
require ensure
state_closed: INTEGER_32
is 0
constant attribute
{}
state_in_header: INTEGER_32
is 10
constant attribute
{}
state_in_script: INTEGER_32
is 11
constant attribute
{}
state_in_noscript: INTEGER_32
is 12
constant attribute
{}
state_in_style: INTEGER_32
is 13
constant attribute
{}
state_in_body: INTEGER_32
is 20
constant attribute
{}
state_in_list: INTEGER_32
is 21
constant attribute
{}
state_in_list_item: INTEGER_32
is 22
constant attribute
{}
state_in_table: INTEGER_32
is 23
constant attribute
{}
state_in_table_row: INTEGER_32
is 24
constant attribute
{}
state_in_table_cell: INTEGER_32
is 25
constant attribute
{}
state_in_text_area: INTEGER_32
is 26
constant attribute
{}
state_in_paragraph: INTEGER_32
is 27
constant attribute
{}
state_in_blockquote: INTEGER_32
is 28
constant attribute
{}
state_in_div: INTEGER_32
is 29
constant attribute
{}
state_in_pre: INTEGER_32
is 30
constant attribute
{}
state_in_form: INTEGER_32
is 40
constant attribute
{}
state_in_select: INTEGER_32
is 41
constant attribute
{}
state_in_option: INTEGER_32
is 42
constant attribute
{}
state_in_frames: INTEGER_32
is 50
constant attribute
{}
state_in_frameset: INTEGER_32
is 51
constant attribute
{}
state_in_noframes: INTEGER_32
is 52
constant attribute
{}
state_in_span: INTEGER_32
is 53
constant attribute
{}
state_in_definition_list: INTEGER_32
is 60
constant attribute
{}
state_in_definition_description: INTEGER_32
is 61
constant attribute
{}
state_in_definition_term: INTEGER_32
is 62
constant attribute
{}
state_over: INTEGER_32
is 99
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
{ANY}
connect_to (a_stream: OUTPUT_STREAM)
effective procedure
{ANY}
Connect the filter to some underlying stream.
require
  • not is_connected
  • a_stream.is_connected
  • not a_stream.is_filtered
ensure
  • is_connected
local_can_disconnect: BOOLEAN
effective function
{}
True if this stream can be safely disconnected (without data loss, etc.)
without taking into account the state of the underlying stream.
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
is ": "
constant attribute
{}
os_html_header: STRING
is "<!doctype html public "-//w3c//dtd xhtml 1.0 transitional//en" "dtd/xhtml1-transitional.dtd"> <html> <head> "
constant attribute
{}
os_html_body_start: STRING
is "</head> <body"
constant attribute
{}
os_html_body_footer: STRING
is "</body> </html> "
constant attribute
{}
os_html_frames_footer: STRING
is "</html> "
constant attribute
{}
os_start_comment: STRING
is "<!-- "
constant attribute
{}
os_end_comment: STRING
is " -->"
constant attribute
{}
os_entity_quot: STRING
is "&quot;"
constant attribute
{}
os_entity_lt: STRING
is "&lt;"
constant attribute
{}
os_entity_gt: STRING
is "&gt;"
constant attribute
{}
os_entity_amp: STRING
is "&amp;"
constant attribute
{}
os_base: STRING
is "<base href='"
constant attribute
{}
os_end_open_close_tag_attrib: STRING
is "'/>"
constant attribute
{}
os_meta_equiv: STRING
is "<meta http-equiv='"
constant attribute
{}
os_attrib_content: STRING
is "' content='"
constant attribute
{}
os_attrib_type: STRING
is "' type='"
constant attribute
{}
os_stylesheet: STRING
is "<link rel='StyleSheet' type='text/css' href='"
constant attribute
{}
os_text_javascript: STRING
is "text/javascript"
constant attribute
{}
os_title: STRING
is "title"
constant attribute
{}
os_script_begin: STRING
is "<script language='"
constant attribute
{}
os_attrib_src: STRING
is "' src='"
constant attribute
{}
os_script_end: STRING
is "'></script>"
constant attribute
{}
os_language: STRING
is "language"
constant attribute
{}
os_javascript: STRING
is "javascript"
constant attribute
{}
os_script: STRING
is "script"
constant attribute
{}
os_noscript: STRING
is "noscript"
constant attribute
{}
os_style: STRING
is "style"
constant attribute
{}
os_h1: STRING
is "h1"
constant attribute
{}
os_h2: STRING
is "h2"
constant attribute
{}
os_h3: STRING
is "h3"
constant attribute
{}
os_br: STRING
is "br"
constant attribute
{}
os_hr: STRING
is "hr"
constant attribute
{}
os_img: STRING
is "img"
constant attribute
{}
os_src: STRING
is "src"
constant attribute
{}
os_b: STRING
is "b"
constant attribute
{}
os_i: STRING
is "i"
constant attribute
{}
os_u: STRING
is "u"
constant attribute
{}
os_tt: STRING
is "tt"
constant attribute
{}
os_size: STRING
is "size"
constant attribute
{}
os_font: STRING
is "font"
constant attribute
{}
os_pre: STRING
is "pre"
constant attribute
{}
os_href: STRING
is "href"
constant attribute
{}
os_target: STRING
is "target"
constant attribute
{}
os_name: STRING
is "name"
constant attribute
{}
os_a: STRING
is "a"
constant attribute
{}
os_ul: STRING
is "ul"
constant attribute
{}
os_dt: STRING
is "dt"
constant attribute
{}
os_dd: STRING
is "dd"
constant attribute
{}
os_dl: STRING
is "dl"
constant attribute
{}
os_ol: STRING
is "ol"
constant attribute
{}
os_li: STRING
is "li"
constant attribute
{}
os_table: STRING
is "table"
constant attribute
{}
os_tr: STRING
is "tr"
constant attribute
{}
os_td: STRING
is "td"
constant attribute
{}
os_method_get: STRING
is "GET"
constant attribute
{}
os_method_post: STRING
is "POST"
constant attribute
{}
os_method: STRING
is "method"
constant attribute
{}
os_action: STRING
is "action"
constant attribute
{}
os_form: STRING
is "form"
constant attribute
{}
os_rows: STRING
is "rows"
constant attribute
{}
os_cols: STRING
is "cols"
constant attribute
{}
os_textarea: STRING
is "textarea"
constant attribute
{}
os_submit: STRING
is "submit"
constant attribute
{}
os_button: STRING
is "button"
constant attribute
{}
os_reset: STRING
is "reset"
constant attribute
{}
os_hidden: STRING
is "hidden"
constant attribute
{}
os_password: STRING
is "password"
constant attribute
{}
os_text: STRING
is "text"
constant attribute
{}
os_radio: STRING
is "radio"
constant attribute
{}
os_checkbox: STRING
is "checkbox"
constant attribute
{}
os_select: STRING
is "select"
constant attribute
{}
os_multiple: STRING
is "multiple"
constant attribute
{}
os_value: STRING
is "value"
constant attribute
{}
os_option: STRING
is "option"
constant attribute
{}
os_type: STRING
is "type"
constant attribute
{}
os_checked: STRING
is "checked"
constant attribute
{}
os_input: STRING
is "input"
constant attribute
{}
os_frameset: STRING
is "frameset"
constant attribute
{}
os_frame: STRING
is "frame"
constant attribute
{}
os_noframes: STRING
is "noframes"
constant attribute
{}
os_paragraph: STRING
is "p"
constant attribute
{}
os_blockquote: STRING
is "blockquote"
constant attribute
{}
os_div: STRING
is "div"
constant attribute
{}
os_span: STRING
is "span"
constant attribute
{}
os: STRING
is ""
constant attribute
{}
used as a buffer
disconnect
effective procedure
{ANY}
Disconnect from the underlying stream.
require
    • is_connected
    • can_disconnect
      • is_connected
      • can_disconnect
      • is_connected
      • can_disconnect
ensure
  • not is_connected
  • stream = Void
  • not is_filtered
do_detach
effective procedure
Used by the underlying stream to require not to be filtered anymore
ensure
  • stream = Void
stream: OUTPUT_STREAM
writable attribute
{}
The underlying stream (i.e. the filtered one)
put_character (c: CHARACTER)
effective procedure
{ANY}
require
  • is_connected
  • not is_filtered and then can_put_character(c)
flush
effective procedure
{ANY}
Flushes the pipe.
If is_filtered, calls the filter's flush instead.
require
  • is_connected
detach
effective procedure
{ANY}
Shake off the filter.
ensure
  • not is_filtered
writable attribute
The filter that uses this stream as backend
event_can_write: EVENT_DESCRIPTOR
effective function
{ANY}
writable attribute
{}
new_url: URL
effective function
{}
ensure
  • Result /= Void
as_output_stream: OUTPUT_STREAM
effective function
{}
ensure
  • yes_indeed_it_is_the_same_object: Result.to_pointer = to_pointer
is_connected: BOOLEAN
deferred function
{ANY}
True if the stream is connected.
Only in that case can data be transferred via this stream.
descriptor: INTEGER_32
effective function
{ANY}
Some OS-dependent descriptor.
Mainly used by the sequencer library (see READY_CONDITION).
require
has_descriptor: BOOLEAN
effective function
{ANY}
True if that stream can be associated to some OS-meaningful descriptor.
require
can_disconnect: BOOLEAN
deferred function
{ANY}
True if the stream can be safely disconnected (without data loss, etc.)
require
url: URL
frozen
effective function
{ANY}
The URL to this stream as resource
ensure
  • not_void: Result /= Void
  • always_the_same: Result = url
url_memory: URL
writable attribute
{}
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.
require
filtered_descriptor: INTEGER_32
deferred function
Find the descriptor of the terminal stream...
Filters do not have descriptors of their own
require
filtered_has_descriptor: BOOLEAN
deferred function
True if the underlying terminal stream has a descriptor
require
filtered_stream_pointer: POINTER
deferred function
Find the pointer of the terminal stream...
Filters do not have pointers of their own
require
filtered_has_stream_pointer: BOOLEAN
deferred function
True if the underlying terminal stream has a pointer
require
event_exception: EVENT_DESCRIPTOR
effective function
{ANY}
stream_exception: STREAM_EXCEPTION
writable attribute
{}
recycle
effective procedure
Do whatever needs to be done to free resources or recycle other objects when recycling this one
dispose
effective procedure
{}
Action to be executed just before garbage collection reclaims an object.
sequencer_descriptor (file: POINTER): INTEGER_32
{}
is_filtered: BOOLEAN
deferred function
{ANY}
put_natively_stored_string (s: NATIVELY_STORED_STRING)
effective procedure
require
  • s /= Void
put_abstract_string (s: ABSTRACT_STRING)
effective procedure
require
  • s /= Void
put_string (s: ABSTRACT_STRING)
effective procedure
{ANY}
Output s to current output device.
require
put_unicode_string (unicode_string: UNICODE_STRING)
effective procedure
{ANY}
Output the UTF-8 encoding of the unicode_string.
require
put_line (s: ABSTRACT_STRING)
effective procedure
{ANY}
Output the string followed by a '%N'.
%
put_integer (i: INTEGER_64)
frozen
effective procedure
{ANY}
Output i to current output device.
put_integer_format (i: INTEGER_64, s: INTEGER_32)
frozen
effective procedure
{ANY}
Output i to current output device using at most s character.
put_natural_8 (n: NATURAL_8)
frozen
effective procedure
{ANY}
Output n to current output device.
put_natural_8_format (n: NATURAL_8, s: INTEGER_32)
frozen
effective procedure
{ANY}
Output n to current output device using at most s character.
put_natural_16 (n: NATURAL_16)
frozen
effective procedure
{ANY}
Output n to current output device.
put_natural_16_format (n: NATURAL_16, s: INTEGER_32)
frozen
effective procedure
{ANY}
Output n to current output device using at most s character.
put_natural_32 (n: NATURAL_32)
frozen
effective procedure
{ANY}
Output n to current output device.
put_natural_32_format (n: NATURAL_32, s: INTEGER_32)
frozen
effective procedure
{ANY}
Output n to current output device using at most s character.
put_natural_64 (n: NATURAL_64)
frozen
effective procedure
{ANY}
Output n to current output device.
put_natural_64_format (n: NATURAL_64, s: INTEGER_32)
frozen
effective procedure
{ANY}
Output n to current output device using at most s character.
put_real (r: REAL_64)
effective procedure
{ANY}
Output r to current output device.
put_real_format (r: REAL_64, f: INTEGER_32)
effective procedure
{ANY}
Output r with only f digit for the fractional part.
Examples:
   put_real(3.519,2) print "3.51".
require
put_real_scientific (r: REAL_64, f: INTEGER_32)
effective procedure
{ANY}
Output r using the scientific notation with only f digit for the fractional part.
Examples:
   put_real_scientific(3.519,2) print "3.16e+00".
require
put_number (number: NUMBER)
effective procedure
{ANY}
Output the number.
require
put_boolean (b: BOOLEAN)
effective procedure
{ANY}
Output b to current output device according to the Eiffel format.
put_pointer (p: POINTER)
effective procedure
{ANY}
Output a viewable version of p.
put_new_line
effective procedure
{ANY}
Output a newline character.
put_spaces (nb: INTEGER_32)
effective procedure
{ANY}
Output nb spaces character.
require
append_file (file_name: STRING)
effective procedure
{ANY}
require
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): INTEGER_32
{}
io_flush (stream: POINTER)
{}
set_filter (a_filter: FILTER)
effective procedure
Used by the filter itself to get attached
require
  • a_filter /= Void
ensure
operator_filter: HASHED_DICTIONARY[STRING, CHARACTER]
once function
{}
remote_clusters: HASHED_DICTIONARY[STRING, STRING]
once function
{}
remote_cluster (cluster: CLUSTER): STRING
effective function
{}
Void if the cluster is not remote (should be generated)
css_root: STRING
is "root"
constant attribute
{}
css_all_clusters: STRING
is "all_clusters"
constant attribute
{}
css_letter_cluster: STRING
is "letter_cluster"
constant attribute
{}
css_cluster: STRING
is "cluster"
constant attribute
{}
css_sub_cluster: STRING
is "sub_cluster"
constant attribute
{}
css_cluster_comments: STRING
is "cluster_comments"
constant attribute
{}
css_cluster_classes: STRING
is "cluster_classes"
constant attribute
{}
css_points_of_view: STRING
is "points_of_view"
constant attribute
{}
css_summary: STRING
is "summary"
constant attribute
{}
css_overview: STRING
is "overview"
constant attribute
{}
css_feature: STRING
is "feature"
constant attribute
{}
css_invariant: STRING
is "invariant"
constant attribute
{}
css_assertion: STRING
is "assertion"
constant attribute
{}
css_obsolete: STRING
is "obsolete"
constant attribute
{}
css_block_suffix: STRING
is "_block"
constant attribute
{}
css_head_suffix: STRING
is "_head"
constant attribute
{}
css_head_layout_suffix: STRING
is "_head_layout"
constant attribute
{}
css_expand_mark_suffix: STRING
is "_expand_mark"
constant attribute
{}
css_expand_mark_hover_suffix: STRING
is "_expand_mark_hover"
constant attribute
{}
css_title_suffix: STRING
is "_title"
constant attribute
{}
is "_nav_link"
constant attribute
{}
css_name_suffix: STRING
is "_name"
constant attribute
{}
css_comment_suffix: STRING
is "_comment"
constant attribute
{}
css_clause_comment_suffix: STRING
is "_clause_comment"
constant attribute
{}
css_feature_item_suffix: STRING
is "_feature_item"
constant attribute
{}
css_expanded_suffix: STRING
is "_expanded"
constant attribute
{}
css_current_suffix: STRING
is "_current"
constant attribute
{}
css_keyword_suffix: STRING
is "_keyword"
constant attribute
{}
css_msg_suffix: STRING
is "_msg"
constant attribute
{}
css_mark_suffix: STRING
is "mark"
constant attribute
{}
css_deferred_suffix: STRING
is "_deferred"
constant attribute
{}
css_frozen_suffix: STRING
is "_frozen"
constant attribute
{}
css_attribute_suffix: STRING
is "_attribute"
constant attribute
{}
css_once_suffix: STRING
is "_once"
constant attribute
{}
css_blank_suffix: STRING
is "_blank"
constant attribute
{}
css_value_suffix: STRING
is "_value"
constant attribute
{}
css_access_suffix: STRING
is "_access"
constant attribute
{}
css_note_suffix: STRING
is "_note"
constant attribute
{}
css_note_tag_suffix: STRING
is "_note_tag"
constant attribute
{}
css_note_values_suffix: STRING
is "_note_values"
constant attribute
{}
css_nav_link: STRING
is "nav_link"
constant attribute
{}
css_class_link: STRING
is "class_link"
constant attribute
{}
css_feature_link: STRING
is "feature_link"
constant attribute
{}
index_filename: STRING
is "index.html"
constant attribute
{}
top_anchor_name: STRING
is "top"
constant attribute
{}
top_anchor_address: STRING
is "#top"
constant attribute
{}
is "top"
constant attribute
{}
is "home"
constant attribute
{}
is "wiki"
constant attribute
{}
points_of_view_menu_name: STRING
is "Point of view"
constant attribute
{}
all_feature_entry_name: STRING
is "All features"
constant attribute
{}
class_str: STRING
is "class "
constant attribute
{}
deferred_str: STRING
is "deferred"
constant attribute
{}
expanded_str: STRING
is "expanded"
constant attribute
{}
frozen_str: STRING
is "frozen"
constant attribute
{}
once_str: STRING
is "once"
constant attribute
{}
obsolete_class_str: STRING
is "This class is obsolete: "
constant attribute
{}
obsolete_feature_str: STRING
is "This feature is obsolete: "
constant attribute
{}
summary_title_str: STRING
is "Summary"
constant attribute
{}
direct_parents_str: STRING
is "Direct parents"
constant attribute
{}
known_children_str: STRING
is "Known children"
constant attribute
{}
inherit_list_str: STRING
is "Inherit list"
constant attribute
{}
insert_list_str: STRING
is "Insert list"
constant attribute
{}
all_classes_str: STRING
is "All classes"
constant attribute
{}
cluster_comments_str: STRING
is "Description"
constant attribute
{}
cluster_classes_str: STRING
is "Classes"
constant attribute
{}
overview_title_str: STRING
is "Overview"
constant attribute
{}
creation_features_str: STRING
is "Creation features"
constant attribute
{}
exported_features_str: STRING
is "Exported features"
constant attribute
{}
features_str: STRING
is "Features"
constant attribute
{}
class_invariant_str: STRING
is "Class invariant"
constant attribute
{}
require_str: STRING
is "require"
constant attribute
{}
ensure_str: STRING
is "ensure"
constant attribute
{}
old_str: STRING
is "old"
constant attribute
{}
all_classes_id: STRING
is "All classes:"
constant attribute
{}
cluster_comments_id: STRING
is "Cluster description:"
constant attribute
{}
cluster_classes_id: STRING
is "Cluster classes:"
constant attribute
{}
summary_id: STRING
is "Summary:"
constant attribute
{}
points_of_view_id: STRING
is "Points of view:"
constant attribute
{}
overview_id: STRING
is "Overview:"
constant attribute
{}
class_invariant_id: STRING
is "Class invariant:"
constant attribute
{}
title_bar: STRING
is "Eiffeldoc: "
constant attribute
{}
real_css: STRING
is "eiffeldoc.css"
constant attribute
{}
real_js: STRING
is "eiffeldoc.js"
constant attribute
{}
filtered_attribute (value: STRING): STRING
effective function
{}
require
  • value /= Void
set_suffixed_attribute (name: STRING, base_value: STRING, suffix: STRING, html_os: EIFFELDOC_OUTPUT_STREAM)
effective procedure
{}
require
  • name /= Void
  • base_value /= Void
  • suffix /= Void
  • html_os /= Void
html_output_stream_for_file (filename: STRING): EIFFELDOC_OUTPUT_STREAM
effective function
{}
require
  • filename /= Void
write_header (html_os: EIFFELDOC_OUTPUT_STREAM, title: STRING, js: STRING, css: STRING)
effective procedure
{}
require
  • html_os /= Void
  • title /= Void
ensure
  • html_os.in_header
open_block_head (html_os: EIFFELDOC_OUTPUT_STREAM, css_base_class: STRING, base_id: STRING)
effective procedure
{}
require
  • html_os /= Void
  • css_base_class /= Void
  • base_id /= Void
close_block_head (html_os: EIFFELDOC_OUTPUT_STREAM, css_base_class: STRING)
effective procedure
{}
require
  • html_os /= Void
  • css_base_class /= Void
open_block (html_os: EIFFELDOC_OUTPUT_STREAM, css_base_class: STRING, name: STRING, base_id: STRING)
effective procedure
{}
require
  • html_os /= Void
  • css_base_class /= Void
  • name /= Void
  • base_id /= Void
close_block (html_os: EIFFELDOC_OUTPUT_STREAM)
effective procedure
{}
require
  • html_os /= Void
open_comment_block (html_os: EIFFELDOC_OUTPUT_STREAM, css_base_class: STRING)
effective procedure
{}
require
  • html_os /= Void
  • css_base_class /= Void
close_comment_block (html_os: EIFFELDOC_OUTPUT_STREAM)
effective procedure
{}
require
  • html_os /= Void
open_expand_block (html_os: EIFFELDOC_OUTPUT_STREAM, css_base_class: STRING, base_id: STRING, expand: BOOLEAN)
effective procedure
{}
require
  • html_os /= Void
  • css_base_class /= Void
  • base_id /= Void
close_expand_block (html_os: EIFFELDOC_OUTPUT_STREAM)
effective procedure
{}
require
  • html_os /= Void
create_dirs (a_filename: STRING): INTEGER_32
effective function
{}
And returns the depth of the tree
last_dirname: STRING
writable attribute
{}
basename_of (a_filename: STRING): STRING
effective function
{}
filename_of (a_class: CLASS_TEXT): STRING
effective function
{}
require
  • a_class /= Void
class_name_any: CLASS_NAME
once function
{}
class_name_tuple: CLASS_NAME
once function
{}
smart_eiffel: SMART_EIFFEL
frozen
once function
{ANY}
eiffel_parser: EIFFEL_PARSER
frozen
once function
{ANY}
ace: ACE
frozen
once function
{ANY}
ini_parser: INI_PARSER
frozen
once function
{ANY}
plugin_config: INI_PARSER
frozen
once function
{ANY}
error_handler: ERROR_HANDLER
frozen
once function
{ANY}
string_aliaser: STRING_ALIASER
frozen
once function
{ANY}
frozen
once function
{ANY}
pretty_printer: PRETTY_PRINTER
frozen
once function
{ANY}
mini_buffer: MINI_BUFFER
frozen
once function
{ANY}
nb_errors: INTEGER_32
effective function
{ANY}
ensure
  • Result >= 0
system_tools: SYSTEM_TOOLS
frozen
once function
{ANY}
introspection_handler: INTROSPECTION_HANDLER
frozen
once function
{ANY}
assignment_test_pool: ASSIGNMENT_TEST_POOL
frozen
once function
{ANY}
precomputable_routine_detector: PRECOMPUTABLE_ROUTINE_DETECTOR
frozen
once function
{ANY}
feature_accumulator: FEATURE_ACCUMULATOR
frozen
once function
{ANY}
live_type_extra_collectors: FAST_ARRAY[LIVE_TYPE_EXTRA_COLLECTOR]
frozen
once function
{ANY}
is_launcher: BOOLEAN
effective function
{ACE}
If True, the clusters list will not be retrieved (it means that the tool is only used to start other tools; it does not load classes itself)
set_launcher
effective procedure
ensure
is_launcher_memory: REFERENCE[BOOLEAN]
once function
{}
parser_buffer: PARSER_BUFFER
frozen
once function
id_provider: ID_PROVIDER
frozen
once function
{ANY}
manifest_string_pool: MANIFEST_STRING_POOL
frozen
once function
{ANY}
manifest_generic_pool: MANIFEST_GENERIC_POOL
frozen
once function
{ANY}
once_routine_pool: ONCE_ROUTINE_POOL
frozen
once function
{ANY}
agent_pool: AGENT_POOL
frozen
once function
{ANY}
cecil_pool: CECIL_POOL
frozen
effective function
{ANY}
cecil_pool_memory: REFERENCE[CECIL_POOL]
frozen
once function
{ANY}
set_cecil_pool
frozen
once procedure
{ANY}
ensure
short_printer: SHORT_PRINTER
frozen
once function
{ANY}
echo: ECHO
frozen
once function
{ANY}
assignment_handler: ASSIGNMENT_HANDLER
frozen
once function
{ANY}
thread_pool: THREAD_POOL
frozen
once function
{ANY}
exceptions: EXCEPTIONS
frozen
writable attribute
{ANY}
exceptions_handler: EXCEPTIONS_HANDLER
frozen
once function
{ANY}
nb_warnings: INTEGER_32
effective function
{ANY}
ensure
  • Result >= 0
tmp_path: STRING
once function
{ANY}
class_any: CLASS_TEXT
once function
{ANY}
omitted_client_list: CLIENT_LIST
frozen
once function
{ANY}
(To avoid multiple creation(s).)
any_default_create_fs: FEATURE_STAMP
once function
{ANY}
any_default_rescue_fs: FEATURE_STAMP
once function
{ANY}
any_copy_fs: FEATURE_STAMP
once function
{ANY}
any_is_equal_fs: FEATURE_STAMP
once function
{ANY}
any_deep_twin_fs: FEATURE_STAMP
once function
{ANY}
any_is_deep_equal_fs: FEATURE_STAMP
once function
{ANY}
boolean_and_then_fs: FEATURE_STAMP
once function
{ANY}
manifest_make_name: HASHED_STRING
once function
{ANY}
manifest_put_name: HASHED_STRING
once function
{ANY}
manifest_semicolon_check_name: HASHED_STRING
once function
{ANY}
manifest_initialize_name: HASHED_STRING
once function
{ANY}
calloc_name: HASHED_STRING
once function
{ANY}
put_name: HASHED_STRING
once function
{ANY}
item_name: HASHED_STRING
once function
{ANY}
is_empty_name: HASHED_STRING
once function
{ANY}
make_name: HASHED_STRING
once function
{ANY}
from_external_sized_copy_name: HASHED_STRING
once function
{ANY}
count_name: HASHED_STRING
once function
{ANY}
storage_name: HASHED_STRING
once function
{ANY}
capacity_name: HASHED_STRING
once function
{ANY}
storage_lower_name: HASHED_STRING
once function
{ANY}
mark_item_name: HASHED_STRING
once function
{ANY}
mark_native_arrays_name: HASHED_STRING
once function
{ANY}
and_then_name: HASHED_STRING
once function
{ANY}
or_else_name: HASHED_STRING
once function
{ANY}
twin_name: HASHED_STRING
once function
{ANY}
copy_name: HASHED_STRING
once function
{ANY}
is_equal_name: HASHED_STRING
once function
{ANY}
deep_twin_name: HASHED_STRING
once function
{ANY}
deep_twin_from_name: HASHED_STRING
once function
{ANY}
is_deep_equal_name: HASHED_STRING
once function
{ANY}
deep_memcmp_name: HASHED_STRING
once function
{ANY}
se_atexit_name: HASHED_STRING
once function
{ANY}
default_rescue_name: HASHED_STRING
once function
{ANY}
default_create_name: HASHED_STRING
once function
{ANY}
flush_name: HASHED_STRING
once function
{ANY}
clear_all_name: HASHED_STRING
once function
{ANY}
from_pointer_name: HASHED_STRING
once function
{ANY}
no_errors: BOOLEAN
effective function
{ANY}
character_coding (c: CHARACTER, str: STRING)
effective procedure
{ANY}
Append in str the Eiffel coding of the character (Table in chapter 25 of ETL, page 423).%%%%%%%%
When the % letter notation exists, it is returned in priority: '%N' gives "%N", '%T' gives "%T", etc. When % letter notation does not exists (not in the ETL table), numbered coding used ("%/1/", "%/2/" etc).
eiffel_suffix: STRING
is ".e"
constant attribute
{ANY}
Eiffel Source file suffix.
c_suffix: STRING
is ".c"
constant attribute
{ANY}
C files suffix.
h_suffix: STRING
is ".h"
constant attribute
{ANY}
Heading C files suffix.
c_plus_plus_suffix: STRING
is ".cpp"
constant attribute
{ANY}
C++ files suffix.
backup_suffix: STRING
is ".bak"
constant attribute
{ANY}
Backup suffix for command pretty.
class_suffix: STRING
is ".class"
constant attribute
{ANY}
dot_precedence: INTEGER_32
is 12
constant attribute
{ANY}
The highest precedence value according to ETL.
atomic_precedence: INTEGER_32
is 13
constant attribute
{ANY}
Used for atomic elements.
append_u1 (str: STRING, u1: INTEGER_32)
effective procedure
{ANY}
append_u2 (str: STRING, u2: INTEGER_32)
effective procedure
{ANY}
append_u4 (str: STRING, u4: INTEGER_32)
effective procedure
{ANY}
is_install: BOOLEAN
effective function
{ANY}
set_install
effective procedure
{ANY}
ensure
install_memory: REFERENCE[BOOLEAN]
once function
{ANY}
unrelated_code: INTEGER_8
is 0
constant attribute
{ANY}
inserts_code: INTEGER_8
is 1
constant attribute
{ANY}
inherits_code: INTEGER_8
is 2
constant attribute
{ANY}
once function
{ANY}
shrink_generic_types: BOOLEAN
effective function
{}
shrink_generic_types_memory: REFERENCE[BOOLEAN]
once function
{}
Set the item to True if you want less generic type duplication
as_any: STRING
is "ANY"
constant attribute
{}
as_array: STRING
is "ARRAY"
constant attribute
{}
as_boolean: STRING
is "BOOLEAN"
constant attribute
{}
as_character: STRING
is "CHARACTER"
constant attribute
{}
as_disposable: STRING
is "DISPOSABLE"
constant attribute
{}
as_exceptions: STRING
is "EXCEPTIONS"
constant attribute
{}
as_fixed_array: STRING
is "FAST_ARRAY"
constant attribute
{}
as_function: STRING
is "FUNCTION"
constant attribute
{}
as_integer_general: STRING
is "INTEGER_GENERAL"
constant attribute
{}
as_integer_8: STRING
is "INTEGER_8"
constant attribute
{}
as_integer_16: STRING
is "INTEGER_16"
constant attribute
{}
as_integer_32: STRING
is "INTEGER_32"
constant attribute
{}
as_integer: STRING
is "INTEGER"
constant attribute
{}
as_integer_64: STRING
is "INTEGER_64"
constant attribute
{}
as_internals: STRING
is "INTERNALS"
constant attribute
{}
as_internals_handler: STRING
is "INTERNALS_HANDLER"
constant attribute
{}
as_native_array: STRING
is "NATIVE_ARRAY"
constant attribute
{}
as_native_array_collector: STRING
is "NATIVE_ARRAY_COLLECTOR"
constant attribute
{}
as_native_array_internals: STRING
is "NATIVE_ARRAY_INTERNALS"
constant attribute
{}
as_natural: STRING
is "NATURAL"
constant attribute
{}
as_natural_8: STRING
is "NATURAL_8"
constant attribute
{}
as_natural_16: STRING
is "NATURAL_16"
constant attribute
{}
as_natural_32: STRING
is "NATURAL_32"
constant attribute
{}
as_natural_64: STRING
is "NATURAL_64"
constant attribute
{}
as_natural_general: STRING
is "NATURAL_GENERAL"
constant attribute
{}
as_platform: STRING
is "PLATFORM"
constant attribute
{}
as_pointer: STRING
is "POINTER"
constant attribute
{}
as_predicate: STRING
is "PREDICATE"
constant attribute
{}
as_procedure: STRING
is "PROCEDURE"
constant attribute
{}
as_real_general: STRING
is "REAL_GENERAL"
constant attribute
{}
as_real_32: STRING
is "REAL_32"
constant attribute
{}
as_real: STRING
is "REAL"
constant attribute
{}
as_real_64: STRING
is "REAL_64"
constant attribute
{}
as_real_80: STRING
is "REAL_80"
constant attribute
{}
as_real_128: STRING
is "REAL_128"
constant attribute
{}
as_real_extended: STRING
is "REAL_EXTENDED"
constant attribute
{}
as_routine: STRING
is "ROUTINE"
constant attribute
{}
as_set: STRING
is "SET"
constant attribute
{}
as_string: STRING
is "STRING"
constant attribute
{}
as_text_file_read: STRING
is "TEXT_FILE_READ"
constant attribute
{}
as_text_file_write: STRING
is "TEXT_FILE_WRITE"
constant attribute
{}
as_thread_context: STRING
is "THREAD_CONTEXT"
constant attribute
{}
as_thread_lock: STRING
is "THREAD_LOCK"
constant attribute
{}
as_tuple: STRING
is "TUPLE"
constant attribute
{}
as_type: STRING
is "TYPE"
constant attribute
{}
as_typed_internals: STRING
is "TYPED_INTERNALS"
constant attribute
{}
as_unicode_string: STRING
is "UNICODE_STRING"
constant attribute
{}
as_weak_reference: STRING
is "WEAK_REFERENCE"
constant attribute
{}
as_a1: STRING
is "a1"
constant attribute
{}
as_add_last: STRING
is "add_last"
constant attribute
{}
as_agent: STRING
is "agent"
constant attribute
{}
as_allocated_bytes: STRING
is "allocated_bytes"
constant attribute
{}
as_alloc_native_data: STRING
is "alloc_native_data"
constant attribute
{}
as_as_16_ne: STRING
is "as_16_ne"
constant attribute
{}
as_as_32_ne: STRING
is "as_32_ne"
constant attribute
{}
as_atan2: STRING
is "atan2"
constant attribute
{}
as_blank: STRING
is "blank"
constant attribute
{}
as_bit_clear: STRING
is "bit_clear"
constant attribute
{}
as_bit_put: STRING
is "bit_put"
constant attribute
{}
as_bit_rotate: STRING
is "bit_rotate"
constant attribute
{}
as_bit_set: STRING
is "bit_set"
constant attribute
{}
as_bit_xor: STRING
is "bit_xor"
constant attribute
{}
as_boolean_bits: STRING
is "Boolean_bits"
constant attribute
{}
as_call: STRING
is "call"
constant attribute
{}
as_calloc: STRING
is "calloc"
constant attribute
{}
as_capacity: STRING
is "capacity"
constant attribute
{}
as_ceiling: STRING
is "ceiling"
constant attribute
{}
as_character_bits: STRING
is "Character_bits"
constant attribute
{}
as_clear_all: STRING
is "clear_all"
constant attribute
{}
as_count: STRING
is "count"
constant attribute
{}
as_code: STRING
is "code"
constant attribute
{}
as_collecting: STRING
is "collecting"
constant attribute
{}
as_collection_off: STRING
is "collection_off"
constant attribute
{}
as_collection_on: STRING
is "collection_on"
constant attribute
{}
as_collector_counter: STRING
is "collector_counter"
constant attribute
{}
as_copy: STRING
is "copy"
constant attribute
{}
as_c_inline_c: STRING
is "c_inline_c"
constant attribute
{}
as_c_inline_h: STRING
is "c_inline_h"
constant attribute
{}
as_default_create: STRING
is "default_create"
constant attribute
{}
as_default_rescue: STRING
is "default_rescue"
constant attribute
{}
as_deep_memcmp: STRING
is "deep_memcmp"
constant attribute
{}
as_deep_twin: STRING
is "deep_twin"
constant attribute
{}
as_deep_twin_from: STRING
is "deep_twin_from"
constant attribute
{}
as_dispose: STRING
is "dispose"
constant attribute
{}
as_die_with_code: STRING
is "die_with_code"
constant attribute
{}
as_element_sizeof: STRING
is "element_sizeof"
constant attribute
{}
as_exception: STRING
is "exception"
constant attribute
{}
as_for_object: STRING
is "for_object"
constant attribute
{}
as_type_can_be_assigned_to_attribute: STRING
is "type_can_be_assigned_to_attribute"
constant attribute
{}
as_type_can_be_assigned_to_item: STRING
is "type_can_be_assigned_to_item"
constant attribute
{}
as_type_attribute_count: STRING
is "type_attribute_count"
constant attribute
{}
as_type_attribute_generator: STRING
is "type_attribute_generator"
constant attribute
{}
as_type_attribute_generating_type: STRING
is "type_attribute_generating_type"
constant attribute
{}
as_type_attribute_is_expanded: STRING
is "type_attribute_is_expanded"
constant attribute
{}
as_type_attribute_name: STRING
is "type_attribute_name"
constant attribute
{}
as_fifth: STRING
is "fifth"
constant attribute
{}
as_first: STRING
is "first"
constant attribute
{}
as_floor: STRING
is "floor"
constant attribute
{}
as_flush: STRING
is "flush"
constant attribute
{}
as_fourth: STRING
is "fourth"
constant attribute
{}
as_force_to_integer_16: STRING
is "force_to_integer_16"
constant attribute
{}
as_force_to_integer_32: STRING
is "force_to_integer_32"
constant attribute
{}
as_force_to_integer_64: STRING
is "force_to_integer_64"
constant attribute
{}
as_force_to_natural_16: STRING
is "force_to_natural_16"
constant attribute
{}
as_force_to_natural_32: STRING
is "force_to_natural_32"
constant attribute
{}
as_force_to_natural_64: STRING
is "force_to_natural_64"
constant attribute
{}
as_force_to_real_32: STRING
is "force_to_real_32"
constant attribute
{}
as_force_to_real_64: STRING
is "force_to_real_64"
constant attribute
{}
as_free_native_data: STRING
is "free_native_data"
constant attribute
{}
as_from_external_sized_copy: STRING
is "from_external_sized_copy"
constant attribute
{}
as_from_pointer: STRING
is "from_pointer"
constant attribute
{}
as_full_collect: STRING
is "full_collect"
constant attribute
{}
as_generating_type: STRING
is "generating_type"
constant attribute
{}
as_generator: STRING
is "generator"
constant attribute
{}
as_io: STRING
is "io"
constant attribute
{}
as_integer_bits: STRING
is "Integer_bits"
constant attribute
{}
as_internals_from_generating_type: STRING
is "internals_from_generating_type"
constant attribute
{}
as_is_basic_expanded_type: STRING
is "is_basic_expanded_type"
constant attribute
{}
as_is_deep_equal: STRING
is "is_deep_equal"
constant attribute
{}
as_is_equal: STRING
is "is_equal"
constant attribute
{}
as_do_at_exit: STRING
is "do_at_exit"
constant attribute
{}
as_is_empty: STRING
is "is_empty"
constant attribute
{}
as_is_finished: STRING
is "is_finished"
constant attribute
{}
as_is_infinity: STRING
is "is_infinity"
constant attribute
{}
as_is_locked: STRING
is "is_locked"
constant attribute
{}
as_is_normal: STRING
is "is_normal"
constant attribute
{}
as_is_not_a_number: STRING
is "is_not_a_number"
constant attribute
{}
as_is_not_null: STRING
is "is_not_null"
constant attribute
{}
as_is_started: STRING
is "is_started"
constant attribute
{}
as_is_subnormal: STRING
is "is_subnormal"
constant attribute
{}
as_item: STRING
is "item"
constant attribute
{}
as_last: STRING
is "last"
constant attribute
{}
as_lock: STRING
is "lock"
constant attribute
{}
as_lower: STRING
is "lower"
constant attribute
{}
as_low_8: STRING
is "low_8"
constant attribute
{}
as_low_16: STRING
is "low_16"
constant attribute
{}
as_low_32: STRING
is "low_32"
constant attribute
{}
as_native_array_internals_from_generating_type: STRING
is "native_array_internals_from_generating_type"
constant attribute
{}
as_make: STRING
is "make"
constant attribute
{}
as_make_blank: STRING
is "make_blank"
constant attribute
{}
as_mark_item: STRING
is "mark_item"
constant attribute
{}
as_mark_native_arrays: STRING
is "mark_native_arrays"
constant attribute
{}
as_minimum_character_code: STRING
is "Minimum_character_code"
constant attribute
{}
as_minimum_double: STRING
is "Minimum_double"
constant attribute
{}
as_minimum_real: STRING
is "Minimum_real"
constant attribute
{}
as_manifest_creation: STRING
is "manifest_creation"
constant attribute
{}
as_manifest_initialize: STRING
is "manifest_initialize"
constant attribute
{}
as_manifest_make: STRING
is "manifest_make"
constant attribute
{}
as_manifest_put: STRING
is "manifest_put"
constant attribute
{}
as_manifest_semicolon_check: STRING
is "manifest_semicolon_check"
constant attribute
{}
as_maximum_character_code: STRING
is "Maximum_character_code"
constant attribute
{}
as_maximum_double: STRING
is "Maximum_double"
constant attribute
{}
as_maximum_real: STRING
is "Maximum_real"
constant attribute
{}
as_native_data: STRING
is "native_data"
constant attribute
{}
as_notify: STRING
is "notify"
constant attribute
{}
as_notify_all: STRING
is "notify_all"
constant attribute
{}
as_object_as_pointer: STRING
is "object_as_pointer"
constant attribute
{}
as_object_attribute: STRING
is "object_attribute"
constant attribute
{}
as_object_invariant: STRING
is "object_invariant"
constant attribute
{}
as_object_memory: STRING
is "object_memory"
constant attribute
{}
as_object_size: STRING
is "object_size"
constant attribute
{}
as_pointer_bits: STRING
is "Pointer_bits"
constant attribute
{}
as_pow_postfix: STRING
is "pow"
constant attribute
{}
as_print: STRING
is "print"
constant attribute
{}
as_print_on: STRING
is "print_on"
constant attribute
{}
as_print_run_time_stack: STRING
is "print_run_time_stack"
constant attribute
{}
as_put: STRING
is "put"
constant attribute
{}
as_put_0: STRING
is "put_0"
constant attribute
{}
as_put_1: STRING
is "put_1"
constant attribute
{}
as_put_16_be: STRING
is "put_16_be"
constant attribute
{}
as_put_16_le: STRING
is "put_16_le"
constant attribute
{}
as_put_16_ne: STRING
is "put_16_ne"
constant attribute
{}
as_put_32_be: STRING
is "put_32_be"
constant attribute
{}
as_put_32_le: STRING
is "put_32_le"
constant attribute
{}
as_put_32_ne: STRING
is "put_32_ne"
constant attribute
{}
as_raise_exception: STRING
is "raise_exception"
constant attribute
{}
as_real_bits: STRING
is "Real_bits"
constant attribute
{}
as_realloc: STRING
is "realloc"
constant attribute
{}
as_rounded: STRING
is "rounded"
constant attribute
{}
as_run: STRING
is "run"
constant attribute
{}
as_same_dynamic_type: STRING
is "same_dynamic_type"
constant attribute
{}
as_second: STRING
is "second"
constant attribute
{}
as_se_argc: STRING
is "se_argc"
constant attribute
{}
as_se_argv: STRING
is "se_argv"
constant attribute
{}
as_se_atexit: STRING
is "se_atexit"
constant attribute
{}
as_se_fault: STRING
is "se_fault"
constant attribute
{}
as_sedb_breakpoint: STRING
is "sedb_breakpoint"
constant attribute
{}
as_set_item: STRING
is "set_item"
constant attribute
{}
as_set_object_attribute: STRING
is "set_object_attribute"
constant attribute
{}
as_signal_number: STRING
is "signal_number"
constant attribute
{}
as_slice_copy: STRING
is "slice_copy"
constant attribute
{}
as_standard_copy: STRING
is "standard_copy"
constant attribute
{}
as_standard_is_equal: STRING
is "standard_is_equal"
constant attribute
{}
as_standard_twin: STRING
is "standard_twin"
constant attribute
{}
as_status: STRING
is "status"
constant attribute
{}
as_std_error: STRING
is "std_error"
constant attribute
{}
as_std_input: STRING
is "std_input"
constant attribute
{}
as_std_output: STRING
is "std_output"
constant attribute
{}
as_stderr: STRING
is "stderr"
constant attribute
{}
as_stdin: STRING
is "stdin"
constant attribute
{}
as_stdout: STRING
is "stdout"
constant attribute
{}
as_storage: STRING
is "storage"
constant attribute
{}
as_storage_lower: STRING
is "storage_lower"
constant attribute
{}
as_third: STRING
is "third"
constant attribute
{}
as_timed_wait: STRING
is "timed_wait"
constant attribute
{}
as_to_character: STRING
is "to_character"
constant attribute
{}
as_to_integer_8: STRING
is "to_integer_8"
constant attribute
{}
as_to_integer_16: STRING
is "to_integer_16"
constant attribute
{}
as_to_integer_32: STRING
is "to_integer_32"
constant attribute
{}
as_to_integer_64: STRING
is "to_integer_64"
constant attribute
{}
as_to_internals: STRING
is "to_internals"
constant attribute
{}
as_to_natural_8: STRING
is "to_natural_8"
constant attribute
{}
as_to_natural_16: STRING
is "to_natural_16"
constant attribute
{}
as_to_natural_32: STRING
is "to_natural_32"
constant attribute
{}
as_to_natural_64: STRING
is "to_natural_64"
constant attribute
{}
as_to_pointer: STRING
is "to_pointer"
constant attribute
{}
as_trace_switch: STRING
is "trace_switch"
constant attribute
{}
as_twin: STRING
is "twin"
constant attribute
{}
as_type_generating_type: STRING
is "type_generating_type"
constant attribute
{}
as_type_generator: STRING
is "type_generator"
constant attribute
{}
as_type_is_expanded: STRING
is "type_is_expanded"
constant attribute
{}
as_type_item_generating_type: STRING
is "type_item_generating_type"
constant attribute
{}
as_type_item_generator: STRING
is "type_item_generator"
constant attribute
{}
as_type_item_is_expanded: STRING
is "type_item_is_expanded"
constant attribute
{}
as_unlock: STRING
is "unlock"
constant attribute
{}
as_upper: STRING
is "upper"
constant attribute
{}
as_valid_generating_type_for_internals: STRING
is "valid_generating_type_for_internals"
constant attribute
{}
as_valid_generating_type_for_native_array_internals: STRING
is "valid_generating_type_for_native_array_internals"
constant attribute
{}
as_wait: STRING
is "wait"
constant attribute
{}
as_with_capacity: STRING
is "with_capacity"
constant attribute
{}
as_and: STRING
is "and"
constant attribute
{}
as_and_then: STRING
is "and then"
constant attribute
{}
as_at: STRING
is "@"
constant attribute
{}
as_backslash_backslash: STRING
is "\\"
constant attribute
{}
as_bit_and: STRING
is "&"
constant attribute
{}
as_bit_not: STRING
is "~"
constant attribute
{}
as_bit_or: STRING
is "|"
constant attribute
{}
as_bit_rotate_left: STRING
is "#<<"
constant attribute
{}
as_bit_rotate_right: STRING
is "#>>"
constant attribute
{}
as_bit_shift_right_unsigned: STRING
is "|>>>"
constant attribute
{}
as_brackets: STRING
is "[]"
constant attribute
{}
as_eq: STRING
is "="
constant attribute
{}
as_ge: STRING
is ">="
constant attribute
{}
as_gt: STRING
is ">"
constant attribute
{}
as_implies: STRING
is "implies"
constant attribute
{}
as_le: STRING
is "<="
constant attribute
{}
as_lt: STRING
is "<"
constant attribute
{}
as_minus: STRING
is "-"
constant attribute
{}
as_muls: STRING
is "*"
constant attribute
{}
as_neq: STRING
is "/="
constant attribute
{}
as_not: STRING
is "not"
constant attribute
{}
as_or: STRING
is "or"
constant attribute
{}
as_or_else: STRING
is "or else"
constant attribute
{}
as_parentheses: STRING
is "()"
constant attribute
{}
as_plus: STRING
is "+"
constant attribute
{}
as_pow: STRING
is "^"
constant attribute
{}
as_sharp_backslash_backslash: STRING
is "#\\"
constant attribute
{}
as_sharp_minus: STRING
is "#-"
constant attribute
{}
as_sharp_muls: STRING
is "#*"
constant attribute
{}
as_sharp_plus: STRING
is "#+"
constant attribute
{}
as_sharp_slash_slash: STRING
is "#//"
constant attribute
{}
as_bit_shift_left: STRING
is "|<<"
constant attribute
{}
as_bit_shift_right: STRING
is "|>>"
constant attribute
{}
as_slash: STRING
is "/"
constant attribute
{}
as_slash_slash: STRING
is "//"
constant attribute
{}
as_xor: STRING
is "xor"
constant attribute
{}
as_arguments: STRING
is "arguments"
constant attribute
{}
as_current: STRING
is "Current"
constant attribute
{}
as_native_array_character: STRING
is "NATIVE_ARRAY[CHARACTER]"
constant attribute
{}
as_last_result: STRING
is "last_result"
constant attribute
{}
as_like_current: STRING
is "like Current"
constant attribute
{}
as_method: STRING
is "method"
constant attribute
{}
as_open_arguments: STRING
is "open_arguments"
constant attribute
{}
as_open_argument_indices: STRING
is "open_argument_indices"
constant attribute
{}
as_open_argument_index: STRING
is "open_argument_index"
constant attribute
{}
as_open_argument_count: STRING
is "open_argument_count"
constant attribute
{}
as_precursor: STRING
is "Precursor"
constant attribute
{}
as_result: STRING
is "Result"
constant attribute
{}
as_target: STRING
is "target"
constant attribute
{}
as_void: STRING
is "Void"
constant attribute
{}
fz_adapt: STRING
is "adapt"
constant attribute
{}
fz_alias: STRING
is "alias"
constant attribute
{}
fz_all: STRING
is "all"
constant attribute
{}
fz_as: STRING
is "as"
constant attribute
{}
fz_assertion: STRING
is "assertion"
constant attribute
{}
fz_assertion_flat_check: STRING
is "assertion_flat_check"
constant attribute
{}
fz_assign: STRING
is "assign"
constant attribute
{}
fz_begin_c_compile: STRING
is "# Beginning of parallelizable section"
constant attribute
{}
fz_boost: STRING
is "boost"
constant attribute
{}
fz_check: STRING
is "check"
constant attribute
{}
fz_class: STRING
is "class"
constant attribute
{}
fz_cluster: STRING
is "cluster"
constant attribute
{}
fz_convert: STRING
is "convert"
constant attribute
{}
fz_create: STRING
is "create"
constant attribute
{}
fz_creation: STRING
is "creation"
constant attribute
{}
fz_debug: STRING
is "debug"
constant attribute
{}
fz_default: STRING
is "default"
constant attribute
{}
fz_deferred: STRING
is "deferred"
constant attribute
{}
fz_do: STRING
is "do"
constant attribute
{}
fz_else: STRING
is "else"
constant attribute
{}
fz_elseif: STRING
is "elseif"
constant attribute
{}
fz_end: STRING
is "end"
constant attribute
{}
fz_end_c_compile: STRING
is "# End of parallelizable section"
constant attribute
{}
fz_ensure: STRING
is "ensure"
constant attribute
{}
fz_exclude: STRING
is "exclude"
constant attribute
{}
fz_expanded: STRING
is "expanded"
constant attribute
{}
fz_export: STRING
is "export"
constant attribute
{}
fz_external: STRING
is "external"
constant attribute
{}
fz_false: STRING
is "False"
constant attribute
{}
fz_feature: STRING
is "feature"
constant attribute
{}
fz_from: STRING
is "from"
constant attribute
{}
fz_frozen: STRING
is "frozen"
constant attribute
{}
fz_generate: STRING
is "generate"
constant attribute
{}
fz_if: STRING
is "if"
constant attribute
{}
fz_include: STRING
is "include"
constant attribute
{}
fz_indexing: STRING
is "indexing"
constant attribute
{}
fz_infix: STRING
is "infix"
constant attribute
{}
fz_inherit: STRING
is "inherit"
constant attribute
{}
fz_insert: STRING
is "insert"
constant attribute
{}
fz_inline: STRING
is "inline"
constant attribute
{}
fz_inspect: STRING
is "inspect"
constant attribute
{}
fz_invariant: STRING
is "invariant"
constant attribute
{}
fz_is: STRING
is "is"
constant attribute
{}
fz_like: STRING
is "like"
constant attribute
{}
fz_local: STRING
is "local"
constant attribute
{}
fz_loop: STRING
is "loop"
constant attribute
{}
fz_no: STRING
is "no"
constant attribute
{}
fz_note: STRING
is "note"
constant attribute
{}
fz_obsolete: STRING
is "obsolete"
constant attribute
{}
fz_old: STRING
is "old"
constant attribute
{}
fz_once: STRING
is "once"
constant attribute
{}
fz_option: STRING
is "option"
constant attribute
{}
fz_prefix: STRING
is "prefix"
constant attribute
{}
fz_redefine: STRING
is "redefine"
constant attribute
{}
fz_rename: STRING
is "rename"
constant attribute
{}
fz_require: STRING
is "require"
constant attribute
{}
fz_rescue: STRING
is "rescue"
constant attribute
{}
fz_retry: STRING
is "retry"
constant attribute
{}
fz_runtime: STRING
is "runtime"
constant attribute
{}
fz_separate: STRING
is "separate"
constant attribute
{}
fz_reference: STRING
is "reference"
constant attribute
{}
fz_then: STRING
is "then"
constant attribute
{}
fz_trace: STRING
is "trace"
constant attribute
{}
fz_true: STRING
is "True"
constant attribute
{}
fz_undefine: STRING
is "undefine"
constant attribute
{}
fz_unique: STRING
is "unique"
constant attribute
{}
fz_until: STRING
is "until"
constant attribute
{}
fz_use: STRING
is "use"
constant attribute
{}
fz_variant: STRING
is "variant"
constant attribute
{}
fz_when: STRING
is "when"
constant attribute
{}
fz_yes: STRING
is "yes"
constant attribute
{}
fz_cad: STRING
is "Cyclic anchored definition."
constant attribute
{}
fz_dtideena: STRING
is " has no compiler-defined `deep_twin' or `is_deep_equal' because the corresponding allocated size is not part of the NATIVE_ARRAY object. The client class of this NATIVE_ARRAY type is supposed to use a `capacity' attribute which contains the corresponding number of allocated items (see STRING or ARRAY for example)."
constant attribute
{}
fz_error_stars: STRING
is "****** "
constant attribute
{}
fz_vuar4: STRING
is "The $ operator must be followed by the final name of a feature which is not a constant attribute or by the name of some local variable as well."
constant attribute
{}
fz_bin: STRING
is "bin"
constant attribute
{}
fz_c_shift_left: STRING
is "<<"
constant attribute
{}
fz_c_shift_right: STRING
is ">>"
constant attribute
{}
fz_install: STRING
is "install"
constant attribute
{}
fz_jobs: STRING
is "jobs"
constant attribute
{}
fz_no_check: STRING
is "no_check"
constant attribute
{}
fz_none: STRING
is "none"
constant attribute
{}
fz_libertyeiffel: STRING
is "LibertyEiffel"
constant attribute
{}
fz_seconf: STRING
is "LIBERTY_CONF"
constant attribute
{}
The environment name pointing to the config file.
fz_conf_general: STRING
is "General"
constant attribute
{}
fz_conf_loadpath: STRING
is "Loadpath"
constant attribute
{}
fz_conf_environment: STRING
is "Environment"
constant attribute
{}
since version 2
fz_conf_se_tools: STRING
is "Tools"
constant attribute
{}
since version 3
fz_conf_bin: STRING
is "bin"
constant attribute
{}
fz_conf_lib: STRING
is "lib"
constant attribute
{}
fz_conf_sys: STRING
is "sys"
constant attribute
{}
fz_conf_short: STRING
is "short"
constant attribute
{}
fz_conf_tools: STRING
is "tools"
constant attribute
{}
fz_conf_os: STRING
is "os"
constant attribute
{}
fz_conf_flavor: STRING
is "flavor"
constant attribute
{}
fz_conf_jobs: STRING
is "jobs"
constant attribute
{}
fz_conf_boost: STRING
is "boost"
constant attribute
{}
fz_conf_no_check: STRING
is "no_check"
constant attribute
{}
fz_conf_require_check: STRING
is "require_check"
constant attribute
{}
fz_conf_ensure_check: STRING
is "ensure_check"
constant attribute
{}
fz_conf_invariant_check: STRING
is "invariant_check"
constant attribute
{}
fz_conf_loop_check: STRING
is "loop_check"
constant attribute
{}
fz_conf_all_check: STRING
is "all_check"
constant attribute
{}
fz_conf_debug_check: STRING
is "debug_check"
constant attribute
{}
fz_conf_flat_check: STRING
is "flat_check"
constant attribute
{}
fz_conf_smarteiffel_options: STRING
is "smarteiffel_options"
constant attribute
{}
fz_conf_undefined: STRING
is "undefined"
constant attribute
{}
fz_conf_tag: STRING
is "tag"
constant attribute
{}
fz_conf_compiler_type: STRING
is "c_compiler_type"
constant attribute
{}
fz_conf_compiler_path: STRING
is "c_compiler_path"
constant attribute
{}
fz_conf_linker_path: STRING
is "c_linker_path"
constant attribute
{}
fz_conf_strip_path: STRING
is "c_strip_path"
constant attribute
{}
fz_conf_compiler_options: STRING
is "c_compiler_options"
constant attribute
{}
fz_conf_linker_options: STRING
is "c_linker_options"
constant attribute
{}
fz_conf_cpp_compiler_type: STRING
is "cpp_compiler_type"
constant attribute
{}
fz_conf_cpp_compiler_path: STRING
is "cpp_compiler_path"
constant attribute
{}
fz_conf_cpp_compiler_options: STRING
is "cpp_compiler_options"
constant attribute
{}
fz_conf_cpp_linker_path: STRING
is "cpp_linker_path"
constant attribute
{}
fz_conf_cpp_strip_path: STRING
is "cpp_strip_path"
constant attribute
{}
fz_conf_cpp_linker_options: STRING
is "cpp_linker_options"
constant attribute
{}