Custom Query (426 matches)

Inside procedure

   procedure Iterate
    (Self    : in out Model_Iterator'Class;
     Visitor :
       in out Standard.Model.Frame.Visitors.Abstract_Frame_Visitor'Class;
     Model   : not null Model_Access)

Dispatching call to another procedure

   procedure Visit
    (Self    : in out Abstract_Iterator'Class;
     Visitor : in out Model.Visitors.Abstract_Visitor'Class;
     Element : not null Model.Element_Access;
     Control : in out Model.Visitors.Traverse_Control);

incorrectly assign return value

  var _r = _ec.model.iterators.visit(self$, visitor, (current), control);
  self$ = _r.control;

Implementation of classwide membership tests looks wrong, it iterates over parents of classwide type instead of parents of object.

With aws-gpl-2018-20180524-src.tar.gz I got this:

matreshka-servlet_servers-aws_servers.adb:124:17: no candidate interpretations match the actuals:
matreshka-servlet_servers-aws_servers.adb:125:34: expected type "Standard.String"
matreshka-servlet_servers-aws_servers.adb:125:34: found type access to function "Request_Callback" defined at line 125
matreshka-servlet_servers-aws_servers.adb:125:34:   ==> in call to "Start" at aws-server.ads:92
matreshka-servlet_servers-aws_servers.adb:125:51: unmatched actual "Security" in call