+
Point of view
ANY
class FAST_ARRAY3 [E_]
Summary
Class invariant
Overview
creation features
exported features
Implementation of others feature from COLLECTION3:
Writing:
Looking and comparison:
Resizing:
Looking and Searching:
Other features:
  • replace_all (old_value: E_, new_value: E_)
    Replace all occurrences of the element old_value by new_value using is_equal for comparison.
  • fast_replace_all (old_value: E_, new_value: E_)
    Replace all occurrences of the element old_value by new_value using operator = for comparison.
Indexing:
Index validity:
Counting:
Looking and comparison:
Printing:
Miscellaneous features:
  • test (e1: E_, e2: E_): BOOLEAN
    In order to avoid run-time type errors, feature safe_equal calls is_equal only when e1 and e2 have exactly the same dynamic type.
  • safe_equal (e1: E_, e2: E_): BOOLEAN
    In order to avoid run-time type errors, feature safe_equal calls is_equal only when e1 and e2 have exactly the same dynamic type.
upper1: INTEGER_32
writable attribute
Upper index bound for dimension 1.
count1: INTEGER_32
writable attribute
Size of the first dimension.
upper2: INTEGER_32
writable attribute
Upper index bound for dimension 2.
count2: INTEGER_32
writable attribute
Size of the second dimension.
upper3: INTEGER_32
writable attribute
Upper index bound for dimension 3.
count3: INTEGER_32
writable attribute
Size of the third dimension.
count: INTEGER_32
writable attribute
Total number of elements.
lower1: INTEGER_32
constant attribute
Lower index bound for dimension 1.
lower2: INTEGER_32
constant attribute
Lower index bound for dimension 2.
lower3: INTEGER_32
constant attribute
Lower index bound for dimension 3.
make (new_count1: INTEGER_32, new_count2: INTEGER_32, new_count3: INTEGER_32)
effective procedure
Create or reset Current with new dimensions.
from_collection3 (model: COLLECTION3[E_])
effective procedure
Uses the model to update Current.
from_collection (contents: COLLECTION[E_], new_count1: INTEGER_32, new_count2: INTEGER_32, new_count3: INTEGER_32)
effective procedure
 Reset all bounds using new_count#i.
from_model (model: COLLECTION[COLLECTION[COLLECTION[E_]]])
effective procedure
The model is used to fill line by line the COLLECTION3.
item (line: INTEGER_32, column: INTEGER_32, depth: INTEGER_32): E_
effective function
put (x: E_, line: INTEGER_32, column: INTEGER_32, depth: INTEGER_32)
effective procedure
force (element: E_, line: INTEGER_32, column: INTEGER_32, depth: INTEGER_32)
effective procedure
Put element at position (line,column,depth).
copy (other: FAST_ARRAY3 [E_])
effective procedure
sub_collection3 (line_min: INTEGER_32, line_max: INTEGER_32, column_min: INTEGER_32, column_max: INTEGER_32, depth_min: INTEGER_32, depth_max: INTEGER_32): FAST_ARRAY3 [E_]
effective function
Create a new object using selected area of Current.
set_all_with (x: E_)
effective procedure
 All element are set with the value x.
all_default: BOOLEAN
effective function
Do all items have their type's default value?
slice (l1: INTEGER_32, up1: INTEGER_32, l2: INTEGER_32, up2: INTEGER_32, l3: INTEGER_32, up3: INTEGER_32): FAST_ARRAY3 [E_]
effective function
Create a new collection initialized with elements of range low..up.
set_slice (element: E_, l1: INTEGER_32, up1: INTEGER_32, l2: INTEGER_32, up2: INTEGER_32, l3: INTEGER_32, up3: INTEGER_32)
effective procedure
Set all the elements in the range [(l1,up1),(l2,up2),(l3,up3)] of Current with the element 'element'.
swap (line1: INTEGER_32, column1: INTEGER_32, depth1: INTEGER_32, line2: INTEGER_32, column2: INTEGER_32, depth2: INTEGER_32)
effective procedure
Swap the element at index (line1,column1,depth1) with the element at index (line2,column2,depth2).
occurrences (elt: E_): INTEGER_32
effective function
Number of occurrences using is_equal.
fast_occurrences (elt: E_): INTEGER_32
effective function
Number of occurrences using =.
resize (new_count1: INTEGER_32, new_count2: INTEGER_32, new_count3: INTEGER_32)
effective procedure
has (x: E_): BOOLEAN
effective function
Look for x using equal for comparison.
fast_has (x: E_): BOOLEAN
effective function
Same as has but use = for comparison
replace_all (old_value: E_, new_value: E_)
effective procedure
Replace all occurrences of the element old_value by new_value using is_equal for comparison.
fast_replace_all (old_value: E_, new_value: E_)
effective procedure
Replace all occurrences of the element old_value by new_value using operator = for comparison.
line_minimum: INTEGER_32
frozen
effective function
Equivalent of lower1.
column_minimum: INTEGER_32
frozen
effective function
Equivalent of lower2.
depth_minimum: INTEGER_32
frozen
effective function
Equivalent of lower3.
line_maximum: INTEGER_32
frozen
effective function
Equivalent of upper1.
column_maximum: INTEGER_32
frozen
effective function
Equivalent of upper2.
depth_maximum: INTEGER_32
frozen
effective function
Equivalent of upper3.
valid_line (line: INTEGER_32): BOOLEAN
frozen
effective function
valid_index1 (line: INTEGER_32): BOOLEAN
effective function
valid_column (column: INTEGER_32): BOOLEAN
frozen
effective function
valid_index2 (column: INTEGER_32): BOOLEAN
effective function
valid_depth (depth: INTEGER_32): BOOLEAN
frozen
effective function
valid_index3 (depth: INTEGER_32): BOOLEAN
effective function
valid_index (line: INTEGER_32, column: INTEGER_32, depth: INTEGER_32): BOOLEAN
frozen
effective function
line_count: INTEGER_32
frozen
effective function
Equivalent of count1.
column_count: INTEGER_32
frozen
effective function
depth_count: INTEGER_32
frozen
effective function
clear_all
frozen
effective procedure
Set all items to default values.
is_equal (other: FAST_ARRAY3 [E_]): BOOLEAN
effective function
Do both collections have the same lower1, lower2, lower3, upper1, upper2 and upper3, and items?
is_equal_map (other: FAST_ARRAY3 [E_]): BOOLEAN
effective function
Do both collections have the same lower1, lower2, lower3, upper1, upper2 and upper3, and items?
fill_tagged_out_memory
frozen
effective procedure
Append a viewable information in tagged_out_memory in order to affect the behavior of out, tagged_out, etc.
set_area (element: E_, line_min: INTEGER_32, line_max: INTEGER_32, column_min: INTEGER_32, column_max: INTEGER_32, depth_min: INTEGER_32, depth_max: INTEGER_32)
effective procedure
Set all the elements of the selected area rectangle with element.
test (e1: E_, e2: E_): BOOLEAN
effective function
In order to avoid run-time type errors, feature safe_equal calls is_equal only when e1 and e2 have exactly the same dynamic type.
safe_equal (e1: E_, e2: E_): BOOLEAN
effective function
In order to avoid run-time type errors, feature safe_equal calls is_equal only when e1 and e2 have exactly the same dynamic type.