projects/dang: parser/Action.d annotate

annotate parser/Action.d @ 44:495188f9078e new_gen

Big update - Moving towards a better, more seperated parser The parser no loner creates the AST directly, but through callbacks(actions). This means the parser can be run with a different set of actions that do something else. The parser is not back to full strength yet, the main thing missing is the various statements and structs. Also added a SmallArray that uses the stack only until a given size is exceeded, after which the array is copied unto the heap.

author	Anders Halager <halager@gmail.com>
date	Wed, 23 Apr 2008 00:57:45 +0200
parents
children	9bc660cbdbec

rev	line source
44 495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	1 module parser.Action;
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	2
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	3 import lexer.Token;
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	4
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	5 import ast.Exp,
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	6 ast.Stmt,
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	7 ast.Decl;
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	8
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	9 import misc.Error;
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	10
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	11 import tango.io.Stdout,
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	12 Integer = tango.text.convert.Integer;
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	13
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	14 /**
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	15 Used to indicate what type of operator is used in a given binary expression
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	16 (and unary expressions?)
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	17 */
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	18 public enum Operator
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	19 {
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	20 Eq, Ne,
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	21
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	22 Lt, Le,
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	23 Gt, Ge,
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	24
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	25 Add, Sub,
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	26 Mul, Div, Mod,
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	27 }
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	28
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	29
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	30 struct Id
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	31 {
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	32 Token tok;
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	33
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	34 char[] toString()
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	35 {
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	36 return tok.get;
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	37 }
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	38 }
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	39
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	40 /**
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	41 All methods are optional.
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	42
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	43 Warning: Interface is not stable yet. Use the `override` keyword in all classes
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	44 inheriting from this to get warning if the interface changes.
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	45 */
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	46 abstract class Action
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	47 {
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	48 /**
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	49 A few aliases to indicate what methods should be dealing with the same
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	50 types.
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	51
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	52 Not typesafe, and not using typedef because users would need a lot of
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	53 casts (and base type would be void*, so no possibility to synchronize,
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	54 print etc.)
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	55 */
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	56 alias Object ExprT;
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	57 alias Object StmtT; /// ditto
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	58 alias Object DeclT; /// ditto
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	59
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	60 // -- Declarations --
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	61
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	62 /**
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	63 Either we should have one case that handles a lot of things, or we should
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	64 have a lot of separate cases.
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	65 As an example, this method could handle the params in `int f(int, int)`
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	66 as well as handling `int x` at both top-level, in classes and in methods.
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	67
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	68 The other solution is an addParamToFunc or similar.
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	69 */
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	70 DeclT actOnDeclarator(ref Id type, ref Id name, ExprT init)
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	71 {
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	72 return null;
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	73 }
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	74
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	75 /**
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	76 Add an initialization expression to a previously created decl.
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	77
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	78 Used for default values on function params and for values to local
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	79 variables.
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	80 */
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	81 void addInitToDeclarator(DeclT decl, ExprT exp)
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	82 {
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	83 }
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	84
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	85 /**
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	86 Called at the start of a function, doesn't get a lot of info - that is
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	87 added later on, through addFuncArg and actOnEndOfFunction.
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	88 */
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	89 DeclT actOnStartOfFunctionDef(ref Id type, ref Id name)
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	90 {
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	91 return null;
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	92 }
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	93
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	94 /**
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	95 Add a new parameter to the function func.
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	96 */
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	97 void addFuncArg(DeclT func, Id type, Id name)
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	98 {
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	99 }
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	100
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	101 /**
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	102 Finish off the function, by giving it the body (a single statement, so
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	103 you probably want some sort of compound statement)
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	104 */
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	105 DeclT actOnEndOfFunction(DeclT func, StmtT stmts)
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	106 {
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	107 return func;
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	108 }
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	109
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	110 // -- Statements --
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	111
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	112 /**
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	113 Called after parsing a function/while/for/whatever body.
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	114
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	115 Note that stmts is to be considered temporary, it might point into the
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	116 stack and needs to be copied before saving.
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	117 */
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	118 StmtT actOnCompoundStmt(ref Token left, ref Token right, StmtT[] stmts)
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	119 {
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	120 return null;
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	121 }
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	122
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	123 /**
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	124 Called after parsing return statements.
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	125
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	126 loc is the return token.
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	127 */
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	128 StmtT actOnReturnStmt(ref Token loc, ExprT exp)
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	129 {
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	130 return null;
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	131 }
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	132
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	133 StmtT actOnStartOfSwitchStmt()
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	134 {
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	135 return null;
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	136 }
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	137
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	138 void actOnCaseStmt()
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	139 {
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	140 }
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	141
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	142 void actOnDefaultStmt()
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	143 {
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	144 }
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	145
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	146 StmtT actOnFinishSwitchStmt(StmtT sw)
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	147 {
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	148 return sw;
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	149 }
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	150
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	151 // -- Expressions --
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	152
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	153 /**
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	154 A single numerical constant -- this can be absolutely any kind of number.
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	155 Integers, floats, hex, octal, binary, imaginary and so on.
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	156 */
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	157 ExprT actOnNumericConstant(Token op)
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	158 {
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	159 return null;
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	160 }
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	161
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	162 /**
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	163 This is called when identifiers are used in expressions.
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	164 */
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	165 ExprT actOnIdentifierExp(Id id)
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	166 {
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	167 return null;
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	168 }
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	169
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	170 /**
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	171 Unary operator.
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	172 */
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	173 ExprT actOnUnaryOp(Token op, ExprT operand)
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	174 {
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	175 return null;
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	176 }
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	177
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	178 /**
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	179 Binary operator.
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	180 */
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	181 ExprT actOnBinaryOp(Operator op, ExprT l, ExprT r)
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	182 {
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	183 return null;
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	184 }
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	185
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	186 /**
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	187 Called when using the 'dot' operator.
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	188 The left hand side can be any expression, but its only possible to look
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	189 up an identifier.
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	190 */
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	191 ExprT actOnMemberReference(ExprT lhs, Location op, Id member)
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	192 {
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	193 return null;
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	194 }
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	195 }
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	196
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	197 /**
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	198 This class implements the default actions for Dang, by building up an AST
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	199 with the data needed in a compiler.
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	200 */
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	201 class AstAction : Action
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	202 {
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	203 override DeclT actOnDeclarator(ref Id type, ref Id id, ExprT init)
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	204 {
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	205 Exp exp = cast(Exp)init;
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	206 return new VarDecl(new Identifier(type.tok), new Identifier(id.tok), exp);
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	207 }
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	208
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	209 override DeclT actOnStartOfFunctionDef(ref Id type, ref Id name)
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	210 {
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	211 return new FuncDecl(new Identifier(type.tok), new Identifier(name.tok));
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	212 }
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	213
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	214 override void addFuncArg(DeclT func, Id type, Id name)
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	215 {
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	216 FuncDecl fd = cast(FuncDecl)func;
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	217 fd.addParam(new Identifier(type.tok), new Identifier(name.tok));
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	218 }
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	219
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	220 override DeclT actOnEndOfFunction(DeclT func, StmtT stmts)
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	221 {
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	222 FuncDecl fd = cast(FuncDecl)func;
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	223 fd.setBody(cast(CompoundStatement)stmts);
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	224 return fd;
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	225 }
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	226
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	227 override StmtT actOnCompoundStmt(ref Token l, ref Token r, StmtT[] stmts)
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	228 {
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	229 StmtT[] array = stmts.dup;
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	230 Stmt[] statements = cast(Stmt[])array;
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	231 Stdout(statements).newline;
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	232 return new CompoundStatement(cast(Stmt[])array);
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	233 }
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	234
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	235 override StmtT actOnReturnStmt(ref Token loc, ExprT exp)
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	236 {
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	237 Exp e = cast(Exp)exp;
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	238 auto res = new ReturnStmt;
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	239 res.exp = e;
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	240 return res;
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	241 }
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	242
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	243 override ExprT actOnNumericConstant(Token c)
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	244 {
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	245 return new IntegerLit(c);
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	246 }
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	247
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	248 override ExprT actOnIdentifierExp(Id id)
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	249 {
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	250 return new Identifier(id.tok);
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	251 }
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	252
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	253 override ExprT actOnBinaryOp(Operator op, ExprT l, ExprT r)
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	254 {
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	255 Exp left = cast(Exp)l;
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	256 Exp right = cast(Exp)r;
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	257 return new BinaryExp(cast(BinaryExp.Operator)op, left, right);
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	258 }
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	259
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	260 override ExprT actOnUnaryOp(Token op, ExprT operand)
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	261 {
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	262 Exp target = cast(Exp)operand;
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	263 // can only be -x for now
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	264 return new NegateExp(target);
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	265 }
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	266 }
495188f9078e Big update - Moving towards a better, more seperated parser Anders Halager <halager@gmail.com> parents: diff changeset	267

Mercurial > projects > dang

annotate parser/Action.d @ 44:495188f9078e new_gen