Ctags: Ada: खराब संरचना का पता लगाना

धन्यवाद। मैंने "ओवरराइडिंग" और "ओवरराइडिंग नहीं" छोड़ने के लिए कोड पेश किया। # 2383 देखें।
हालाँकि, Ada parser अभी भी पहले उदाहरण इनपुट में "Coucou" पर कब्जा नहीं कर सकता है।
यह तब भी सच है जब मैं इनपुट से "ओवरराइडिंग" संकेतक को हटा देता हूं।

मुझे पता नहीं है। इसलिए, मुझे आपकी मदद की आवश्यकता है।
ऐसा लगता है कि Coucou को कवर करने वाला ब्लॉक https://en.wikibooks.org/wiki/Ada_Programming/Tasking#Interfaces में समझाया गया इंटरफ़ेस है। क्या मैं सही हूँ?

हां, यह सही है, और यह भी है कि हम विनिर्देश (.ads) में मानक कार्यों और कार्य प्रकार को कैसे परिभाषित करते हैं।
कार्य:

   task Tasche_T is
      entry Coucou
         (Parameters : Parameters_Type);
   end Tasche_T;

कार्य प्रकार:

   task type Tasche_T is
      entry Coucou
         (Parameters : Parameters_Type);
   end Tasche_T;

[jet@living]~/var/ctags% git diff | cat
git diff | cat
diff --git a/parsers/ada.c b/parsers/ada.c
index 22a7dc01..73b4a458 100644
--- a/parsers/ada.c
+++ b/parsers/ada.c
@@ -929,7 +929,9 @@ static adaTokenInfo *adaParseBlock(adaTokenInfo *parent, adaKind kind)
       else if(adaKeywordCmp(ADA_KEYWORD_NEW))
       {
         /* if this is a "new" something then no need to parse */
-        skipPast(";");
+        // skipPast(";");
+       skipPastKeyword(ADA_KEYWORD_WITH);
+       adaParse(ADA_DECLARATIONS, token);
       }
       else
       {
[jet@living]~/var/ctags% make
make
REPOINFO   main/repoinfo.h
make  all-am
make[1]: Entering directory '/home/jet/var/ctags'
REPOINFO   main/repoinfo.h
  CCLD     ctags
make[1]: Leaving directory '/home/jet/var/ctags'
[jet@living]~/var/ctags% ./ctags --kinds-Ada=+E -o - ~/var/ctags/Units/parser-ada.r/ada-overriding.d/input.ads
./ctags --kinds-Ada=+E -o - ~/var/ctags/Units/parser-ada.r/ada-overriding.d/input.ads
Coucou  /home/jet/var/ctags/Units/parser-ada.r/ada-overriding.d/input.ads   /^      entry Coucou;$/;"   E   taskspec:Tasche_T
Input   /home/jet/var/ctags/Units/parser-ada.r/ada-overriding.d/input.ads   /^package Input$/;" P
Inutile /home/jet/var/ctags/Units/parser-ada.r/ada-overriding.d/input.ads   /^   procedure Inutile$/;"  R   packspec:Input
Tasche_T    /home/jet/var/ctags/Units/parser-ada.r/ada-overriding.d/input.ads   /^   task type Tasche_T is new Carte_T with$/;" K   packspec:Input

Coucou अच्छी तरह से कब्जा कर लिया है। हालाँकि, परिवर्तन लक्ष्य इनपुट के लिए बहुत विशिष्ट है।
इसलिए और काम की जरूरत है।

अधिक कोड उदाहरण की आवश्यकता है?

अधिक कोड उदाहरण की आवश्यकता है?

वर्तमान में, उदाहरण पर्याप्त हैं। भेंट के लिए धन्यवाद।
मैं जो तलाश कर रहा हूं वह खाली समय है जिसे ctags के विकास के लिए इस्तेमाल किया जा सकता है

# 2401 देखें। अब Coucou अच्छी तरह से कब्जा कर लिया है।

मैं एडीए के लिए हमारी इकाइयों के परीक्षण के मामलों का विस्तार करना चाहूंगा। क्या तुम मेरी मदद कर सकते हो?

आपके द्वारा दिखाए गए उदाहरण:

   task Tasche_T is
      entry Coucou
         (Parameters : Parameters_Type);
   end Tasche_T;

तथा

task type Tasche_T is
      entry Coucou
         (Parameters : Parameters_Type);
   end Tasche_T;

मैं उन्हें एक कंपाइलर द्वारा स्वीकार्य पूर्ण विज्ञापन फ़ाइलों के रूप में प्राप्त करना चाहूंगा।
Https://github.com/universal-ctags/ctags/issues/1903 देखें।

मुझे लगता है कि आपने जो दिखाया वह कोड टुकड़े हैं।
इसलिए मुझे लगता है कि एक Ada कंपाइलर उन्हें स्वीकार नहीं कर सकता है।
मैं कुछ संकलक स्वीकार्य इनपुट फ़ाइलों को चाहूंगा।
हालांकि, यह छोटा होना चाहिए।

जो मैं जानता हूं वह केवल सी है। इसलिए मैं यह बताना चाहूंगा कि मैं सी में क्या चाहता हूं।

स्वीकार्य नहीं है:

printf("hello, world\n");

स्वीकार्य:

#include <stdio.h>
int
main(void)
{
   printf("hello, world\n");
   return 0;
}

client.adb में एक फ़ाइल की छूट:

with Ada.Text_IO;

procedure Client is

   ---------------------------------------------------------------------------
   --  Define the tasks
   task Ma_Tasche is
      entry Accepter
         (Continuer : Boolean);
   end Ma_Tasche;

   task Mon_Autre_Tasche;

   --  Define body of the tasks

   task body Ma_Tasche is
      Var_Continuer : Boolean := False;
   begin
      Boucle_Principale :
      loop
         accept Accepter
            (Continuer : Boolean)
         do
            Var_Continuer := Continuer;
         end Accepter;
      end loop Boucle_Principale;
   end Ma_Tasche;

   task body Mon_Autre_Tasche is
   begin
      null;
   end Mon_Autre_Tasche;
   ---------------------------------------------------------------------------

begin

   Ada.Text_IO.Put_Line ("Tasks won't stop, kill it with CTRL-C");
   Ma_Tasche.Accepter (Continuer => True);

end Client;

आपको Adacore की वेबसाइट पर FSF gcc-ada वर्जन या GNAT की जरूरत है।
इसके साथ संकलित करें

• FSF gcc के साथ gcc -c client.adb; (और gnatbind client; gnatlink client साथ लिंक करें)।
• या gnatmake client.adb
• या एक परियोजना फ़ाइल client.gpr बनाएं और gprbuild -Pclient.gpr साथ संकलित करें

मैं जल्द ही एक मल्टी-फाइल संस्करण जोड़ने जा रहा हूं।

बहु फ़ाइल संस्करण:

client.gpr नाम वाली फ़ाइल में

project Client is

   for Main use ("client.adb");

   for Source_Dirs use ("src/**");
   for Object_Dir  use "obj/";
   for Exec_Dir    use "bin/";

   for Create_Missing_Dirs use "True";

   package Compiler is
      for Default_Switches ("Ada")  use ("-O0", "-Wall");
   end Compiler;

end Client;

src/client.adb नामक फ़ाइल में

with Ada.Text_IO;
with Mes_Tasches_P;

procedure Client is

begin

   Ada.Text_IO.Put_Line ("Tasks won't stop, kill it with CTRL-C");
   Mes_Tasches_P.Ma_Tasche.Accepter (Continuer => True);

end Client;

src/mes_tasches_p.ads नामक फ़ाइल में

package Mes_Tasches_P is

   task Ma_Tasche is
      entry Accepter
         (Continuer : Boolean);
   end Ma_Tasche;

   task Mon_Autre_Tasche;

end Mes_Tasches_P;

src/mes_tasches_p.adb नामक फ़ाइल में

package body Mes_Tasches_P is

   task body Ma_Tasche is
      Var_Continuer : Boolean := False;
   begin
      Boucle_Principale :
      loop
         accept Accepter
            (Continuer : Boolean)
         do
            Var_Continuer := Continuer;
         end Accepter;
      end loop Boucle_Principale;
   end Ma_Tasche;

   task body Mon_Autre_Tasche is
   begin
      null;
   end Mon_Autre_Tasche;

end Mes_Tasches_P;

tree . कमांड का परिणाम

.
├── client.gpr
└── src
    ├── mes_tasches_p.adb
    ├── mes_tasches_p.ads
    └── client.adb

इसे gprbuild -Pclient.gpr साथ संकलित करें

मैं भेदभाव के साथ कार्य प्रकार, कार्य प्रकार विवेचक, संरक्षित, संरक्षित प्रकार, संरक्षित प्रकार के साथ भूल गया।

फ़ाइल mes_tasches_p.ads

package Mes_Tasches_P is

   task Ma_Tasche is
      entry Accepter
         (Continuer : Boolean);
   end Ma_Tasche;

   task Mon_Autre_Tasche;

   task type Tasche_Type_1_T;

   Une_Tasche : Tasche_Type_1_T;

   task type Tasche_Type_2_T is
      entry Start;
      entry Lire
         (Donnee : out Integer);
   end Tasche_Type_2_T;

   --  Task type with discriminant.
   task type Tasche_Type_3_T
      --  We could have any number of arguments in discriminant
      --  Work exactly like argument in procedure/function/entry/accept
      (Taille : Integer)
   is
      entry Start;
   end Tasche_Type_3_T;

   --  protected objects.

   protected Objet_Protege is
      entry Demarrer;
      procedure Faire;
      function Tester return Boolean;
   private
      Variable : Boolean := True;
   end Objet_Protege;

   protected type Type_Protege is
      entry Demarrer;
      procedure Faire;
      function Tester return Boolean;
   private
      Variable : Boolean := True;
   end Type_Protege;

   protected type Discriminant_Protege
      (Priorite : Natural)
   is
      entry Demarrer;
      procedure Faire;
      function Tester return Boolean;
   private
      Variable : Boolean := True;
   end Discriminant_Protege;

end Mes_Tasches_P;

फ़ाइल mes_tasches_p.adb

package body Mes_Tasches_P is

   ---------------------------------------------------------------------------
   task body Ma_Tasche is
      Var_Continuer : Boolean := False;
   begin
      Boucle_Principale :
      loop
         accept Accepter
            (Continuer : Boolean)
         do
            Var_Continuer := Continuer;
         end Accepter;
      end loop Boucle_Principale;
   end Ma_Tasche;
   ---------------------------------------------------------------------------

   ---------------------------------------------------------------------------
   task body Mon_Autre_Tasche is
   begin
      null;
   end Mon_Autre_Tasche;
   ---------------------------------------------------------------------------

   Une_Autre_Tasche_1 : Tasche_Type_1_T;

   ---------------------------------------------------------------------------
   task body Tasche_Type_1_T is
   begin
      null;
   end Tasche_Type_1_T;
   ---------------------------------------------------------------------------

   ---------------------------------------------------------------------------
   task body Tasche_Type_2_T is
   begin
      null;
   end Tasche_Type_2_T;
   ---------------------------------------------------------------------------

   ---------------------------------------------------------------------------
   task body Tasche_Type_3_T is
   begin
      null;
   end Tasche_Type_3_T;
   ---------------------------------------------------------------------------

   Une_Autre_Tasche_2 : Tasche_Type_2_T;
   Une_Autre_Tasche_3 : Tasche_Type_3_T (Taille => 5);

   ---------------------------------------------------------------------------
   protected body Objet_Protege is
      entry Demarrer
         when Variable
      is
      begin
         null;
      end Demarrer;

      procedure Faire is
      begin
         null;
      end Faire;

      function Tester
         return Boolean
      is
      begin
         return Variable;
      end Tester;
   end Objet_Protege;
   ---------------------------------------------------------------------------

   ---------------------------------------------------------------------------
   protected body Type_Protege is
      entry Demarrer
         when Variable
      is
      begin
         null;
      end Demarrer;

      procedure Faire is
      begin
         null;
      end Faire;

      function Tester
         return Boolean
      is
      begin
         return Variable;
      end Tester;
   end Type_Protege;
   ---------------------------------------------------------------------------

   ---------------------------------------------------------------------------
   protected body Discriminant_Protege is
      entry Demarrer
         when Variable
      is
      begin
         null;
      end Demarrer;

      procedure Faire is
      begin
         null;
      end Faire;

      function Tester
         return Boolean
      is
      begin
         return Variable;
      end Tester;
   end Discriminant_Protege;
   ---------------------------------------------------------------------------

end Mes_Tasches_P;

client.adb और client.gpr में कोई परिवर्तन नहीं।

धन्यवाद। यह सफलतापूर्वक बनाया गया है।
मैं इसे टेस्ट केस में बदल दूंगा।

परीक्षण का मामला एकीकृत है। आपका बहुत बहुत धन्यवाद।

मेरा एक और निवेदन है।
इकाइयों में / समीक्षा-जरूरत .r निर्देशिका। Ada के लिए एक परीक्षण मामला है, generalized_stack.ads.t।
डायरेक्टरी में परीक्षण के मामले शामिल हैं, क्योंकि हमने इस परियोजना की शुरुआत एक्सयूबरेंट-केटैग्स से की है। फोर्किंग के दौरान, मुझे पता नहीं था, इसलिए परीक्षण मामले का वास्तव में परीक्षण नहीं किया गया था; इनपुट के लिए ctags के आउटपुट को अभी तक सत्यापित नहीं किया गया है।

अब, आप यहाँ हैं। इसलिए मैं चाहूंगा कि आप अपेक्षित आउटपुट को सत्यापित करने में मेरी मदद करें।

     1  -- Object-oriented generalized stack.  This illustrates the use of a
     2  -- controlled type, which is one that has construction and destructions.
     3  -- It also shows how to create two related types in the same package so
     4  -- that they can share private declarations.  This sort of thing is
     5  -- accomplished in Java or C++ using nested classes, or using friend
     6  -- declarations in C++.
     7  --
     8  with Ada.Finalization; use Ada.Finalization;
     9  
    10  package GenStack is
    11      -- This is the stack type.
    12      type Stack is new Controlled with private;
    13  
    14      -- This is the base type for nodes.  Client packages must derive their
    15      -- nodes from StackData.  Since it comes from Controlled, the user can
    16      -- override the Initialize, Adjust, and Finalize methods as needed.
    17      type StackData is new Controlled with null record;
    18  
    19      -- Initialization operations.
    20      procedure Initialize(S: in out Stack);
    21      procedure Adjust(S: in out Stack);
    22      procedure Finalize(S: in out Stack);
    23  
    24      -- Stack operations.
    25      procedure Push(S: in out Stack; D: StackData'class);
    26      procedure Pop(S: in out Stack; D: in out StackData'class);
    27      procedure Top(S: Stack; Data: in out StackData'class);
    28      function Empty(S: Stack) return Boolean;
    29  
    30      private
    31      -- Pointer to the node type.
    32      type Node;
    33      type Node_Ptr is access Node;
    34  
    35      -- Here is the generalized stack itself.  We would just make it the
    36      -- pointer itself, but it needs to be a record so it can be in a with.
    37      type Stack is new Controlled with record
    38          Head: Node_Ptr;
    39      end record;
    40  
    41      -- Now, we need a pointer to the data part.
    42      type Data_Ptr is access StackData'Class;
    43  
    44      -- This is the node type.
    45      type Node is record
    46          Data: Data_Ptr;
    47          Next: Node_Ptr;
    48      end record;
    49  
    50  end GenStack;

इस पुल अनुरोध पर काम करने के दौरान, मैंने एडा का थोड़ा अध्ययन किया है। इसलिए मैं समझता हूं कि हमें ज्यादातर टैग करना चाहिए। हालाँकि, एक है जो मैं तय नहीं कर सकता कि इसे टैग किया जाना चाहिए या नहीं।

लाइन 32 देखें:

    32      type Node;

क्या आपको लगता है कि हमें Node टैग देना चाहिए?
Ada parser का वर्तमान कार्यान्वयन इसे टैग नहीं करता है।
तो, अगर आपका जवाब हां है, तो Ada parser में बग है। मैं इसे ठीक करना चाहूंगा।
अगर आपका जवाब नहीं है, तो मैं इसका कारण सुनना चाहूंगा। मैं कहना चाहूंगा कि आप परीक्षण के मामले में क्या कहते हैं।

लाइन 32 type Node; का अर्थ typedef struct s_List List; C , वास्तव में मुझे लगता है कि ctags इसे टैग करना चाहिए। क्या हम उस नाम के आगे type name declaration जैसे संकेत जोड़ सकते हैं? विचार यह है कि इसे पूर्ण विवरण रेखा 45 से अलग किया जाए।

मुझे महसूस नहीं हुआ कि आपके पास कुछ छूट हैं, क्या आप चाहते हैं कि मैं कुछ और लिखूं?

ओह, मुझे बहुत खेद है। u-ctags 32 नंबर पर नोड को पकड़ता है:

% u-ctags -n -o - --kinds-Ada='*' input.ads | grep ^Node
Node    input.ads   32;"    T   language:Ada    packspec:GenStack   file:
Node    input.ads   45;"    t   language:Ada    packspec:GenStack   file:
Node_Ptr    input.ads   33;"    t   language:Ada    packspec:GenStack   file:

मैंने आउटपुट को गलत बताया।

मुझे महसूस नहीं हुआ कि आपके पास कुछ छूट हैं, क्या आप चाहते हैं कि मैं कुछ और लिखूं?
भेंट के लिए धन्यवाद। हालाँकि, इस बार, मुझे आपसे कई इनपुट मिले। तो अब बहुत हो गया।

--Kinds-Ada = * जोड़ने के बाद, ctags 32 लाइन पर नोड को कैप्चर करता है।
हालांकि, लाइन 38 पर "हेड" हालांकि कैप्चर नहीं किया गया है, जबकि डेटा और नेक्स्ट में लाइन 46 और लाइन 47 पर कब्जा कर लिया गया है।
एक और पैच की आवश्यकता हो सकती है।

मैंने इस समस्या को ठीक करने के लिए परिवर्तन को मर्ज कर दिया है।
परीक्षण इनपुट और Ada के बारे में जानकारी प्रदान करने के लिए धन्यवाद।