'2010/03/09'에 해당되는 글 1건

  1. 2010/03/09 귀차니스트 Script Interpreter - boost::spirit

Script Interpreter - boost::spirit

Programming 2010/03/09 02:57 귀차니스트

  이번에는 boost에 존재하는 spirit을 사용하여 간단한 스크립트 언어의 Interpreter를 만들어보게 되었습니다. 예전에 IPangYa 를 비롯하여 PangCal 프로그램을 만들 때 잠시 사용하였던 라이브러리를 다시 사용하게 되었는데요, 예전엔 문법적인 체크만 했었는데 이번엔 그래도 파서라는 이름에 맞게 인터프리터를 만들어보게 되었네요.

문법

명령문 -> if, while, 변수선언문, 변수대입문

if -> if(판별식) { 명령문 } else { 명령문 }

while -> while(판별식) { 명령문 }

판별식 -> 수식 비교연산자 수식

비교연산자 -> == != < >

변수선언문 -> var 변수이름

변수대입문 -> set 변수이름 = 수식

수식 =  +, -, *, /

 = (), 숫자, var:변수이름

 

예시

변수선언

ex) var abc

    abc 변수를 선언

변수대입

ex) set abc=100

    abc 변수에 100을 대입

if

ex) if(1==1) { 명령문 }

          1 1의 값이 동일할 때 명령문 실행

    if(var:a==var:b) { 명령문 }

변수a 값과 변수b 값이 동일할 때 명령문 실행

    if(a==b) { 명령문 }

변수a 값과 변수b 값이 동일할 때 명령문 실행

    else { 명령문 }

추가적으로 뒤에 붙을 수 있음

while

ex) while(a<1000) { 명령문 }

변수a 값이 1000보다 작을 동안 명령문 실행

  위와 같은 문법을 지원하는 스크립트 언어 입니다. 사실 너무 간단한 스크립트 언어라 어떻게 이름을 지정할 것도 없지만요^^; 사용은 무척 쉽게 되었습니다. 사실 boost::spirit에 존재하는 함수에서 abstract parser tree를 만들어주기 때문에 해당 트리를 기반으로 평가함수를 실행하면 되기 때문이죠^^. 이번에는 C Interpreter를 만들어보려고 하고 있습니다. C++ 은 template가 있어서 그 부분은 불가능 할 것 같고 차라리 C 를 만들어보기로 했습니다. 이 부분은 완성이 천천히 진행이 될 것 같군요. 아래는 제가 만들었던 스크립트 언어의 룰입니다.

Identifier = token_node_d[(alpha_p >> *alnum_p)];
Message = '"' >> token_node_d[*(anychar_p - '"')] >> '"';
Program = *Expression;
Expression = discard_node_d[space_p] | IfExpression
| WhileExpression
| VarExpression
| CallExpression
| NumericExpression
| AssignExpression;

AssignExpression = str_p("set")
>> token_node_d[+space_p]
>> LValue
>> discard_node_d[*space_p]
>> '='
>> discard_node_d[*space_p]
>> RValue;

RValue = NumericExpression
| Message
| Identifier;

LValue = Identifier;

ComparisonOperator = str_p("==") | str_p("!=") | str_p("<") | str_p(">");

BooleanExpression = (RValue
>> discard_node_d[*space_p]
>> ComparisonOperator
>> discard_node_d[*space_p]
>> RValue);

IfExpression = str_p("if")
>> discard_node_d[*space_p]
>> '('
>> discard_node_d[*space_p]
>> BooleanExpression
>> discard_node_d[*space_p]
>> ')'
>> discard_node_d[*space_p]
>> '{'
>> discard_node_d[*space_p]
>> Program
>> discard_node_d[*space_p]
>> '}'
>> !( discard_node_d[*space_p]
>> "else"
>> discard_node_d[*space_p]
>> '{'
>> discard_node_d[*space_p]
>> Program
>> discard_node_d[*space_p]
>> '}');

WhileExpression = str_p("while")
>> discard_node_d[*space_p]
>> '('
>> discard_node_d[*space_p]
>> BooleanExpression
>> discard_node_d[*space_p]
>> ')'
>> discard_node_d[*space_p]
>> '{'
>> discard_node_d[*space_p]
>> Program
>> discard_node_d[*space_p]
>> '}';

VarExpression = str_p("var")
>> token_node_d[+space_p]
>> Identifier
>> *( discard_node_d[*space_p]
>> discard_node_d[ch_p(',')]
>> discard_node_d[*space_p]
>> Identifier);

CallExpression = str_p("call")
>> token_node_d[+space_p]
>> Identifier
>> discard_node_d[*space_p]
>> '('
>> discard_node_d[*space_p]
>> !Arguments
>> discard_node_d[*space_p]
>> ')';

Arguments = RValue
>> *( discard_node_d[*space_p]
>> discard_node_d[ch_p(',')]
>> discard_node_d[*space_p]
>> RValue);

CallVal = str_p("var:") >> Identifier;

NumericExpression = Term
>> *(   (ch_p('+') >> Term)
|   ('-' >> Term));

Term = Factor
>> *(   ('*' >> Factor)
|   ('/' >> Factor));

Factor =   int_p
|CallVal
|   '(' >> NumericExpression >> ')'
|   ('-' >> Factor)
|   ('+' >> Factor);

 위와 같은 룰로 구성이 되어있습니다.  앞으로 C Interpreter를 구성하게 된다면 여러모로 여기저기 붙여서 써먹을 일이 많을 듯합니다^^. 아마 제가 제작하는 OS에도 사용이 가능하게 될지도 모르겠네요^^; 가능했으면 좋겠는데.. 그럼 직접 적은 글은 별로 없는 영양가 없는 포스팅을 줄이도록 하겠습니다. 다음에 뵙겠습니다.
크리에이티브 커먼즈 라이센스
Creative Commons License
2010/03/09 02:57 2010/03/09 02:57

댓글을 달아 주세요