Ctags: 기능 요청: (has)가 있는 Perl 속성

@dtikhonov , 이것을 볼 수 있습니까?

Moose et al. 모듈이고 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"인 경우 자체적으로 활성화됩니다.
Moose 하위 파서는 Perl 언어 개체를 찾기 위해 cork라는 ctags 내부 기호 테이블을 스캔합니다.
Perl 파서에 의해 "패키지" 종류로 표시됩니다. Moose 하위 파서는 기호 테이블에서 "Point"를 찾을 수 있습니다.
Perl 파서에 의해 이미 태그가 지정되어 있습니다. 그러나 Moose 파서는 "Moose" 언어의 "class" 종류를 사용하여 "Point"에 대한 새 태그를 만듭니다.

Moose 하위 파서는 "Point"를 범위 스택으로 푸시합니다.
Moose 하위 파서는 "has"를 키워드로 찾습니다. Moose 서브파서는 "has"에 대한 다음 토큰으로 발견된 "x"에 대한 태그를 만듭니다. "x", " scope:class :Point language:Moose "에 대한 태그를 "x"에 붙입니다...

C++ 파서에 대해서는 이미 이 아이디어를 구현했습니다.
QtMoc 서브파서는 Qt를 사용하여 C++ 코드를 파싱하기 위한 것입니다. QtMoc 서브파서는 C++ 언어의 방언으로 도입된 신호와 슬롯을 인식합니다.

하위 파서를 구현하려면 기본 파서의 유지 관리자로부터 허가를 받아야 합니다.
@dtikhonov 는 그렇게 긍정적이지 않다고 생각합니다.

파서 메인테이너와 파서에 서브파서를 도입하고 싶은 저 사이에 갈등이 생긴다면 u-ctags 프로젝트에서 파서 메인테이너를 갖는 것이 가장 중요하기 때문에 서브파서 구현을 포기하겠습니다.

@dtikhonov , Moose를 서브파서로 구현하는 아이디어에 관심이 있다면 알려주세요.
Perl 파서의 소스 코드에 미치는 영향을 보여주기 위해 프로토타입을 만들 것입니다.

읽어 주셔서 감사합니다.

나는 그것이 기능이라는 것을 알고 있습니다. 그러나 그것은 구현 세부 사항입니다. 같은 의미에서 패키지는 객체 지향 방식으로 프로그래밍할 때 "클래스"이고 "서브"는 메서드입니다. 객체 지향 펄을 사용할 때 모든 명명법이 변경되지만 각 경우에 비 OO 용어를 사용할 수 있습니다. 위의 모든 경우에 사용자가 코드를 작성한 패러다임을 추론하는 데 복잡성이 추가되었습니다. 즉, "있다"는 복잡성이 부족합니다. 만약 당신이 그것을 본다면 당신은 두 가지 가능한 해석이 있습니다. 또는 (b) Moose-esque 속성 선언을 사용하고 있습니다.

귀하의 응답에서 "Moose et al" 인용문은 Perl에서 이러한 모듈 빌더 프레임워크( has -attribute 선언 포함)를 사용하기 위해 해당 규칙이 얼마나 강력한지를 보여줍니다. Moose는 Perl에서 가장 인기 있는 모듈 중 하나입니다(메타판에 DBI 및 LWP보다 별이 더 많음).

나는 우리가 어떤 오탐(false-positive)을 가질 수 없다고 말하는 것은 아니지만, 나는 이 규칙을 따르지 않고 많은 사람들을 도울 수 있는 모듈을 게시한 사람을 알지 못합니다. 게다가, 나는 이 ctags가 단지 실용적이기보다는 이론적으로 건전한지 정말 의심스럽습니다.

@masatake 하위 파서 아이디어는 내 구현보다 더 훌륭하고 use 에 대해 테스트하고 이러한 모듈 중 일부에 대해 내부적으로 다른 의미를 호출하여 유사한 작업을 수행합니다.

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

문제는 너무 나쁘지 않은 Moose-parser를 트리거하는 모듈 목록을 열거해야 한다는 것입니다. 또한 까다로운 Moose 하위 클래스를 실행하는 사람이 아무도 없다고 가정해야 하지만 그렇게 하는 경우 더 나쁜 시나리오는 Moose 하위 구문 분석기를 잃게 됩니다. 그리고, 저는 괜찮습니다. 그들이 가지고 있는 것보다 더 나쁘지는 않을 것입니다.

Moose용 C 파서를 작성하는 데 도움이 필요하면 저도 도와드릴 수 있습니다.

Perl과 Moose를 위한 이러한 종류의 정적 파서가 ctags 밖에서도 유용할 것이라고 생각합니다. 현재 펄 구문 분석은 안전하지 않으며 보장되지 않습니다. 이를 통해 예를 들어 다른 프로젝트에서 Perl에서 테스트 커버리지를 안전하게 실행할 수 있습니다.

@masatake , Perl 5는 너무 느리게 움직이는 타겟이어서 유지 관리할 것이 많지 않기 때문에 perl.c 의 유지 관리인 으로서의 일은 쉬웠습니다. 나는 당신이 참조한 하위 파서 문서를 스캔했습니다. 내가 말할 수 있는 것은 와우! 솔직히 말해서, 저는 Universal Ctags 개발을 밀접하게 따르지 않았고 당신이 큰 진전을 이루었다는 것을 알 수 있습니다.

@EvanCarroll , 코드 토크: 자유롭게 perl.c 와도 결혼하지 않았습니다. 일부는 완전히 못생겼고, 돌이켜 보면 일부는 다르게 구현되어야 했습니다. "사용"의 사용에 관하여: 만지다, 취한 점.

쿨하다, 쿨하다. 그럼 이번 주말에 무엇을 할 수 있는지 알아보겠습니다. 서브파서 프레임워크에 대한 작업도 확인하겠습니다.

프로토타입이 작동합니다.
@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가지가 필요합니다

나는 무스에 대한 지식이 없습니다. 이것이 가장 중요합니다.
예를 들어 현재 파서는 with 클래스에 첨부된 규칙을 캡처하지 않으며 "Moose::Rule 사용"으로 정의됩니다. 내가 아는 것은 "규칙"뿐입니다. 그러나 ctags가 캡처해야 하는 더 많은 항목을 알고 있을 수 있습니다.

ctags가 이러한 규칙을 캡처할 것으로 예상하지 않습니까?
규칙이 클래스에 첨부된 경우 클래스의 태그에는 "rule:"이라는 필드가 있어야 한다고 생각합니다." 필드.

대상 언어를 아는 사람의 이러한 요청은 이 프로젝트를 성장시키는 데 필요합니다.

나는 그들 중 일부를 구현할 수 있습니다. 다른 것들을 구현할 수 있습니다. 이러한 요청이 있는 경우 나중에 구현할 수 있습니다.

현재 구현을 확장하여 Mouse, Moo 및 Mo를 지원할 수 있습니다.
원래 Perl 파서를 수정하지 않고 원합니다.

죄송합니다. 이미 #2070에서 중요한 의견을 말씀해 주셨습니다. 감사합니다.