28 |
|
|
29 |
feature {CLASS_TYPE_AS} -- Actual class type |
feature {CLASS_TYPE_AS} -- Actual class type |
30 |
|
|
31 |
partial_actual_type (gen: ARRAY [TYPE_A]; is_exp: BOOLEAN; is_sep: BOOLEAN): CL_TYPE_A is |
partial_actual_type (gen: ARRAY [TYPE_A]; is_exp, is_sep, is_mono: BOOLEAN): CL_TYPE_A is |
32 |
-- Actual type of `current depending on the context in which it is declared |
-- Actual type of `current depending on the context in which it is declared |
33 |
-- in CLASS_TYPE_AS. That is to say, it could have generics `gen' but not |
-- in CLASS_TYPE_AS. That is to say, it could have generics `gen' but not |
34 |
-- be a generic class. It simplifies creation of `CL_TYPE_A' instances in |
-- be a generic class. It simplifies creation of `CL_TYPE_A' instances in |