Custom Query (429 matches)

Generated code doesn't contains update of value of "in out" parameters of simple types, for example

   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)
   is
      use type Model.Visitors.Traverse_Control;

      Element_Instance : Model.Internals.Elements.Element'Class
        renames Model.Internals.Elements.Element'Class (Element.all);

   begin
      Element_Instance.Enter_Element (Visitor, Control);

      if Control = Model.Visitors.Continue then
         Element_Instance.Visit_Element (Self, Visitor, Control);
      end if;

      if Control /= Model.Visitors.Terminate_Immidiately then
         Element_Instance.Leave_Element (Visitor, Control);
      end if;
   end Visit;

it generates

        _ec.visit = function visit(self$, visitor, element, control) {
            function _return() {
                return {
                    control: control
                };
            };
            (element).enter_element(visitor, control);
            if (control === _ec.model.visitors.traverse_control.continue) {
                (element).visit_element(self$, visitor, control);
            };
            if (control !== _ec.model.visitors.traverse_control.terminate_immidiately) {
                (element).leave_element(visitor, control);
            };
            return _return();
        };

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.