Ctags: 機能リクエスト：（持っている）Perl属性

@dtikhonov 、これを見て

ムースら。 は単なるモジュールであり、 hasは関数呼び出しであり、Perlキーワードではありません。 Mooseのサポートをctagsに含めると、キーワードのように見える関数呼び出しを導入するPerlモジュールが多数あるため、Perlパーサーは滑りやすい坂道になります。

...私はこのトピックに非常に興味があります。 過去3年間、DSLを処理するためにctagを改善しました。

私のビジョンについては、 http： //docs.ctags.io/en/latest/running-multi-parsers.html？highlight = subparser＃tagging-definitions-of-higher-upper-level-language-sub-baseを参照してください。

MooseサブパーサーはPerlパーサーで実行できます。

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);
};

Perlパーサーがキーワード「use」を見つけると、Perlパーサーはそれを登録済みのサブパーサーに通知します。
ムースサブパーサーはそのようなサブパーサーです。
通知されたモジュール名が「Moose」の場合、Mooseサブパーサーはそれ自体をアクティブにします。
Mooseサブパーサーは、corkという名前のctags内部シンボルテーブルをスキャンして、Perl言語オブジェクトを見つけます。
Perlパーサーによって「パッケージ」の種類としてマークされています。 Mooseサブパーサーは、シンボルテーブルで「ポイント」を見つける場合があります。
すでにPerlパーサーによってタグ付けされています。 ただし、Mooseパーサーは、「クラス」の種類の「Moose」言語を使用して「Point」の新しいタグを作成します。

Mooseサブパーサーは、「ポイント」をスコープスタックにプッシュします。
Mooseサブパーサーは、キーワードとして「has」を見つけます。 Mooseサブパーサーは、「has」の次のトークンとして見つかった「x」のタグを作成します。 「x」、「 scope：class ：Point language：Moose 」のタグを作成すると、「x」に付加されます。

C ++パーサーについては、すでにこのアイデアを実装しています。
QtMocサブパーサーは、Qtを使用してC ++コードを解析するためのものです。 QtMocサブパーサーは、C ++言語の方言として導入されたシグナルとスロットを認識します。

サブパーサーを実装するには、そのベースパーサーのメンテナーから許可を得る必要があります。
サブパーサーを導入するとベースパーサーのコードが複雑になるため、@

パーサーメンテナーと、パーサーにサブパーサーを導入したい私との間に矛盾がある場合、パーサーメンテナーを持つことがu-ctagsプロジェクトで最も重要なことであるため、サブパーサーの実装を中止します。

@ dtikhonov 、Mooseをサブパーサーとして実装するアイデアに興味がある場合は、私に知らせてください。
Perlパーサーのソースコードへの影響を示すプロトタイプを作成します。

読んでくれてありがとう。

私はそれが内部の機能であることを理解しています。 しかし、それは実装の詳細です。 同じ意味で、オブジェクト指向方式でプログラミングしている場合、パッケージは「クラス」であり、「サブ」はメソッドです。 Object Oriented perlを使用すると、その命名法はすべて変更されますが、いずれの場合も、オブジェクト指向以外の用語を使用できます。 上記のすべての場合において、ユーザーがどのパラダイムのためにコードを書いたかを推測することには複雑さが加わります。 とは言うものの、「持っている」にはそれらの複雑さが欠けています。 考えられる解釈が2つある場合は、（a）関数を「has」と呼んでいます。この場合、現在のように、何もしないことが望ましい動作になります。 または、（b）Moose風の属性宣言を使用しています。

あなたの回答からの「Mooseetal」の引用は、これらのモジュールビルダーフレームワーク（ has属性宣言を含む）を使用するためのPerlでのその規則がどれほど強力であるかを示しています。 Mooseは簡単にPerlで最も人気のあるモジュールの1つです（DBIやLWPよりもmetacpanに多くの星があります）。

誤検知が発生しなかったと言っているわけではありませんが、この規則に従わないモジュールを公開した人は誰も知りません。これは多くの人々を助けることになります。 さらに、私はこのctagsが単に実用的というよりも理論的に健全であるとは本当に疑っています。

@masatakeサブパーサーのアイデアは私の実装よりも良く、より完全に聞こえますuseに対してテストし、それらのモジュールのいくつかに対して内部で異なるセマンティクスを呼び出すことによって、すでに同様のことを行っています。

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

問題は、Mooseパーサーをトリガーするモジュールのリストを列挙する必要があることだと思いますが、それほど悪くはありません。 また、トリッキーなMooseのサブクラスを実行している人はいないと想定する必要がありますが、実行している場合、最悪のシナリオはMooseサブパーサーを失うことです。 そして、私はそれで大丈夫です-それは彼らがそれを持っているものより悪くはないでしょう。

Moose用のCパーサーの作成についてサポートが必要な場合は、私もサポートできます。

私は、PerlとMoose用のこの種の静的パーサーがctagsの外でも役立つだろうと考えています。 現在、perlの解析は安全ではなく、保証はありません。 これにより、たとえば、他のプロジェクトがPerlでテストカバレッジを安全に実行できるようになります。

@ masatake 、Perl 5は動きの遅いターゲットなので、維持するものがあまりないので、 perl.cのメンテナーとしての私の仕事は簡単でした。 私はあなたが参照したサブパーサーのドキュメントをスキャンしました-私が言えるのは：すごい！ 率直に言って、私はUniversal Ctagsの開発を綿密に追跡していませんが、あなたは大きな進歩を遂げたと思います。

@EvanCarroll 、コードトーク：気軽にperl.cと結婚していません。 その一部は完全に醜いものであり、後から考えると、いくつかのことは別の方法で実装されるべきでした。 「使用」の使用に関して：touche、取られたポイント。

かっこいい、かっこいい。 それでは、今週末に何ができるかを見ていきます。 サブパーサーフレームワークの作業もチェックします。

プロトタイプが機能します。
@ EvanCarroll 、＃2070から始めることができます。

TypeScriptパーサーに焦点を当てています。 ですから、しばらくは＃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クールな取引、私はgithubでパッチを確認しました。 うまくいかない場合は、今週末に見ていきます。 =）しかし、おそらく0.0001秒で完了します。

しかし、おそらく0.0001秒で完了します。

それは本当ではない。

パーサーを改善するには、ctags内部APIに関する知識、ターゲット言語に関する知識、Moose、時間、情熱の4つが必要です。-P。

私はムースについての知識がありません。 これが最も重要です。
たとえば、現在のパーサーは、 withクラスにアタッチされ、「use Moose :: Rule」で定義されたルールをキャプチャしません。 私が知っているのは「ルール」だけです。 ただし、ctagsがキャプチャする必要のあるアイテムがもっとあることを知っているかもしれません。

ctagsがそのようなルールをキャプチャすることを期待しませんか？
ルールがクラスに添付されている場合、クラスのタグには「rule：」という名前のフィールドが必要だと思います。" 分野。

このプロジェクトを成長させるには、ターゲット言語を知っている人からのこれらの要求が必要です。

私はそれらのいくつかを実装することができます。 他のものを実装することができます。 そのような要求があれば、後で実装できます。

現在の実装を拡張して、Mouse、Moo、およびMoをサポートできます。
元のPerlパーサーを変更せずに必要です。

申し訳ありませんが、＃2070ですでに重要なコメントをいただいていることがわかりました。 ありがとうございました。