[evaluator] 기본적인 평가기 개발

[yus1108]

builtins.mcfh

enum PRINT_RESULT : uint8
{
    NO_ERROR
};

const PRINT_RESULT Print(const utf8 format[], ...) const;

main.mcf

#include <builtins> // include vector, string, print

// unused parameters must be set as unused
// Print is builtin function that prints output to console
// TODO: command line argument 받는법 필요
// TODO: return type for main?
void main(unused const int32 argc, unused const utf8 argv[][]) 
{
    const utf8 str[] = "Hello, World!"; // default string literal is static array of utf8 in mcf
    Print("%s\n", str); 
}

위 코드의 syntax 를 평가하는 평가기 개발

[yus1108]

필요 토큰 :

• [x] ... -> {keyword_variadic, "..."}
• [x] enum -> {keyord_enum, "enum"}
• [x] : -> {colon, ":"}
• [x] & -> {ampersand, "&"}
• [x] < -> {lt, "<"}
• [x] > -> {gt, ">"}
• [x] [ -> {lbracket, "["}
• [x] ] -> {rbracket, "]"}
• [x] ( -> {lparen, "("}
• [x] ) -> {rparen, ")"}
• [x] { -> {lbrace, "("}
• [x] } -> {rbrace, ")"}
• [x] , -> {comma, ","}
• [x] #include <[^<>\n\r]+> ->{macro_include, [^<>\n\r]+}
• [x] //[^\n\r]* -> {comment, "[^\n\r]*"}
• [x] /*(any character except "*/")*/ -> {comment, /*"any character except '*/')"*/}
• [x] void -> {keyword_void, "void"}
• [x] unused -> {keyword_unused, "unused"}
• [x] const -> {keyword_const, "const"}
• [x] utf8 -> {keyword_utf8, "utf8"}
• [x] "[^"\n\r]*" -> {string_utf8, "[^"\n\r]*"}/

[yus1108]

필요/수정 general expressions:

• [x] \ [optional: const] token_data_type

• [x] \ identifier lparen <function_call_parameters> rparen

Expression: Prefix:

• [x] <literal>
• [x] <identifier>
• [x] <data_type>
• [x] <prefix_expression>

Infix:

• [x] <infix_expression>
• [x] <function_call>
• [x] <index_expression>

Infix Expressions

• [x] : <expression> plus|minus|asterisk|slash <expression>

• [x] \ : <expression> lbracket [optional: <expression>] rbracket

필요 special expressions (parse expression에 의해 파싱 되지 않는 expressions):

• [x] !: <expression> comma <expression> [optional: comma <function_call_parameters>]

• [x] !\ <data_type> <identifier> [optional: comma <function_parameter>] [optional: comma keyword_variadic] keyword_variadic

• [x] !\ [statement] [optional: [statement]]

• [x] !\ identifier [optional: assign <expression>] [optional: comma !<enum_block>]

필요/수정 statements:

• [x] [macro_include] macro_include

• [x] [comment] comment -> 코멘트는 모든 파싱에서 무시되는 토큰입니다.

• [x] [variable] <data_type> <identifier>|<index_expression : left=<identifier>> [optional: assign <expression>] semicolon

• [x] [function] <data_type>|<index_expression : left=<data_type>> <identifier> lparen !<function_declaration_parameters> rparen [optional: const] [semicolon or rparen lbrace !<function_block> rbrace]

• [x] [function_call] <function_call> semicolon

• [x] [enum] keyword_enum <identifier> [optional: colon <data_type>] lbrace !<enum_block> rbrace semicolon -> 해당 statement를 파싱 하였을 경우:

  1. enum type을 token 리스트에 {custom_enum_type, identifier}으로 추가합니다.
  2. enum block의 enum data 들을 token 리스트에 {custom_enum_data, "type_identifier::data_identifier"}으로 추가합니다.

[yus1108]

x86 nasm 코드 구현

[yus1108]

현재 단계에선 평가 단계에서 할수 있는일은 enum 정도 밖에 없어 이슈를 닫기로 결정