Artifact 351d6a36d1e1b0e0bdbe86a347f02b65e58c3858
/**
* Authors: k.inaba
* License: NYSL 0.9982 http://www.kmonos.net/nysl/
*
* Syntax tree for Polemy programming language.
*/
module polemy.ast;
import polemy._common;
import polemy.failure;
///
abstract class AST
{
immutable LexPosition pos;
mixin SimpleConstructor;
mixin SimplePatternMatch;
}
///
class StrLiteral : AST
{
string data;
mixin SimpleClass;
}
///
class IntLiteral : AST
{
BigInt data;
mixin SimpleClass;
this(immutable LexPosition pos, long n) {super(pos); data = n;}
this(immutable LexPosition pos, BigInt n) {super(pos); data = n;}
this(immutable LexPosition pos, string n) {super(pos); data = BigInt(n);}
}
///
class VarExpression : AST
{
string var;
mixin SimpleClass;
}
///
class LayeredExpression : AST
{
string lay;
AST expr;
mixin SimpleClass;
}
///
class LetExpression : AST
{
string var;
string layer;
AST init;
AST expr;
mixin SimpleClass;
}
///
class FuncallExpression : AST
{
AST fun;
AST[] args;
this(immutable LexPosition pos, AST fun, AST[] args...)
{ super(pos); this.fun=fun; this.args=args.dup; }
mixin SimpleClass;
}
///
class Parameter
{
string name;
string[] layers;
mixin SimpleClass;
}
///
class FunLiteral : AST
{
Parameter[] params;
AST funbody;
mixin SimpleClass;
}
/// Handy Generator for AST nodes. To use this, mixin EasyAst;
/*mixin*/
template EasyAST()
{
///
template genEast(T)
{ T genEast(P...)(P ps) { return new T(LexPosition.dummy, ps); } }
alias genEast!StrLiteral strl; ///
alias genEast!IntLiteral intl; ///
auto fun(string[] xs, AST ps) {
return genEast!FunLiteral(array(map!((string x){return new Parameter(x,[]);})(xs)),ps); }
auto funp(Parameter[] xs, AST ps) { return genEast!FunLiteral(xs,ps); } ///
alias genEast!VarExpression var; ///
alias genEast!LayeredExpression lay; ///
alias genEast!LetExpression let; ///
alias genEast!FuncallExpression call; ///
auto param(string name, string[] lay...) { return new Parameter(name, lay); } ///
}