4
나는 도메인 특정 언어를 만들기 위해 ANTLR을 배우기 위해 노력 해왔다. 요구 사항 중 하나는이 DSL을 C로 변환하는 것입니다. DSL을 인식하는 기본 문법을 얻을 수 있었지만이 문제를 C로 변환하는 데 문제가 있습니다. 주로 문제는 DSL if 문을 C if 문. 문법에서 print 문을 사용해 보았습니다. 아무 소용이 없었습니다 (저는 C#을 사용하고 있습니다). 내가 상상했던 꽤입니다이 C# 클래스ANTLR 문법 if 문
using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using Antlr.Runtime;
namespace ConsoleApplication1
{
class Program
{
static void Main(string[] args)
{
string inputString = "if $variable1 = 0 then\n if $variable2 > 250 then\n $variable3 := 0\n endif\n endif";
Console.WriteLine("Here is the input string:\n " + inputString + "\n");
ANTLRStringStream input = new ANTLRStringStream(inputString);
ifTestLexer lexer = new ifTestLexer(input);
CommonTokenStream tokens = new CommonTokenStream(lexer);
ifTestParser parser = new ifTestParser(tokens);
parser.prog();
Console.Read();
}
}
}
출력과이를 테스트 할 때
**ifTest.g**
grammar ifTest;
options
{
backtrack=true;
output=AST;
language=CSharp2;
}
/*************************
PARSER RULES
*************************/
prog : lambda
| statements EOF;
lambda : /* Empty */;
statements
: statement+;
statement
: logical
| assignment
| NEWLINE;
logical : IF a=logical_Expr THEN b=statements
{
System.Console.Write("\tif (" + $a.text + ")\n\t{\n\t" + "\t" + $b.text + "\n\n\t}");
}
(ELSE c=statements
{
System.Console.Write("\n\telse {\n\t\t\t" + $c.text + "\n\t}");
})?
ENDIF
{
System.Console.Write("\n}");
}
;
logical_Expr
: expr
;
expr : (simple_Expr) (op expr)*
;
simple_Expr : MINUS expr
| identifier
| number
;
identifier : parameter
| VARIABLE
;
parameter : norm_parameter
;
norm_parameter : spec_label
| reserved_parm
;
spec_label : LABEL
;
reserved_parm : RES_PARM
;
op : PLUS
| MINUS
| MULT
| DIV
| EQUALS
| GT
| LT
| GE
| LE
;
number : INT
| FLOAT
| HEX
;
assignment : identifier GETS expr
;
/*************************
LEXER RULES
*************************/
WS : (' '|'\t')+ {$channel=HIDDEN;};
COMMENT : '/*' (options {greedy=false;}:.)* '*/' {$channel=HIDDEN;}
;
LINECOMMENT
: '#' ~('\n'|'\r')* NEWLINE {$channel=HIDDEN;}
;
NEWLINE : '\r'?'\n' {$channel=HIDDEN;};
IF : I F;
THEN : T H E N;
ELSE : E L S E;
ENDIF : E N D I F;
PLUS : '+';
MINUS : '-';
MULT : '*';
DIV : '/';
EQUALS : '=';
GT : '>';
LT : '<';
GE : '>=';
LE : '<=';
ULINE : '_';
DOT : '.';
GETS : ':=';
LABEL : (LETTER|ULINE)(LETTER|DIGIT|ULINE)*;
INT : '-'?DIGIT+;
FLOAT : '-'? DIGIT* DOT DIGIT+;
HEX : ('0x'|'0X')(HEXDIGIT)HEXDIGIT*;
RES_PARM: DIGIT LABEL;
VARIABLE: '\$' LABEL;
fragment A:'A'|'a'; fragment B:'B'|'b'; fragment C:'C'|'c'; fragment D:'D'|'d';
fragment E:'E'|'e'; fragment F:'F'|'f'; fragment G:'G'|'g'; fragment H:'H'|'h';
fragment I:'I'|'i'; fragment J:'J'|'j'; fragment K:'K'|'k'; fragment L:'L'|'l';
fragment M:'M'|'m'; fragment N:'N'|'n'; fragment O:'O'|'o'; fragment P:'P'|'p';
fragment Q:'Q'|'q'; fragment R:'R'|'r'; fragment S:'S'|'s'; fragment T:'T'|'t';
fragment U:'U'|'u'; fragment V:'V'|'v'; fragment W:'W'|'w'; fragment X:'X'|'x';
fragment Y:'Y'|'y'; fragment Z:'Z'|'z';
fragment DIGIT
: '0'..'9';
fragment LETTER
: A|B|C|D|E|F|G|H|I|J|K|L|M|N|O|P|Q|R|S|T|U|V|W|X|Y|Z;
fragment HEXDIGIT
: '0..9'|'a..f'|'A'..'F';
: 여기
내가 함께 테스트 된 문법이다.**Output**
if ($variable2 > 250)
{
$variable3 := 0
}
} if ($variable1 = 0)
{
if $variable2 > 250 then
$variable3 := 0
endif
}
}
문제는 문이 두 번 인쇄되어 있지만 순서대로 내가 기대했다하지 않을 경우 그 두 번째가 될 것으로 보인다. 필자는 단순히 인쇄문 내에서 문장 블록을 내보내려고하는 것과 관련이 있다고 가정하지만이 작업을 올바르게 수행하는 방법에 대해서는 확신 할 수 없습니다. 나는 StringTemplate을 읽거나, AST를 만들고 그것을 걷기 위해 Tree Walker를 사용했지만, 어쨌든 위의 결과를 이와 같이 보도록 고칠 수 있습니까?
if ($variable1 = 0)
{
if ($variable2 > 250)
{
$variable3 := 0
}
}
내가 어떤 방향으로 나아 갔는지에 대한 도움을 주시면 감사하겠습니다. StringTemplate으로 도약하는 것이 나을지, 기본 액션 코드로 이것을 할 수있는 방법이 있습니까? 정보를 남겨두면 언제든지 물어보십시오.
아, 그리고 매우 멋지게 구성된 질문 BTW. +1! – Task