Eiffeldoc : POSITION

+

Point of view

INSTALL

expanded class POSITION

Summary

Overview

exported features

class_text: CLASS_TEXT

The corresponding one which may be Void for example when is_unknown or when parsing a -cecil file or the ACE file.
line: INTEGER_32

The corresponding line number in the source file or 0 when is_unknown.
column: INTEGER_32

The column number in the source file or 0 when is_unknown or when there is not enough space in mangling for the column.
class_text_name: CLASS_NAME

The corresponding one when already loaded by the eiffel_parser.
path: STRING

The corresponding file path or Void when is_unknown.
is_unknown: BOOLEAN

True when the Current as the default value (not set).
before (other: POSITION): BOOLEAN

Is Current position strictly before other (which is in the same source text file).
sedb_trace: BOOLEAN

Is the run-time trace mechanism activated for this position?
append_in (buffer: STRING)
set_class_text (ct: CLASS_TEXT)

Note: this routine may be used to create implicit Eiffel code (code which does not exists).
infix "<" (other: POSITION): BOOLEAN

Is Current strictly less than other?
is_equal (other: POSITION): BOOLEAN

Is other attached to an object considered equal to current object?
same_line_as (other: POSITION): BOOLEAN

infix "<=" (other: POSITION): BOOLEAN

Is Current less than or equal other?
infix ">" (other: POSITION): BOOLEAN

Is Current strictly greater than other?
infix ">=" (other: POSITION): BOOLEAN

Is Current greater than or equal than other?
in_range (lower: POSITION, upper: POSITION): BOOLEAN

Return True if Current is in range [lower..upper]

See also min, max, compare.
compare (other: POSITION): INTEGER_32

If current object equal to other, 0 if smaller, -1; if greater, 1.
three_way_comparison (other: POSITION): INTEGER_32

If current object equal to other, 0 if smaller, -1; if greater, 1.
min (other: POSITION): POSITION

Minimum of Current and other.
max (other: POSITION): POSITION

Maximum of Current and other.

install_memory: REFERENCE[INSTALL]

parser_buffer: PARSER_BUFFER

The known keys of the INI file:

fz_conf_general: STRING
fz_conf_loadpath: STRING
fz_conf_environment: STRING

since version 2
fz_conf_se_tools: STRING

since version 3
fz_conf_java: STRING

since version 3
fz_conf_bin: STRING
fz_conf_lib: STRING
fz_conf_sys: STRING
fz_conf_short: STRING
fz_conf_tools: STRING
fz_conf_os: STRING
fz_conf_flavor: STRING
fz_conf_jobs: STRING
fz_conf_boost: STRING
fz_conf_no_check: STRING
fz_conf_require_check: STRING
fz_conf_ensure_check: STRING
fz_conf_invariant_check: STRING
fz_conf_loop_check: STRING
fz_conf_all_check: STRING
fz_conf_debug_check: STRING
fz_conf_flat_check: STRING
fz_conf_smarteiffel_options: STRING
fz_conf_undefined: STRING
fz_conf_tag: STRING
fz_conf_compiler_type: STRING
fz_conf_compiler_path: STRING
fz_conf_linker_path: STRING
fz_conf_strip_path: STRING
fz_conf_compiler_options: STRING
fz_conf_linker_options: STRING
fz_conf_cpp_compiler_type: STRING
fz_conf_cpp_compiler_path: STRING
fz_conf_cpp_compiler_options: STRING
fz_conf_cpp_linker_path: STRING
fz_conf_cpp_strip_path: STRING
fz_conf_cpp_linker_options: STRING
fz_conf_java_jar_binary: STRING
fz_conf_java_jvm_binary: STRING
fz_conf_java_java_compiler: STRING

class_text: CLASS_TEXT

effective function

The corresponding one which may be Void for example when is_unknown or when parsing a -cecil file or the ACE file.

line: INTEGER_32

effective function

The corresponding line number in the source file or 0 when is_unknown.

column: INTEGER_32

effective function

The column number in the source file or 0 when is_unknown or when there is not enough space in mangling for the column.

class_text_name: CLASS_NAME

effective function

The corresponding one when already loaded by the eiffel_parser.

path: STRING

effective function

The corresponding file path or Void when is_unknown.

is_unknown: BOOLEAN

effective function

True when the Current as the default value (not set).

before (other: POSITION): BOOLEAN

effective function

Is Current position strictly before other (which is in the same source text file).

sedb_trace: BOOLEAN

effective function

Is the run-time trace mechanism activated for this position?

append_in (buffer: STRING)

effective procedure

set_class_text (ct: CLASS_TEXT)

effective procedure

Note: this routine may be used to create implicit Eiffel code (code which does not exists).

infix "<" (other: POSITION): BOOLEAN

effective function

Is Current strictly less than other?

is_equal (other: POSITION): BOOLEAN

effective function

Is other attached to an object considered equal to current object?

same_line_as (other: POSITION): BOOLEAN

effective function

infix "<=" (other: POSITION): BOOLEAN

effective function

Is Current less than or equal other?

infix ">" (other: POSITION): BOOLEAN

effective function

Is Current strictly greater than other?

infix ">=" (other: POSITION): BOOLEAN

effective function

Is Current greater than or equal than other?

in_range (lower: POSITION, upper: POSITION): BOOLEAN

effective function

Return True if Current is in range [lower..upper]

See also min, max, compare.

compare (other: POSITION): INTEGER_32

effective function

If current object equal to other, 0 if smaller, -1; if greater, 1.

three_way_comparison (other: POSITION): INTEGER_32

effective function

If current object equal to other, 0 if smaller, -1; if greater, 1.

min (other: POSITION): POSITION

effective function

Minimum of Current and other.

max (other: POSITION): POSITION

effective function

Maximum of Current and other.

install_memory: REFERENCE[INSTALL]

once function

parser_buffer: PARSER_BUFFER

frozen

once function

fz_conf_general: STRING

constant attribute

fz_conf_loadpath: STRING

constant attribute

fz_conf_environment: STRING

constant attribute

since version 2

fz_conf_se_tools: STRING

constant attribute

since version 3

fz_conf_java: STRING

constant attribute

since version 3

fz_conf_bin: STRING

constant attribute

fz_conf_lib: STRING

constant attribute

fz_conf_sys: STRING

constant attribute

fz_conf_short: STRING

constant attribute

fz_conf_tools: STRING

constant attribute

fz_conf_os: STRING

constant attribute

fz_conf_flavor: STRING

constant attribute

fz_conf_jobs: STRING

constant attribute

fz_conf_boost: STRING

constant attribute

fz_conf_no_check: STRING

constant attribute

fz_conf_require_check: STRING

constant attribute

fz_conf_ensure_check: STRING

constant attribute

fz_conf_invariant_check: STRING

constant attribute

fz_conf_loop_check: STRING

constant attribute

fz_conf_all_check: STRING

constant attribute

fz_conf_debug_check: STRING

constant attribute

fz_conf_flat_check: STRING

constant attribute

fz_conf_smarteiffel_options: STRING

constant attribute

fz_conf_undefined: STRING

constant attribute

fz_conf_tag: STRING

constant attribute

fz_conf_compiler_type: STRING

constant attribute

fz_conf_compiler_path: STRING

constant attribute

fz_conf_linker_path: STRING

constant attribute

fz_conf_strip_path: STRING

constant attribute

fz_conf_compiler_options: STRING

constant attribute

fz_conf_linker_options: STRING

constant attribute

fz_conf_cpp_compiler_type: STRING

constant attribute

fz_conf_cpp_compiler_path: STRING

constant attribute

fz_conf_cpp_compiler_options: STRING

constant attribute

fz_conf_cpp_linker_path: STRING

constant attribute

fz_conf_cpp_strip_path: STRING

constant attribute

fz_conf_cpp_linker_options: STRING

constant attribute

fz_conf_java_jar_binary: STRING

constant attribute

fz_conf_java_jvm_binary: STRING

constant attribute

fz_conf_java_java_compiler: STRING

constant attribute