Pegjs: 노드 위치 추적 기능 추가

두 옵션 모두 훌륭할 것입니다. 내 필요에 따라 단순히 선, 열이 괜찮을 것입니다.

나는 또한 이것에 대한 해결책을 찾고 있습니다. 현재 나는 computeErrorPosition()을 기반으로 빠르게 무언가를 해킹했지만 몇 가지 꼬임이 있습니다.

표면적으로는 첫 번째 접근 방식이 두 번째 방식보다 더 직관적으로 보입니다.

나는 첫 번째 접근 방식도 더 좋아합니다.

가능한 효율성 중 하나는 name.position을 함수로 사용하여 느리게 계산할 수 있도록 하는 것입니다. 그러면 행과 열의 2개 항목 배열을 반환할 수 있습니다. 모든 단일 항목의 위치를 ​​계산하고 싶지 않은 사람들을 위한 아이디어입니다.

돌이켜 보면 시작 및 끝 문자 위치를 제공한 다음 라이브러리에서 위치를 행/열로 변환하는 도우미 함수를 제공하는 것이 더 나은 것 같습니다. 일반적인 경우에는 오류가 없는 한 줄/열이 필요하지 않으며 일단 오류에 도달하면 일반적으로 한 번만 필요합니다.

저는 현재 startPos0 및 pos 변수를 남용하여 해킹 방식으로 이 작업을 수행하고 있습니다. 이는 해킹처럼 느껴지지만 지금은 작동합니다.

공식 수정이 있을 때까지 이 함수( computeErrorPosition 의 대략적인 사본)를 문법 맨 위에 포함하겠습니다. 적어도 그것은 나에게 _current_ 위치를 줄 것입니다(개별 노드의 위치는 아니지만):

  function computeCurrentPos() {
    /*
     * The first idea was to use |String.split| to break the input up to the
     * error position along newlines and derive the line and column from
     * there. However IE's |split| implementation is so broken that it was
     * enough to prevent it.
     */

    var line = 1;
    var column = 1;
    var seenCR = false;

    for (var i = 0; i < pos; i++) {
      var ch = input.charAt(i);
      if (ch === '\n') {
        if (!seenCR) { line++; }
        column = 1;
        seenCR = false;
      } else if (ch === '\r' | ch === '\u2028' || ch === '\u2029') {
        line++;
        column = 1;
        seenCR = true;
      } else {
        column++;
        seenCR = false;
      }
    }

    return { line: line, column: column, pos: pos };
  }

이 문제는 일련의 커밋 으로 수정되었습니다.

이제 trackLineAndColumn 옵션을 PEG.buildParser 함수에 전달할 수 있습니다.

var parser = PEG.buildParser(myGrammar, { trackLineAndColumn: true});

trackLineAndColumn 를 true 로 설정하면 두 개의 새로운 변수가 액션과 술어에 표시됩니다 — line 및 column . 조치의 경우 이러한 변수는 조치 표현식의 시작 위치를 나타내는 반면 술어에서는 현재 위치를 나타냅니다. 약간 다른 동작은 예상 사용에 의해 유발됩니다.

행 및 열 추적은 성능을 저하시키기 때문에 선택 사항입니다(파서가 약 ​​3-4배 느려짐). 나는 이것을 미래에 어느 정도 최적화할 수 있을 것입니다(나는 그것을 먼저 작동시키려고 노력했습니다).

문제 설명에서 이 문제에 대한 다른 접근 방식을 언급했습니다. line 및 column 속성을 각 일치 결과에 추가하는 것입니다. 이 솔루션이 사용자에게 더 깨끗하고 선호되었지만 문자열, 숫자 또는 부울(종종 일치 결과로 반환됨)과 같은 기본 값에 대한 속성을 설정할 수 없다는 것을 깨달았습니다. 래핑 개체(예: String , Number 또는 Boolean )의 인스턴스를 반환하는 것이 가능한 해결 방법이지만 사용자가 만든 파서에 미묘한 버그가 발생할 수 있습니다. 이 래퍼는 프리미티브와 약간 다르게 동작합니다. 그래서 대안 제안을 실행하기로 결정했습니다.

이 기능을 지원하도록 온라인 테스트 페이지가 업데이트됩니까?

@paulftw 온라인 편집기는 항상 최신 안정 버전의 PEG.js(현재 0.6.2)를 사용합니다. PEG.js 0.7.0(이 기능이 포함됨)을 릴리스하면 업데이트하겠습니다. 예상치 못한 일이 일어나지 않는 한 4월 하반기에 일어날 것이다.

웹 사이트 소스 코드는 GitHub 에서 사용할 수 있으므로 조급해하면 직접 실행하고 수정할 수 있습니다.

모든 행과 열은 1부터 시작하지만 JS 배열과 거의 모든 최신 언어 및 라이브러리는 0 기반 인덱싱을 사용한다는 것을 방금 깨달았습니다.

그 디자인 결정을 되돌릴 기회가 있습니까?

@paulftw 행과 열을 0 기반으로 보고하는 파서 생성기의 예를 들어 주시겠습니까?

내 결정 뒤에 있는 아이디어는 이러한 숫자가 사용자에게 표시될 가능성이 가장 높기 때문에(오류 메시지, 노드 위치 등) 1 기반 인덱싱이 0 기반 인덱싱보다 더 합리적이라는 것입니다. 기계 처리의 경우 offset 변수가 가장 자주 사용되며 0부터 시작합니다.

그 디자인 결정을 되돌릴 기회가 있습니까?

네, 확신이 드신다면 :-)

저는 Ace 편집기에서 텍스트를 강조 표시하기 위해 peg.js를 사용합니다. 자연스럽게 에이스 라인 번호는 0부터 시작합니다.
그러나 Bison의 위치는 1 기반입니다.
http://git.savannah.gnu.org/cgit/bison.git/tree/src/location.c#n73

이것이 사실이라면 나는 논쟁을 그만둬야 한다.

어떤 예를 보고 싶은지 잘 모르겠습니다.
지금은 다음 코드를 사용하여 기호 이름을 찾습니다.

포획자
= "" { return new Position(줄 - 1, 열 - 1); }

상징
= 시작:캡터 이름:IDENT 끝:캡터 S* { return new Symbol(name, new Range(start, end)); }

@paulftw 이 문제를 별도의 문제로 나눴습니다. 나는 사용자가 0.7.0을 채택하고 널리 사용되는 것이 무엇인지 결정할 때까지 기다릴 것입니다.

이것이 오랫동안 폐쇄되었다는 것을 알고 있지만 어떻게 이것을 작동시킬 수 있습니까? 나는 이것에 아주 멍청하다. "trackLineAndColumn': true" 플래그를 사용하여 문법을 컴파일했지만 노드에는 여전히 행과 열이 포함되어 있지 않습니다. 또 무엇이 필요합니까?

당신은 다음을 언급, 나는 그것을 사용하는 방법을 모르는 어딘가에 문서화되어 있습니까?

trackLineAndColumn을 true로 설정하면 두 개의 새로운 변수가 action과 predicate에 표시됩니다(line과 column). 조치의 경우 이러한 변수는 조치 표현식의 시작 위치를 나타내는 반면 술어에서는 현재 위치를 나타냅니다. 약간 다른 동작은 예상 사용에 의해 유발됩니다.

@tomitreskak 이 기능은 분명히 과거에 몇 번 변경되었습니다. 자세한 내용은 변경 로그를 살펴보십시오. tl;dr은 문법에서 location() 함수를 사용해야 한다는 것입니다.