Re: feedback asked on dab-decoder software in Ada

["G.B." <bauhaus@futureapps.invalid>]

On 24.09.16 20:38, jan van katwijk wrote:
> I looked into the abundant use of access types. In the front end (i.e. the ofdm processing part) some access varaibles could be eliminated and replaced by "normal" variables. In the backend, however, quite some dynamic choices determine which part of the program should be active (e.g. MP2 decoding or MP4 decoding).

I'm guessing only, not having looked closely, but just in case:
the way to specify dynamic choice of types etc. is by declaring
variables and parameters to be of type T'Class, similar to C++'s T&:

struct S {};
bool operator==(const S& left, const S& right) { return true; };

/// calling op `foo` for parameters of any type derived from T.
S f(const T& thing) {
    return thing->foo(1);
}

class T {
public:
   T() {}
   virtual S foo(int) const = 0;
};

/// T1, T2 types derived from T

int main() {
   T1 x = T1();
   T2 y = T2(4);
   return (f(x) == f(y));
}


package N is

    type S is record
       null;
    end record;

    type T is abstract tagged null record;

    function foo(thing: T; X : Natural) return S is abstract;

    -- T1, T2 types derived from T

end N;

with N;
-- calling op `foo` for parameters of any type derived from T.
function F(Thing: N.T'Class) return N.S is
begin
    return Thing.Foo(1);
end F;

with N, F;  use N;
function Main return Integer is
    X : T1;
    Y : T2 := Construct (4);
begin
    return Boolean'Pos (F(X) = F(Y));
end Main;


-- 
"HOTDOGS ARE NOT BOOKMARKS"
Springfield Elementary teaching staff