comp.lang.ada
 help / color / mirror / Atom feed
From: "Markus Schöpflin" <no.spam@spam.spam>
Subject: Regression in AdaControl?
Date: Thu, 15 Oct 2015 16:23:31 +0200
Date: 2015-10-15T16:23:31+02:00	[thread overview]
Message-ID: <mvoct1$hs0$1@speranza.aioe.org> (raw)

Before raising an issue in the AdaControl bug tracker I would like to be sure 
that I'm indeed facing an AdaControl bug here, and not some issue on my side.

Given the follwing code:

   package FOO
   is
      type T;
      type CALLBACK_T is access procedure (P : T);
      type T is access INTEGER;
   end FOO;

and the following AdaControl rules file:

   Name_Clashes: check naming_convention (all, not "example");

When executing this with an old version of GnatPro and AdaControl "ADACTL v. 
1.14r9 with ASIS 2.0.R for GNAT Pro 6.3.2 (20100607)" everything is fine:

---%<---
 > adactl -v -f foo.aru foo
Controlling FOO specification

Total execution time: 0.0s.
--->%---

When executing the same command with a later version of GnatPro and the latest 
version of AdaControl "ADACTL v. 1.16r11 with ASIS 2.0.R for GNAT Pro 7.3.1 
(20150118)", I get the following:

---%<---
 > adactl -v -f foo.aru foo
Controlling FOO specification
============= Phase: Processing =============
AdaCtl version: 1.16r11 with ASIS 2.0.R for GNAT Pro 7.3.1 (20150118)
ASIS error: ASIS.EXCEPTIONS.ASIS_INAPPROPRIATE_ELEMENT
    In rule: NAMING_CONVENTION
   For unit: FOO
Status   : VALUE_ERROR
Diagnosis: Inappropriate Element Kind in 
Asis.Declarations.Corresponding_First_Subtype (AN_INCOMPLETE_TYPE_DECLARATION)
called in Actual procedure for Pre_Operation
with the argument : A_DEFINING_IDENTIFIER
located in FOO (spec, Unit_Id = 2, Context_Id = 1)
text position : foo.ads:4:41
    Nodes:
       Node            : 2043 - N_DEFINING_IDENTIFIER
       R_Node          : 2043 - N_DEFINING_IDENTIFIER
       Node_Field_1    : 0 - N_EMPTY
       Node_Field_2    : 0 - N_EMPTY
    Rel_Sloc           : 58
    obtained from the tree foo.adt (Tree_Id = 1)
called in Asis.Iterator.Traverse_Element
with the argument : AN_ORDINARY_TYPE_DECLARATION
located in FOO (spec, Unit_Id = 2, Context_Id = 1)
text position : foo.ads:4:4
    Nodes:
       Node            : 2051 - N_FULL_TYPE_DECLARATION
       R_Node          : 2051 - N_FULL_TYPE_DECLARATION
       Node_Field_1    : 0 - N_EMPTY
       Node_Field_2    : 0 - N_EMPTY
    Rel_Sloc           : 21
    obtained from the tree foo.adt (Tree_Id = 1)
called in Actual procedure for Pre_Operation
with the argument : A_PACKAGE_DECLARATION
located in FOO (spec, Unit_Id = 2, Context_Id = 1)
text position : foo.ads:1:1
    Nodes:
       Node            : 2062 - N_PACKAGE_DECLARATION
       R_Node          : 2062 - N_PACKAGE_DECLARATION
       Node_Field_1    : 0 - N_EMPTY
       Node_Field_2    : 0 - N_EMPTY
    Rel_Sloc           :-8
    obtained from the tree foo.adt (Tree_Id = 1)
called in Asis.Iterator.Traverse_Element
with the argument : A_PACKAGE_DECLARATION
located in FOO (spec, Unit_Id = 2, Context_Id = 1)
text position : foo.ads:1:1
    Nodes:
       Node            : 2062 - N_PACKAGE_DECLARATION
       R_Node          : 2062 - N_PACKAGE_DECLARATION
       Node_Field_1    : 0 - N_EMPTY
       Node_Field_2    : 0 - N_EMPTY
    Rel_Sloc           :-8
    obtained from the tree foo.adt (Tree_Id = 1)
Total execution time: 0.3s.
--->%---

Can anyone reproduce this with the latest version of AdaControl? I want to be 
sure that the error doesn't come from any problem on my side, e.g. due to 
incorrectly compiling AdaControl with the incorrect ASIS version or some other 
stupidity.

Thanks in advance,
Markus

             reply	other threads:[~2015-10-15 14:23 UTC|newest]

Thread overview: 3+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2015-10-15 14:23 Markus Schöpflin [this message]
2015-10-15 16:08 ` Regression in AdaControl? J-P. Rosen
2015-10-16  6:35   ` Markus Schöpflin
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox