Re: Abstract Interface - Assertion Error

[Georg Bauhaus <rm.tsoh+bauhaus@maps.futureapps.de>]

On Thu, 2007-10-18 at 11:03 -0700, Mike.McNett wrote:
> I am having a problem with creating one Interface, then an Abstract
> type that implements that interface, and a concrete type from the
> Abstract one.  When I don't use the interface, all is good.  When the
> Abstract type is based on the Interface Type, however, I get a
> "System.Assertions.Assert_Failur" runtime exception.  Here's the basic
> code:
> 
> In Graph_Interface package, I define Type Graph_Interface_Type is
> Interface;
> 
> In Abstract_Graph package, I define Type Abstract_Graph_Type is
> ABSTRACT NEW Graph_Interface.Graph_Interface_Type with Private;
> 
> In my Matrix_Graph package, I define Type Matrix_Graph_Type is new
> Abstract_Graph_Type With Private;
> 
> Using the above, everything compiles but I get the assertion error.
> When I change the Abstract_Graph_Type so that it is just Abstract and
> doesn't implement the interface, all is good.
> 
> Any ideas / thoughts?
> 
> Thanks,
> Mike
> 

Trying to construe sources as good I can from your hints, I get

georg@K72:~/News$ gnatmake -v -gnat05 graph_interface.ads 

GNATMAKE 4.1.320070929prerelease (Ubuntu 4.1.2-16ubuntu3)
Copyright 1995-2004 Free Software Foundation, Inc.
  "graph_interface.ali" being checked ...
  -> "graph_interface.ali" missing.
gcc-4.1 -c -gnat05 graph_interface.ads
End of compilation
georg@K72:~/News$ rm *.ali
georg@K72:~/News$ gnatmake -v -gnat05 matrix_graph.ads 

GNATMAKE 4.1.320070929prerelease (Ubuntu 4.1.2-16ubuntu3)
Copyright 1995-2004 Free Software Foundation, Inc.
  "matrix_graph.ali" being checked ...
  -> "matrix_graph.ali" missing.
gcc-4.1 -c -gnat05 matrix_graph.ads
  "abstract_graph.ali" being checked ...
  -> "abstract_graph.ali" missing.
gcc-4.1 -c -gnat05 abstract_graph.ads
  "graph_interface.ali" being checked ...
  -> "graph_interface.ali" missing.
gcc-4.1 -c -gnat05 graph_interface.ads
End of compilation

Which compiler/version are you using?