#include "ast.h" #include using namespace xreate; using namespace std; COMPILER Xreate xreate::AST root; // current program unit (procedure or main program) bool checkParametersList() { scanner->ResetPeek(); Token* x = scanner->Peek(); return la->kind == _ident && x->kind == _lparen; } bool checkInfix() { scanner->ResetPeek(); Token* x = scanner->Peek(); return la->kind == _ident && x->kind == _ident; } bool checkIndex() { scanner->ResetPeek(); Token* x = scanner->Peek(); return la->kind == _ident && x->kind == _lbrack; } bool checkAssignment() { scanner->ResetPeek(); Token* x = scanner->Peek(); return la->kind == _ident && x->kind == _assign; } CHARACTERS letter = "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz". any = ANY - '"'. digit = "0123456789". cr = '\r'. lf = '\n'. tab = '\t'. TOKENS ident = letter {letter | digit | '_'}. number = digit {digit}. string = '"' { any } '"'. lparen = '('. rparen = ')'. lbrack = '['. rbrack = ']'. assign = '='. implic = '-' '>'. COMMENTS FROM "/*" TO "*/" NESTED COMMENTS FROM "//" TO lf IGNORE cr + lf + tab PRODUCTIONS Xreate = { ( FDecl | RuleDecl ) }. Ident = ident (. name = t->val; .). FDecl<> = (. std::wstring fname; std::wstring varname; TypeAnnotation typIn; TypeAnnotation typOut; .) Ident assign "function" ':' (. Function f = Function(fname); .) ( Type (. f.setReturnType(typOut); .) | '(' [Ident ':' Type (. f.addArg(std::move(varname), move(typIn)); .) {',' Ident ':' Type (. f.addArg(std::move(varname), move(typIn));.) }] ')' implic Type (. f.setReturnType(typOut); .) {',' FnTag } ) BDecl (. root.add(f); .) . TypeTerm = ("string" | "int" | "num" | "float" | "bool") (. typ = Atom(t->val); .) . Type = (. TypeAnnotation typ2; TypeAtom typ3; .) ('[' Type ']' (. typ = TypeAnnotation(TypeOperator::LIST, {typ2}); .) | TypeTerm (. typ = TypeAnnotation(typ3); .) ) . VDecl = (. std::wstring vname; Expression e; TypeAnnotation typ; .) Ident assign (ListLiteral ':' Type | LoopDecl ';' | Expr ':' Type ) (. f.addDeclaration(move(vname), move(typ), move(e)); .). BDecl = (. Expression body; .) '{' { ( IF(checkAssignment()) VDecl ';' | TagsDecl ';' | Expr ';' (. scope.setBody(body); .) )} '}'. LoopDecl = (. std::wstring varIn, varEl; TypeAnnotation typEl; CodeScope block; .) "loop" "map" '(' Ident implic Ident ':' Type ')' ':' Type BDecl (. e = Expression(Operator::LOOP, {Expression(Atom(varIn))}); e.addBindings({Atom(varEl)}); block.addArg(Atom(varEl), move(typEl)); e.addBlock(move(block)); .) . /*============================ METAPROGRAMMING ===============================*/ TagsDecl = (. Expression tag; TagModifier mod = TagModifier::NONE; .) ':' { MetaSimpExpr ['-' TagMod] (. /*f.addTag(std::move(tag), mod); */ .) }. FnTag = (. Expression tag; TagModifier mod = TagModifier::NONE; .) MetaSimpExpr ['-' TagMod] (. f.addTag(std::move(tag), mod); .). TagMod = ( "assert" (. mod = TagModifier::ASSERT; .) | "require" (. mod = TagModifier::REQUIRE; .) ). RuleDecl<> = "rule" ':' (. RuleArguments args; RuleGuards guards; DomainAnnotation typ; std::wstring arg; .) '(' Ident ':' Domain (. args.add(arg, typ); .) {',' Ident ':'Domain (. args.add(arg, typ); .) } ')' ["case" RGuard {',' RGuard}] '{' RBody '}' . Domain = ( "function" (. dom = DomainAnnotation::FUNCTION; .) | "variable" (. dom = DomainAnnotation::VARIABLE; .) ). RGuard= (. Expression e; .) MetaExpr (. guards.add(std::move(e)); .). MetaExpr= (.Operator op; Expression e2; .) MetaExpr2 [MetaOp MetaExpr2 (. e = Expression(op, {e, e2}); .) ]. MetaExpr2= ( '(' MetaExpr ')' | MetaSimpExpr ). MetaSimpExpr= (. std::wstring i1, infix; Expression e2; .) ( '-' MetaSimpExpr (. e = Expression(Operator::NEG, {e2}); .) | IF(checkParametersList()) Ident (. e = Expression(Operator::CALL, {Expression(Atom(i1))}); .) '(' [ CalleeParams ] ')' | IF(checkInfix()) Ident Ident MetaSimpExpr (. e = Expression(Operator::CALL, {Expression(Atom(infix))}); e.addArg(Expression(Atom(i1))); e.addArg(std::move(e2)); .) | Ident (. e = Expression(Atom(i1)); .) ). RBody = (. Expression e; std::wstring msg; .) "warning" MetaExpr ["message" string (. msg = t->val; .) ] (. root.add(new RuleWarning(RuleArguments(args), RuleGuards(guards), std::move(e), Atom(msg))); .) . MetaOp< Operator& op> = implic (. op = Operator::IMPL; .) . /*============================ Expressions ===============================*/ // dublicates CalleeParams ListLiteral = (. Expression e2; .) '[' (. e.setOp(Operator::LIST); .) [ Expr (. e.addArg(std::move(e2)); .) {',' Expr (. e.addArg(std::move(e2)); .) }] ']'. Expr< Expression& e> (. Operator op; Expression e2; .) = SimExpr< e> [ RelOp< op> SimExpr< e2> (. e = Expression(op, {e, e2}); .) ]. SimExpr< Expression& e> (. Operator op; Expression e2; .) = Term< e> { AddOp< op> Term< e2> (. e = Expression(op, {e, e2});.) }. Term< Expression& e> (. Operator op; Expression e2; .) = Factor< e> { MulOp< op> Factor< e2> (. e = Expression(op, {e, e2}); .) }. Factor< Expression& e> (. std::wstring name;.) = (IF (checkParametersList()) Ident< name> (. e = Expression(Operator::CALL, {Atom(name)}); .) '(' [CalleeParams] ')' |IF (checkIndex()) Ident (. e = Expression(). e.setOp(Operator::INDEX); e.addArg(Atom(name)}); .) lbrack CalleeParams rbrack | Ident< name> (. e = Expression(Atom(name)); .) | number (. e = Expression(Atom(t->val)); .) | '-' Factor< e> (. e = Expression(Operator::NEG, {e}); .) | '(' Expr ')' ). CalleeParams = (. Expression e2; .) Expr (. e.addArg(std::move(e2)); .) {',' Expr (. e.addArg(std::move(e2)); .) }. AddOp< Operator& op> = (. op = Operator::ADD; .) ( '+' | '-' (. op = Operator::SUB; .) ). MulOp< Operator& op> = (. op = Operator::MUL; .) ( '*' | '/' (. op = Operator::DIV; .) ). RelOp< Operator& op> = (. op = Operator::EQU; .) ( '=' '=' | '<' (. op = Operator::LSS; .) | '>' (. op = Operator::GTR; .) ). END Xreate.