qualified expression

qualified expression

[Mehdi Saada]

Is it possible to express within a qualified expression,
not a slice with all elements being the same, but a slice from another variable ?

type t_type (det: det_type := default_value) is record
          T_vect: t_arrays(0..det) := (others => null_value);
end record;
var2 : t_vect(1..det+1) :=...;
Like, usually it is: T_type'(det1, 0..det1 => Element)
there it would looks like T_type'(det1, 0..det1 =>  Var2(1..det1));
btw, shouln't the context here be sufficient for the expression to resolve ?

Re: qualified expression

[AdaMagica]

0012...@gmail.com schrieb am Montag, 8. Februar 2021 um 10:02:57 UTC+1:

Terrible unreadable style!

> type t_type (det: det_type := default_value) is record 
> T_vect: t_arrays(0..det) := (others => null_value); 
> end record; 
> var2 : t_vect(1..det+1) :=...; 

var2: t_arrays(1..det+1);

> Like, usually it is: T_type'(det1, 0..det1 => Element)

T_type'(det1, (0..det1 => Element))   -- parentheses missing

> there it would looks like T_type'(det1, 0..det1 => Var2(1..det1)); 

T_type'(det1, Var2(1..det1+1));  -- positional, slides
T_type'(det1, T_Vect => Var2(1..det1+1));  -- mixed positional named

> btw, shouln't the context here be sufficient for the expression to resolve ?
Guess so.

Re: qualified expression

[Mehdi Saada]

> Terrible unreadable style!
My bad. But I so like qualified expression. and renames. and the more or less esoteric bits.
> T_type'(det1, Var2(1..det1+1)); -- positional, slides 
I know I can do that but since T_arrays and T_vect are 1) different types 2) more importantly do not have the same range (one starts at 0 the other at 1) so I was, and still am, unsure if the indices would be shifted in the conversion, or left as they are (1..det+1).
Without conversion, if these are just different array subtypes with different indice rangs same problem.
I just don't know the rules regards to index range... surely it's somewhere in the rm but good luck to me finding it.

Re: qualified expression

[Jeffrey R. Carter]

On 2/8/21 11:21 AM, AdaMagica wrote:
> 
> T_type'(det1, Var2(1..det1+1));  -- positional, slides
> T_type'(det1, T_Vect => Var2(1..det1+1));  -- mixed positional named

T_Type'(Det => Det1, T_Vect => Var2)

-- 
Jeff Carter
"People called Romanes, they go the house?"
Monty Python's Life of Brian
79

Re: qualified expression

[AdaMagica]

0012...@gmail.com schrieb am Montag, 8. Februar 2021 um 12:47:18 UTC+1:
> I know I can do that but since T_arrays and T_vect are 1) different types

No, T_arrays is a type, T_vect a component of a type.