| 156 |
|
|
| 157 |
feature {CLASS_TYPE_AS} -- Actual class type |
feature {CLASS_TYPE_AS} -- Actual class type |
| 158 |
|
|
| 159 |
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 |
| 160 |
-- 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 |
| 161 |
-- 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 |
| 162 |
-- 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 |
| 176 |
end |
end |
| 177 |
if is_expanded then |
if is_expanded then |
| 178 |
Result.set_expanded_class_mark |
Result.set_expanded_class_mark |
| 179 |
|
elseif is_mono then |
| 180 |
|
Result.set_monomorph_mark |
| 181 |
end |
end |
| 182 |
end |
end |
| 183 |
|
|
Parent Directory
| 
Revision Log
| 
Patch