Ctags: फ़ीचर अनुरोध: पर्ल विशेषताएँ (हैं)

@dtikhonov , क्या आप इसे देख सकते हैं?

मूस एट अल। केवल मॉड्यूल हैं और has एक फ़ंक्शन कॉल है, पर्ल कीवर्ड नहीं। ctags में मूस के लिए समर्थन शामिल करना पर्ल पार्सर हमें एक फिसलन ढलान पर रखेगा, क्योंकि कई पर्ल मॉड्यूल हैं जो कीवर्ड की तरह दिखने वाले फ़ंक्शन कॉल पेश करते हैं।

...मुझे इस विषय में बहुत दिलचस्पी है। पिछले 3 वर्षों में, मैंने DSL को संभालने के लिए ctags में सुधार किया है।

मेरी दृष्टि के बारे में http://docs.ctags.io/en/latest/running-multi-parsers.html?highlight=subparser#tagging -definitions-of-higher-upper-level-language-sub-base देखें।

मूस सबपार्सर पर्ल पार्सर पर चल सकता है।

package Point;
use Moose; # automatically turns on strict and warnings

has 'x' => (is => 'rw', isa => 'Int');
has 'y' => (is => 'rw', isa => 'Int');

sub clear {
    my $self = shift;
    $self->x(0);
    $self->y(0);
}

package Point3D;
use Moose;

extends 'Point';

has 'z' => (is => 'rw', isa => 'Int');

after 'clear' => sub {
    my $self = shift;
    $self->z(0);
};

जब पर्ल पार्सर को "उपयोग" कीवर्ड मिलता है, तो पर्ल पार्सर इसे पंजीकृत सबपार्सर को सूचित करता है।
मूस सबपार्सर एक ऐसा सबपार्सर है।
यदि अधिसूचित मॉड्यूल का नाम "मूस" है, तो मूस सबपार्सर स्वयं सक्रिय हो जाता है।
मूस सबपार्सर एक पर्ल भाषा ऑब्जेक्ट को खोजने के लिए कॉर्क नामक ctags आंतरिक प्रतीक तालिका को स्कैन करता है
पर्ल पार्सर द्वारा चिह्नित "पैकेज" प्रकार। मूस सबपार्सर को प्रतीक तालिका में "प्वाइंट" मिल सकता है।
यह पहले से ही पर्ल पार्सर द्वारा टैग किया गया है। हालांकि, मूस पार्सर "क्लास" प्रकार की "मूस" भाषा के साथ "प्वाइंट" के लिए एक नया टैग बनाता है।

मूस सबपार्सर "प्वाइंट" को स्कोप स्टैक पर धकेलता है।
मूस सबपार्सर एक कीवर्ड के रूप में "है" पाता है। मूस सबपार्सर "x" के लिए एक टैग बनाता है जो "है" के अगले टोकन के रूप में पाया जाता है। "एक्स", " स्कोप: क्लास : पॉइंट लैंग्वेज: मूस " के लिए टैग बनाना "एक्स" से जुड़ा हुआ है ...

सी ++ पार्सर के बारे में, मैंने पहले ही इस विचार को लागू कर दिया है।
QtMoc सबपार्सर Qt का उपयोग करके C++ कोड को पार्स करने के लिए है। QtMoc सबपार्सर सिग्नल और स्लॉट को पहचानता है, जिसे C++ भाषा की बोली के रूप में पेश किया जाता है।

एक सबपार्सर को लागू करने के लिए, मुझे इसके बेस पार्सर के अनुरक्षक से अनुमति लेनी होगी।
मुझे लगता है कि @dtikhonov इतना सकारात्मक नहीं है क्योंकि एक सबपार्सर पेश करने से बेस पार्सर का कोड जटिल हो जाता है।

यदि एक पार्सर अनुरक्षक और मेरे बीच संघर्ष है, जो पार्सर के लिए एक उप-पार्सर का परिचय देना चाहता है, तो मैं उप-पार्सर को लागू करने से पीछे हट जाऊंगा क्योंकि यू-सीटीएजी परियोजना में एक पार्सर अनुरक्षक होना सबसे महत्वपूर्ण बात है।

@dtikhonov , यदि आप मूस को एक सबपार्सर के रूप में लागू करने के विचार में रुचि रखते हैं, तो मुझे बताएं।
मैं पर्ल पार्सर के स्रोत कोड पर प्रभाव दिखाने के लिए एक प्रोटोटाइप बनाउंगा।

पढ़ने के लिए धन्यवाद।

मुझे एहसास है कि यह हुड के नीचे एक समारोह है। लेकिन, यह एक कार्यान्वयन विवरण है। उसी अर्थ में, जब आप ऑब्जेक्ट ओरिएंटेड फैशन में प्रोग्रामिंग कर रहे होते हैं, तो पैकेज "क्लासेस" होते हैं, और "सब्स" तरीके होते हैं। जब आप ऑब्जेक्ट ओरिएंटेड पर्ल का उपयोग करते हैं तो वह सभी नामकरण बदल जाता है, लेकिन प्रत्येक मामले में आप गैर-ओओ शब्दावली का उपयोग कर सकते हैं। उपरोक्त सभी मामलों में हालांकि यह अनुमान लगाने में अतिरिक्त जटिलताएं हैं कि उपयोगकर्ता ने किस प्रतिमान के लिए कोड लिखा है। उस ने कहा, "है" में उन जटिलताओं का अभाव है। यदि आप इसे देखते हैं तो आपके पास दो संभावित व्याख्याएं हैं (ए) आप एक फ़ंक्शन को "है" कह रहे हैं, इस मामले में वांछित व्यवहार कुछ भी नहीं करना होगा, जैसा कि हम अभी करते हैं; या, (बी) आप मूस-एस्क विशेषता घोषणा का उपयोग कर रहे हैं।

आपकी प्रतिक्रिया से "मूस एट अल" उद्धरण दिखाता है कि इन मॉड्यूल-बिल्डर ढांचे (जो has -विशेषता घोषणा को गले लगाते हैं) का उपयोग करने के लिए पर्ल में सम्मेलन कितना मजबूत है। मूस आसानी से पर्ल के लिए सबसे लोकप्रिय मॉड्यूल में से एक है (इसमें डीबीआई और एलडब्ल्यूपी की तुलना में मेटाकपैन पर अधिक सितारे हैं)।

मैं यह नहीं कह रहा हूं कि हमारे पास कोई झूठी-सकारात्मकता नहीं हो सकती है , लेकिन मैं किसी ऐसे व्यक्ति के बारे में नहीं जानता जिसने एक मॉड्यूल प्रकाशित किया है जो इस सम्मेलन का पालन नहीं करता है और यह बहुत से लोगों की मदद करने के लिए खड़ा है। इसके अलावा, मुझे वास्तव में संदेह है कि यह ctags केवल व्यावहारिक के बजाय सैद्धांतिक रूप से ध्वनि है।

@masatake सबपार्सर विचार मेरे कार्यान्वयन से बेहतर और अधिक पूर्ण लगता है, और पर्ल वास्तव में use खिलाफ परीक्षण करके और आंतरिक रूप से उन मॉड्यूल में से कुछ के लिए अलग-अलग अर्थशास्त्र का आह्वान करके कुछ ऐसा ही करता है।

https://github.com/universal-ctags/ctags/blob/master/parsers/perl.c#L348

मुझे लगता है कि समस्या यह है कि आपको उन मॉड्यूल की सूची का आकलन करना होगा जो मूस-पार्सर को ट्रिगर करते हैं जो बहुत खराब नहीं होगा। आपको यह भी मानना ​​​​होगा कि कोई भी मूस का उपवर्ग नहीं चला रहा है जो मुश्किल हो, लेकिन अगर वे ऐसा कर रहे थे तो इससे भी बदतर स्थिति यह है कि वे मूस-सबपर्सर खो देंगे। और, मैं इसके साथ ठीक हूं - यह उनके पास जो कुछ भी है उससे भी बदतर नहीं होगा।

अगर आप मूस के लिए सी पार्सर लिखने में मदद चाहते हैं, तो मैं भी इसमें मदद कर सकता हूं।

मैं लगभग दिमाग में हूं कि पर्ल और मूस के लिए इस तरह का स्थैतिक-पार्सर सीटीएजी के बाहर भी उपयोगी होगा। वर्तमान में पार्सिंग पर्ल असुरक्षित है, और इसकी कोई गारंटी नहीं है। यह अन्य परियोजनाओं को पर्ल पर सुरक्षित रूप से परीक्षण कवरेज चलाने की अनुमति देगा, उदाहरण के लिए।

@masatake , पर्ल 5 इतना धीमी गति से चलने वाला लक्ष्य है कि बनाए रखने के लिए बहुत कुछ नहीं है, इसलिए perl.c के अनुरक्षक के रूप में मेरा काम आसान रहा है। मैंने आपके द्वारा संदर्भित सबपार्सर दस्तावेज़ों के माध्यम से स्कैन किया - मैं केवल इतना कह सकता हूं: वाह! सच कहूं तो, मैं Universal Ctags विकास का बारीकी से पालन नहीं कर रहा हूं और मैं देख रहा हूं कि आपने काफी प्रगति की है।

@EvanCarroll , कोड वार्ता: इस पर एक शॉट लेने के लिए स्वतंत्र महसूस करें। मैंने perl.c से भी शादी नहीं की है। इसके कुछ हिस्से पूरी तरह से बदसूरत हैं और, कुछ चीजों को अलग तरह से लागू किया जाना चाहिए था। "उपयोग" के उपयोग के संबंध में: स्पर्श, बिंदु लिया।

ठंडा ठंडा। मैं देखूंगा कि मैं इस सप्ताह के अंत में क्या कर सकता हूं। मैं सबपार्सर ढांचे पर भी काम की जांच करूंगा।

एक प्रोटोटाइप काम करता है।
@EvanCarroll , आप #2070 से शुरू कर सकते हैं।

मैं टाइपस्क्रिप्ट पार्सर पर ध्यान केंद्रित कर रहा हूं। इसलिए मैं कुछ समय के लिए #2070 पर काम नहीं करूंगा।
अपनी पसंद के अनुसार हैक करें।

[yamato@slave]~/var/ctags/perl-moose/Units/simple-moose.d% cat input.pl
cat input.pl
# Taken from https://metacpan.org/pod/Moose
package Point;
use Moose; # automatically turns on strict and warnings

has 'x' => (is => 'rw', isa => 'Int');
has 'y' => (is => 'rw', isa => 'Int');

sub clear {
    my $self = shift;
    $self->x(0);
    $self->y(0);
}

package Point3D;
use Moose;

extends 'Point';

has 'z' => (is => 'rw', isa => 'Int');

after 'clear' => sub {
    my $self = shift;
    $self->z(0);
};

no Moose;
package Line;

[yamato@slave]~/var/ctags/perl-moose/Units/simple-moose.d%  ./ctags --fields=+lineK --sort=no -o - --extras=+s ./input.pl
 ./ctags --fields=+lineK --sort=no -o - --extras=+s ./input.pl
zsh: no such file or directory: ./ctags
[yamato@slave]~/var/ctags/perl-moose/Units/simple-moose.d% ../../ctags --fields=+lineK --sort=no -o - --extras=+s ./input.pl
../../ctags --fields=+lineK --sort=no -o - --extras=+s ./input.pl
Point   ./input.pl  /^package Point;$/;"    package line:2  language:Perl
Point   ./input.pl  /^package Point;$/;"    class   line:2  language:Moose
x   ./input.pl  /^has 'x' => (is => 'rw', isa => 'Int');$/;"    attribute   line:5  language:Moose  class:Point
y   ./input.pl  /^has 'y' => (is => 'rw', isa => 'Int');$/;"    attribute   line:6  language:Moose  class:Point
clear   ./input.pl  /^sub clear {$/;"   subroutine  line:8  language:Perl
clear   ./input.pl  /^sub clear {$/;"   method  line:8  language:Moose  class:Point
Point3D ./input.pl  /^package Point3D;$/;"  package line:14 language:Perl
Point3D ./input.pl  /^package Point3D;$/;"  class   line:14 language:Moose  inherits:Point  end:26
z   ./input.pl  /^has 'z' => (is => 'rw', isa => 'Int');$/;"    attribute   line:19 language:Moose  class:Point3D
clear   ./input.pl  /^after 'clear' => sub {$/;"    attribute   line:21 language:Moose  class:Point3D
Line    ./input.pl  /^package Line;$/;" package line:27 language:Perl
[yamato@slave]~/var/ctags/perl-moose/Units/simple-moose.d% ./ctags --list-subparsers
./ctags --list-subparsers
zsh: no such file or directory: ./ctags
[yamato@slave]~/var/ctags/perl-moose/Units/simple-moose.d% ../../ctags --list-subparsers
../../ctags --list-subparsers
#NAME                BASEPARSER        DIRECTIONS
AnsiblePlaybook      Yaml              base <> sub {bidirectional}
Autoconf             M4                base <> sub {bidirectional}
Automake             Make              base <= sub {dedicated}
ITcl                 Tcl               base <> sub {bidirectional}
JAXRS                Java              base => sub {shared}
LinuxKernel          C                 base => sub {shared}
LinuxOVS             C                 base => sub {shared}
Moose                Perl              base <> sub {bidirectional}
OpenVSwitch          C                 base => sub {shared}
PythonLoggingConfig  Iniconf           base <> sub {bidirectional}
PythonMain           Python            base => sub {shared}
PythonTuned          Python            base => sub {shared}
QtMoc                C++               base <> sub {bidirectional}
RSpec                Ruby              base => sub {shared}
SystemdUnit          Iniconf           base <= sub {dedicated}
TclOO                Tcl               base <> sub {bidirectional}
YumRepo              Iniconf           base <= sub {dedicated}
selinuxPolicy        selinuxPolicyBase base => sub {shared}
servlet              Java              base => sub {shared}
[yamato@slave]~/var/ctags/perl-moose% ./ctags --list-kinds-full=Moose   
#LETTER NAME      ENABLED REFONLY NROLES MASTER DESCRIPTION
a       attribute yes     no      0      NONE   attributes
c       class     yes     no      0      NONE   classes
m       method    yes     no      0      NONE   methods

एक प्रोटोटाइप काम करता है। @EvanCarroll , आप #2070 से शुरू कर सकते हैं।

यह तेज़ था! 👍

@masatake प्रभावशाली। क्या कोई और काम करना है? मुझे लगता है कि आपने findAttribute और भाषा कॉलबैक संदर्भ लागू किया है?

@masatake प्रभावशाली। क्या कोई और काम करना है?

मैं यही जानना चाहता हूं :-)।
अगर मैं आपसे जो चाहता था वह चूक गया, तो कृपया मुझे बताएं।
मैंने मूस के दस्तावेज़ के कुछ ही हिस्से पढ़े।

@masatake कूल डील, मैंने

लेकिन आपने शायद इसे 0.0001 सेकंड में पूरा कर लिया होगा।

यह सच नहीं है।

पार्सर को बेहतर बनाने के लिए, हमें 4 चीजों की आवश्यकता है: सीटीएजी आंतरिक एपीआई के बारे में ज्ञान, लक्ष्य भाषा के बारे में ज्ञान, मूस, समय और जुनून: -पी।

मुझे मूस के बारे में जानकारी नहीं है। यह सबसे महत्वपूर्ण है।
उदाहरण के लिए वर्तमान पार्सर with वर्ग से जुड़े नियम को कैप्चर नहीं करता है, और "मूस :: नियम का उपयोग करें" के साथ परिभाषित किया गया है। मैं जो जानता हूं वह केवल "नियम" है। हालांकि, आप जान सकते हैं कि अधिक आइटम ctags को कैप्चर करना चाहिए।

क्या आपको उम्मीद नहीं है कि ctags ऐसे नियमों को पकड़ लेंगे?
यदि कोई नियम किसी वर्ग से जुड़ा हुआ है, तो मुझे लगता है कि कक्षा के लिए टैग में "नियम:" मैदान।

इस परियोजना को विकसित करने के लिए लक्षित भाषा जानने वाले व्यक्ति के इन अनुरोधों की आवश्यकता है।

मैं उनमें से कुछ को लागू कर सकता हूं। आप अन्य को लागू कर सकते हैं। यदि ऐसे अनुरोध हैं तो हम बाद में लागू कर सकते हैं।

हम माउस, मू और मो का समर्थन करने के लिए वर्तमान कार्यान्वयन का विस्तार कर सकते हैं। हम कुछ भी कर सकते हैं
मूल पर्ल पार्सर को संशोधित किए बिना चाहते हैं।

क्षमा करें, मैंने पाया कि आपने मुझे पहले ही #2070 में महत्वपूर्ण टिप्पणियां दी हैं। धन्यवाद।