Re: Variant record limitation - what's a better solution?

[peter.h.m.brooks@gmail.com (Peter Brooks)]

Peter Brooks <peter.h.m.brooks@gmail.com> wrote:

I'm still having trouble with this. I've tried using functions, as suggested, but it doesn't allow overloaded functions in the varient part. Here's what I tried:


"
type
small_lorry_load is new integer range 1..2;
type
medium_lorry_load is new integer range 1..18;
type
large_lorry_load is new integer range 1..36;
type
all_lorry_loads is new integer range 1..36;

type
lorry_size is (small,medium,large);

type
lorry_number_plate is new string(1..8);

function load(x : lorry_size := small) return small_lorry_load;
function load(x : lorry_size := medium) return  medium_lorry_load;
function load(x : lorry_size := large) return large_lorry_load;


type
lorry_type(lorry : lorry_size) is
        record
                number_plate : lorry_number_plate;
                location : depot_name_type;
                destination : depot_name_type;
                case lorry is
                        when small => lorry_load : load(lorry);
                        when medium => lorry_load : load(lorry);
                        when large => lorry_load : load(lorry);
                end case;
        end record;
"

I know that the syntax is wrong - I've been trying all sorts of alternatives. What have I not understood?