Rascal 구문 사양에서 SDF2 순열 구문 (<<..>>)을 표현하는 방법

Question

Rascal을 사용하여 VS COBOL II의 사양을 시도하고 있습니다. COBOL에는 순열 구문 (permutation phrase)이 많은 구문이 있는데, 이는 순열 구문 구문 < < ..으로 직접 SDF에서 처리됩니다. 나는 이것이 Rascal을 사용하여 어떻게 이루어 졌는지를 알 수 없었다. 나는 확실히 초보자이지만 나는 이것에 대한 답을 찾을 수 없었다.

Answer 1

SDF2에있는 것처럼 존재하지 않는다고 생각합니다. 내가 :-)

어쨌든 약 8 년 전에이 기능을 제거 기억 때문하지만 SDF2의 아주 오래된 버전이어야합니다, 우리는과 같이 비열한에서 매개 변수가 아닌 단말기의 몇 가지를 사용하여 시뮬레이션 할 수 있습니다 :

syntax Perm2[&T, &U] 
    = &T &U 
    | &U &T 
    ; 

syntax Perm3[&T, &U, &V] 
    = &T &U &V 
    | &T &V &U 
    | &U &T &V 
    | &U &V &T 
    | &V &T &U 
    | &V &U &T 
    ; 

멋진 기능 요청일까요? 또는 끌어 오기 요청 ;-)