projects/dang: src/parser/Parser.d annotate

author	Anders Johnsen <skabet@gmail.com>
date	Tue, 12 Aug 2008 18:14:56 +0200
parents
children	e0551773a005

rev	line source
206 d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	1 module parser.Parser;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	2
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	3 import lexer.Lexer,
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	4 lexer.Token;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	5
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	6 import parser.Action;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	7
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	8 import basic.Message;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	9
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	10 import basic.SmallArray,
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	11 basic.SourceManager;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	12
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	13 import tango.io.Stdout,
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	14 Integer = tango.text.convert.Integer;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	15
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	16 class Parser
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	17 {
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	18 Action action;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	19 MessageHandler messages;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	20 alias Object Exp;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	21 alias Object Stmt;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	22 alias Object Decl;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	23 alias Object Module;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	24
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	25 this(MessageHandler messages)
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	26 {
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	27 this.messages = messages;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	28 }
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	29
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	30 Module parse(SourceManager sm, Lexer lexer, Action act)
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	31 {
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	32 this.sm = sm;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	33 this.lexer = lexer;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	34 this.action = act;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	35
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	36 Module m;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	37 if (lexer.peek.type == Tok.Module)
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	38 {
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	39 Token _module = lexer.next;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	40 ModuleName name = parseModuleName();
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	41 m = action.actOnModule(_module, sm.getText(name.asRange()));
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	42 require(Tok.Seperator);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	43 }
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	44 else
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	45 {
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	46 SLoc loc = lexer.peek.location;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	47 m = action.actOnImplicitModule(loc, sm.getFile(loc));
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	48 }
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	49
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	50 while (lexer.peek.type != Tok.EOF)
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	51 foreach (d; parseDeclDef())
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	52 action.actOnModuleDecl(m, d);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	53
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	54 return m;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	55 }
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	56
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	57 private:
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	58 Decl[] parseDeclDef()
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	59 {
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	60 Token t = lexer.peek;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	61 if (t.type == Tok.Import)
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	62 return parseImports();
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	63 else
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	64 return [parseDecl()];
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	65 }
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	66
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	67 Decl parseDecl()
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	68 {
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	69 Token t = lexer.peek;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	70
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	71 if (t.isBasicType \|\| t.isIdentifier)
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	72 {
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	73 Id type;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	74 Id iden;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	75 int len = peekParseType;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	76 if(lexer.peek(len).type == Tok.Identifier && len != 0)
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	77 {
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	78 type = parseType;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	79 parseDeclAfterInvalidType:
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	80 iden = Id(require(Tok.Identifier));
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	81 Token next = lexer.peek();
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	82 if (next.type == Tok.Seperator)
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	83 {
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	84 Token sep = lexer.next();
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	85 return action.actOnDeclarator(type, iden, null);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	86 }
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	87 else if (next.type == Tok.Assign)
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	88 {
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	89 Token assign = lexer.next();
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	90 Exp exp = parseExpression();
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	91 require(Tok.Seperator);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	92 return action.actOnDeclarator(type, iden, exp);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	93 }
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	94 else if (next.type == Tok.OpenParentheses)
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	95 return parseFunc(type, iden);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	96 else
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	97 messages.report(UnexpectedTok, next.location).arg(next.getType);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	98 }
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	99 t = lexer.peek(len);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	100 messages.report(InvalidDeclType, t.location)
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	101 .arg(sm.getText(t.asRange));
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	102 while(len--)
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	103 lexer.next;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	104 while(lexer.peek.type != Tok.Identifier)
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	105 lexer.next;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	106 type = Id(lexer.peek);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	107 goto parseDeclAfterInvalidType;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	108 }
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	109 else if (t.type == Tok.Struct)
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	110 {
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	111 Id type = Id(lexer.next);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	112 Id iden = Id(require(Tok.Identifier));
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	113
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	114 return parseStruct(type, iden);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	115 }
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	116 messages.report(UnexpectedTok, t.location)
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	117 .arg(t.getType)
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	118 .arg(Tok.Identifier)
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	119 .fatal(ExitLevel.Parser);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	120 }
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	121
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	122 /**
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	123 Parse a series of imports belonging to a single import token.
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	124 */
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	125 Decl[] parseImports()
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	126 {
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	127 Token _import = require(Tok.Import);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	128 SmallArray!(Decl) res;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	129 void addToRes(Decl d) { res ~= d; }
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	130
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	131 bool done = false;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	132 while (!done && !on_a(Tok.Seperator))
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	133 {
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	134 ModuleName mod = parseModuleName();
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	135 Token tok = lexer.peek;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	136 switch (tok.type)
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	137 {
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	138 case Tok.Comma:
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	139 // import A, B.C;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	140 // parse another module-name
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	141 lexer.next();
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	142 res ~= action.actOnImport(_import, mod, null);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	143 break;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	144 case Tok.Assign:
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	145 // import B = A.A;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	146 // ^- must be a single identifier
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	147 // renamed import
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	148 if (mod.packages.length != 0)
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	149 {
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	150 SLoc loc = mod.packages[0].tok.location;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	151 messages.report(RenameMustBeSingleIdent, loc);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	152 }
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	153 //if (isStatic)
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	154 // error("Static imports cannot be renamed");
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	155 lexer.next();
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	156 Id name = mod.id;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	157 mod = parseModuleName();
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	158 // create from mod and rename to `name`
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	159 res ~= action.actOnImport(_import, mod, &name);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	160 break;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	161 case Tok.Colon:
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	162 // import A : a;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	163 // selective imports, potentially import A : print = a
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	164 lexer.next();
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	165 Decl d = action.actOnImport(_import, mod, null);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	166 // do-while on a comma:
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	167 // add explicit symbol
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	168 do
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	169 {
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	170 Id sym = parseIdentifier();
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	171 Id dummy;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	172 Id* name = null;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	173 if (skip(Tok.Assign))
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	174 {
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	175 dummy = sym;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	176 name = &dummy;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	177 sym = parseIdentifier();
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	178 }
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	179 action.addSelectiveImport(d, sym, name);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	180
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	181 } while (skip(Tok.Comma));
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	182 require(Tok.Seperator);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	183 res ~= d;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	184 return res.safe();
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	185 case Tok.Seperator:
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	186 done = true;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	187 break;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	188 default:
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	189 goto Lerror;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	190 }
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	191 res ~= action.actOnImport(_import, mod, null);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	192 }
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	193
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	194 require(Tok.Seperator);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	195 return res.safe();
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	196 Lerror:
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	197 while (!on_a (Tok.Seperator))
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	198 lexer.next();
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	199 return res.safe();
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	200 }
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	201
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	202 /**
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	203 Parse struct
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	204 */
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	205 Decl parseStruct(Id type, Id iden)
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	206 {
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	207 auto decl = action.actOnDeclarator(type, iden, null);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	208
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	209 require(Tok.OpenBrace);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	210
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	211 while(lexer.peek.isBasicType \|\| lexer.peek.isIdentifier)
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	212 {
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	213 auto m_decl = parseDecl();
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	214 action.actOnStructMember(decl, m_decl);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	215 /* Id var_type = Id(lexer.next);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	216 Id var_iden = Id(require(Tok.Identifier));
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	217 Token next = lexer.peek();
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	218 if (next.type == Tok.Seperator)
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	219 {
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	220 Token sep = lexer.next();
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	221 action.actOnStructMember(decl, var_type, var_iden, null);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	222 continue;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	223 }
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	224 else if (next.type == Tok.Assign)
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	225 {
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	226 Token assign = lexer.next();
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	227 Exp exp = parseExpression();
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	228 require(Tok.Seperator);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	229 action.actOnStructMember(decl, var_type, var_iden, exp);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	230 continue;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	231 }
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	232 messages.report(UnexpectedTok, next.location).arg(next.getType);*/
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	233 }
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	234
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	235 require(Tok.CloseBrace);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	236
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	237 return decl;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	238 }
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	239
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	240 /**
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	241 Parse statements.
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	242
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	243 This is the place to attack!
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	244 */
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	245 Stmt parseStatement()
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	246 {
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	247 Token t = lexer.peek;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	248
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	249 switch(t.type)
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	250 {
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	251 case Tok.Return:
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	252 Token ret = lexer.next;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	253 Exp exp;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	254 if (lexer.peek.type != Tok.Seperator)
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	255 exp = parseExpression();
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	256 require(Tok.Seperator);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	257 return action.actOnReturnStmt(ret, exp);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	258
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	259 /*
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	260 if (cond)
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	261 single statement \| compound statement
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	262 [else
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	263 single statement \| compound statement]
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	264 */
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	265 case Tok.If:
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	266 Token _if = lexer.next();
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	267
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	268 require(Tok.OpenParentheses);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	269 Exp cond = parseExpression();
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	270 require(Tok.CloseParentheses);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	271
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	272 Stmt thenB = parseSingleOrCompoundStatement();
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	273
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	274 // if there is no else part we use the if as token, to have
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	275 // something than can be passed along
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	276 Token _else = _if;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	277 Stmt elseB;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	278 if (lexer.peek.type == Tok.Else)
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	279 {
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	280 _else = lexer.next;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	281 elseB = parseSingleOrCompoundStatement();
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	282 }
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	283
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	284 return action.actOnIfStmt(_if, cond, thenB, _else, elseB);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	285
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	286 /*
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	287 while (cond)
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	288 single statement \| compound statement
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	289 */
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	290 case Tok.While:
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	291 Token _while = lexer.next;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	292 require(Tok.OpenParentheses);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	293 Exp cond = parseExpression();
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	294 require(Tok.CloseParentheses);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	295 Stmt bodyStmt = parseSingleOrCompoundStatement();
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	296 return action.actOnWhileStmt(_while, cond, bodyStmt);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	297
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	298 /*
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	299 One of four things:
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	300 A declaration of a function/variable `type id ...`
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	301 A direct assignment `id = exp;`
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	302 An indirect assignment `id.id = exp`
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	303 Some sort of free standing expression
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	304
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	305 The assignments should be handled as binary expressions?
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	306 */
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	307 case Tok.Identifier:
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	308 Token iden = lexer.peek;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	309 Token n = lexer.peek(1);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	310 // Must be an decl, if we start with a basic type, or two
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	311 // identifiers in a row
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	312 if (iden.isBasicType() \|\| iden.isIdentifier())
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	313 {
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	314 if ( n.type == Tok.Star \|\| n.type == Tok.OpenBracket)
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	315 {
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	316 int len = peekParseType;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	317 if(lexer.peek(len).type == Tok.Identifier && len != 0)
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	318 return action.actOnDeclStmt(parseVarDecl());
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	319
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	320 Exp exp = parseExpression();
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	321 require(Tok.Seperator);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	322 return action.actOnExprStmt(exp);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	323 }
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	324
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	325 if (n.isIdentifier())
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	326 return action.actOnDeclStmt(parseVarDecl());
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	327
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	328 // Expression: a.b, a = b, a(b) etc.
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	329 Exp exp = parseExpression();
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	330 require(Tok.Seperator);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	331 return action.actOnExprStmt(exp);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	332 }
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	333
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	334 case Tok.Switch:
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	335 messages.report(UnexpectedTok, lexer.peek.location).arg(lexer.next.getType);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	336 return null;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	337
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	338 default:
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	339 if (t.isBasicType())
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	340 goto case Tok.Identifier;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	341 if (t.type == Tok.Star)
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	342 {
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	343 auto exp = parseExpression();
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	344 require(Tok.Seperator);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	345 return action.actOnExprStmt(exp);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	346 }
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	347 messages.report(UnexpectedBeginStmt, lexer.peek.location).arg(lexer.next.getType);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	348 return null;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	349 }
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	350 messages.report(UnexpectedTok, t.location);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	351 return null;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	352 }
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	353
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	354 Decl parseVarDecl()
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	355 {
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	356 // manually hardcoded to only support "type id [= exp];"
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	357 // as that is the only thing the codegen understands
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	358 Id type = parseType;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	359 Id id = Id(lexer.next);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	360 Exp init;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	361 if (skip(Tok.Assign))
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	362 init = parseExpression();
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	363 require(Tok.Seperator);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	364 Decl d = action.actOnDeclarator(type, id, init);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	365 return d;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	366 }
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	367
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	368 /**
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	369 Parses a function/method given the already parsed return type and name
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	370 */
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	371 Decl parseFunc(ref Id type, ref Id name)
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	372 {
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	373 Decl func = action.actOnStartOfFunctionDef(type, name);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	374 parseFuncArgs(func);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	375
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	376 if(lexer.peek.type == Tok.Seperator)
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	377 {
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	378 lexer.next;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	379 return func;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	380 }
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	381 Stmt stmt = parseCompoundStatement();
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	382
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	383 return action.actOnEndOfFunction(func, stmt);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	384 }
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	385
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	386 /**
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	387 Parse the function arguments, assumes current token is (.
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	388
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	389 Both the intitial paren and the ending paren is consumed.
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	390 */
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	391 void parseFuncArgs(Decl func)
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	392 {
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	393 require(Tok.OpenParentheses); // Remove the "(" token.
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	394
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	395 while(lexer.peek.type != Tok.CloseParentheses)
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	396 {
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	397 auto t = parseType();
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	398 Id i;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	399 if(lexer.peek.type == Tok.Identifier)
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	400 i = parseIdentifier();
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	401 action.addFuncArg(func, t, i);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	402
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	403 if(lexer.peek.type == Tok.Comma)
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	404 lexer.next;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	405 }
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	406
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	407 require(Tok.CloseParentheses); // Remove the ")"
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	408 }
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	409
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	410 /**
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	411 Parse either a block, or a single statement as allowed after if, while
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	412 and for.
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	413 */
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	414 Stmt parseSingleOrCompoundStatement()
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	415 {
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	416 if (lexer.peek.type == Tok.OpenBrace)
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	417 return parseCompoundStatement();
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	418 return parseStatement();
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	419 }
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	420
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	421 /**
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	422 Parses a function-body or similar, expects an opening brace to be the
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	423 current token.
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	424
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	425 Will consume both the starting { and ending }
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	426 */
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	427 Stmt parseCompoundStatement()
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	428 {
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	429 Token lbrace = require(Tok.OpenBrace);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	430 SmallArray!(Stmt, 32) stmts; // Try to use the stack only
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	431 while (lexer.peek.type != Tok.CloseBrace)
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	432 stmts ~= parseStatement();
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	433 Token rbrace = require(Tok.CloseBrace);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	434 return action.actOnCompoundStmt(lbrace, rbrace, stmts.unsafe());
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	435 }
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	436
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	437 Id parseIdentifier()
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	438 {
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	439 Token tok = lexer.next;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	440
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	441 if (tok.type is Tok.Identifier)
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	442 return Id(tok);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	443
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	444 messages.report(UnexpectedTokSingle, tok.location)
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	445 .arg(tok.getType)
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	446 .arg(Tok.Identifier);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	447 }
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	448
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	449 ModuleName parseModuleName()
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	450 {
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	451 auto id = parseIdentifier();
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	452 ModuleName mod;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	453 while (skip(Tok.Dot))
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	454 {
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	455 mod.packages ~= id;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	456 if (lexer.peek.type != Tok.Identifier) {
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	457 messages.report(ExpectedIdAfterPackage, lexer.peek.location);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	458 goto Lerror;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	459 }
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	460 id = parseIdentifier();
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	461 }
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	462 mod.id = id;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	463 return mod;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	464 Lerror:
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	465 while (!skip(Tok.Seperator))
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	466 lexer.next();
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	467 return mod;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	468 }
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	469
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	470
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	471 /**
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	472 Parse a type - this includes pointer and array(at some point) types.
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	473 */
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	474 Id parseType()
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	475 {
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	476 Token type = lexer.next;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	477
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	478 Id currentType;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	479
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	480 if ( !(type.isBasicType \|\| type.type == Tok.Identifier) )
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	481 messages.report(InvalidType, type.location);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	482
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	483 currentType = Id(type);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	484 type = lexer.peek;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	485
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	486 while(type.type == Tok.Star \|\| type.type == Tok.OpenBracket)
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	487 {
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	488 if(type.type == Tok.Star)
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	489 {
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	490 currentType = PointerId(currentType);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	491 lexer.next;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	492 }
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	493 else
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	494 {
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	495 lexer.next;
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	496 if(lexer.peek.type == Tok.Integer)
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	497 currentType = ArrayId(currentType, action.actOnNumericConstant(require(Tok.Integer)));
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	498 require(Tok.CloseBracket);
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	499
d3c148ca429b Major moving of files. all src now goes into src, all docs in docs. Anders Johnsen <skabet@gmail.com> parents: diff changeset	500 }

206

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

1 module parser.Parser;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

2

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

3 import lexer.Lexer,

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

4 lexer.Token;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

5

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

6 import parser.Action;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

7

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

8 import basic.Message;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

9

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

10 import basic.SmallArray,

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

11 basic.SourceManager;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

12

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

13 import tango.io.Stdout,

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

14 Integer = tango.text.convert.Integer;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

15

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

16 class Parser

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

17 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

18 Action action;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

19 MessageHandler messages;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

20 alias Object Exp;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

21 alias Object Stmt;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

22 alias Object Decl;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

23 alias Object Module;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

24

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

25 this(MessageHandler messages)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

26 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

27 this.messages = messages;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

28 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

29

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

30 Module parse(SourceManager sm, Lexer lexer, Action act)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

31 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

32 this.sm = sm;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

33 this.lexer = lexer;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

34 this.action = act;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

35

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

36 Module m;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

37 if (lexer.peek.type == Tok.Module)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

38 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

39 Token _module = lexer.next;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

40 ModuleName name = parseModuleName();

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

41 m = action.actOnModule(_module, sm.getText(name.asRange()));

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

42 require(Tok.Seperator);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

43 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

44 else

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

45 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

46 SLoc loc = lexer.peek.location;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

47 m = action.actOnImplicitModule(loc, sm.getFile(loc));

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

48 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

49

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

50 while (lexer.peek.type != Tok.EOF)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

51 foreach (d; parseDeclDef())

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

52 action.actOnModuleDecl(m, d);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

53

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

54 return m;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

55 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

56

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

57 private:

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

58 Decl[] parseDeclDef()

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

59 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

60 Token t = lexer.peek;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

61 if (t.type == Tok.Import)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

62 return parseImports();

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

63 else

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

64 return [parseDecl()];

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

65 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

66

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

67 Decl parseDecl()

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

68 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

69 Token t = lexer.peek;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

70

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

71 if (t.isBasicType || t.isIdentifier)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

72 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

73 Id type;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

74 Id iden;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

75 int len = peekParseType;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

76 if(lexer.peek(len).type == Tok.Identifier && len != 0)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

77 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

78 type = parseType;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

79 parseDeclAfterInvalidType:

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

80 iden = Id(require(Tok.Identifier));

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

81 Token next = lexer.peek();

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

82 if (next.type == Tok.Seperator)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

83 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

84 Token sep = lexer.next();

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

85 return action.actOnDeclarator(type, iden, null);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

86 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

87 else if (next.type == Tok.Assign)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

88 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

89 Token assign = lexer.next();

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

90 Exp exp = parseExpression();

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

91 require(Tok.Seperator);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

92 return action.actOnDeclarator(type, iden, exp);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

93 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

94 else if (next.type == Tok.OpenParentheses)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

95 return parseFunc(type, iden);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

96 else

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

97 messages.report(UnexpectedTok, next.location).arg(next.getType);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

98 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

99 t = lexer.peek(len);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

100 messages.report(InvalidDeclType, t.location)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

101 .arg(sm.getText(t.asRange));

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

102 while(len--)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

103 lexer.next;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

104 while(lexer.peek.type != Tok.Identifier)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

105 lexer.next;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

106 type = Id(lexer.peek);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

107 goto parseDeclAfterInvalidType;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

108 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

109 else if (t.type == Tok.Struct)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

110 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

111 Id type = Id(lexer.next);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

112 Id iden = Id(require(Tok.Identifier));

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

113

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

114 return parseStruct(type, iden);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

115 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

116 messages.report(UnexpectedTok, t.location)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

117 .arg(t.getType)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

118 .arg(Tok.Identifier)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

119 .fatal(ExitLevel.Parser);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

120 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

121

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

122 /**

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

123 Parse a series of imports belonging to a single import token.

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

124 */

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

125 Decl[] parseImports()

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

126 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

127 Token _import = require(Tok.Import);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

128 SmallArray!(Decl) res;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

129 void addToRes(Decl d) { res ~= d; }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

130

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

131 bool done = false;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

132 while (!done && !on_a(Tok.Seperator))

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

133 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

134 ModuleName mod = parseModuleName();

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

135 Token tok = lexer.peek;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

136 switch (tok.type)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

137 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

138 case Tok.Comma:

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

139 // import A, B.C;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

140 // parse another module-name

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

141 lexer.next();

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

142 res ~= action.actOnImport(_import, mod, null);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

143 break;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

144 case Tok.Assign:

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

145 // import B = A.A;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

146 // ^- must be a single identifier

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

147 // renamed import

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

148 if (mod.packages.length != 0)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

149 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

150 SLoc loc = mod.packages[0].tok.location;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

151 messages.report(RenameMustBeSingleIdent, loc);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

152 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

153 //if (isStatic)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

154 // error("Static imports cannot be renamed");

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

155 lexer.next();

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

156 Id name = mod.id;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

157 mod = parseModuleName();

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

158 // create from mod and rename to `name`

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

159 res ~= action.actOnImport(_import, mod, &name);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

160 break;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

161 case Tok.Colon:

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

162 // import A : a;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

163 // selective imports, potentially import A : print = a

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

164 lexer.next();

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

165 Decl d = action.actOnImport(_import, mod, null);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

166 // do-while on a comma:

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

167 // add explicit symbol

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

168 do

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

169 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

170 Id sym = parseIdentifier();

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

171 Id dummy;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

172 Id* name = null;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

173 if (skip(Tok.Assign))

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

174 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

175 dummy = sym;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

176 name = &dummy;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

177 sym = parseIdentifier();

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

178 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

179 action.addSelectiveImport(d, sym, name);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

180

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

181 } while (skip(Tok.Comma));

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

182 require(Tok.Seperator);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

183 res ~= d;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

184 return res.safe();

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

185 case Tok.Seperator:

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

186 done = true;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

187 break;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

188 default:

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

189 goto Lerror;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

190 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

191 res ~= action.actOnImport(_import, mod, null);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

192 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

193

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

194 require(Tok.Seperator);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

195 return res.safe();

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

196 Lerror:

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

197 while (!on_a (Tok.Seperator))

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

198 lexer.next();

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

199 return res.safe();

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

200 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

201

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

202 /**

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

203 Parse struct

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

204 */

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

205 Decl parseStruct(Id type, Id iden)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

206 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

207 auto decl = action.actOnDeclarator(type, iden, null);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

208

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

209 require(Tok.OpenBrace);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

210

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

211 while(lexer.peek.isBasicType || lexer.peek.isIdentifier)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

212 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

213 auto m_decl = parseDecl();

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

214 action.actOnStructMember(decl, m_decl);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

215 /* Id var_type = Id(lexer.next);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

216 Id var_iden = Id(require(Tok.Identifier));

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

217 Token next = lexer.peek();

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

218 if (next.type == Tok.Seperator)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

219 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

220 Token sep = lexer.next();

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

221 action.actOnStructMember(decl, var_type, var_iden, null);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

222 continue;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

223 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

224 else if (next.type == Tok.Assign)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

225 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

226 Token assign = lexer.next();

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

227 Exp exp = parseExpression();

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

228 require(Tok.Seperator);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

229 action.actOnStructMember(decl, var_type, var_iden, exp);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

230 continue;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

231 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

232 messages.report(UnexpectedTok, next.location).arg(next.getType);*/

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

233 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

234

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

235 require(Tok.CloseBrace);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

236

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

237 return decl;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

238 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

239

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

240 /**

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

241 Parse statements.

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

242

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

243 This is the place to attack!

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

244 */

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

245 Stmt parseStatement()

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

246 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

247 Token t = lexer.peek;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

248

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

249 switch(t.type)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

250 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

251 case Tok.Return:

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

252 Token ret = lexer.next;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

253 Exp exp;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

254 if (lexer.peek.type != Tok.Seperator)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

255 exp = parseExpression();

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

256 require(Tok.Seperator);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

257 return action.actOnReturnStmt(ret, exp);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

258

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

259 /*

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

260 if (cond)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

261 single statement | compound statement

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

262 [else

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

263 single statement | compound statement]

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

264 */

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

265 case Tok.If:

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

266 Token _if = lexer.next();

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

267

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

268 require(Tok.OpenParentheses);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

269 Exp cond = parseExpression();

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

270 require(Tok.CloseParentheses);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

271

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

272 Stmt thenB = parseSingleOrCompoundStatement();

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

273

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

274 // if there is no else part we use the if as token, to have

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

275 // something than can be passed along

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

276 Token _else = _if;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

277 Stmt elseB;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

278 if (lexer.peek.type == Tok.Else)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

279 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

280 _else = lexer.next;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

281 elseB = parseSingleOrCompoundStatement();

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

282 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

283

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

284 return action.actOnIfStmt(_if, cond, thenB, _else, elseB);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

285

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

286 /*

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

287 while (cond)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

288 single statement | compound statement

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

289 */

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

290 case Tok.While:

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

291 Token _while = lexer.next;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

292 require(Tok.OpenParentheses);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

293 Exp cond = parseExpression();

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

294 require(Tok.CloseParentheses);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

295 Stmt bodyStmt = parseSingleOrCompoundStatement();

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

296 return action.actOnWhileStmt(_while, cond, bodyStmt);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

297

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

298 /*

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

299 One of four things:

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

300 A declaration of a function/variable `type id ...`

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

301 A direct assignment `id = exp;`

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

302 An indirect assignment `id.id = exp`

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

303 Some sort of free standing expression

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

304

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

305 The assignments should be handled as binary expressions?

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

306 */

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

307 case Tok.Identifier:

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

308 Token iden = lexer.peek;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

309 Token n = lexer.peek(1);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

310 // Must be an decl, if we start with a basic type, or two

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

311 // identifiers in a row

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

312 if (iden.isBasicType() || iden.isIdentifier())

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

313 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

314 if ( n.type == Tok.Star || n.type == Tok.OpenBracket)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

315 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

316 int len = peekParseType;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

317 if(lexer.peek(len).type == Tok.Identifier && len != 0)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

318 return action.actOnDeclStmt(parseVarDecl());

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

319

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

320 Exp exp = parseExpression();

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

321 require(Tok.Seperator);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

322 return action.actOnExprStmt(exp);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

323 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

324

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

325 if (n.isIdentifier())

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

326 return action.actOnDeclStmt(parseVarDecl());

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

327

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

328 // Expression: a.b, a = b, a(b) etc.

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

329 Exp exp = parseExpression();

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

330 require(Tok.Seperator);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

331 return action.actOnExprStmt(exp);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

332 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

333

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

334 case Tok.Switch:

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

335 messages.report(UnexpectedTok, lexer.peek.location).arg(lexer.next.getType);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

336 return null;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

337

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

338 default:

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

339 if (t.isBasicType())

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

340 goto case Tok.Identifier;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

341 if (t.type == Tok.Star)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

342 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

343 auto exp = parseExpression();

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

344 require(Tok.Seperator);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

345 return action.actOnExprStmt(exp);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

346 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

347 messages.report(UnexpectedBeginStmt, lexer.peek.location).arg(lexer.next.getType);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

348 return null;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

349 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

350 messages.report(UnexpectedTok, t.location);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

351 return null;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

352 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

353

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

354 Decl parseVarDecl()

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

355 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

356 // manually hardcoded to only support "type id [= exp];"

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

357 // as that is the only thing the codegen understands

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

358 Id type = parseType;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

359 Id id = Id(lexer.next);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

360 Exp init;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

361 if (skip(Tok.Assign))

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

362 init = parseExpression();

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

363 require(Tok.Seperator);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

364 Decl d = action.actOnDeclarator(type, id, init);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

365 return d;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

366 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

367

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

368 /**

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

369 Parses a function/method given the already parsed return type and name

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

370 */

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

371 Decl parseFunc(ref Id type, ref Id name)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

372 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

373 Decl func = action.actOnStartOfFunctionDef(type, name);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

374 parseFuncArgs(func);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

375

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

376 if(lexer.peek.type == Tok.Seperator)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

377 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

378 lexer.next;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

379 return func;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

380 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

381 Stmt stmt = parseCompoundStatement();

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

382

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

383 return action.actOnEndOfFunction(func, stmt);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

384 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

385

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

386 /**

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

387 Parse the function arguments, assumes current token is (.

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

388

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

389 Both the intitial paren and the ending paren is consumed.

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

390 */

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

391 void parseFuncArgs(Decl func)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

392 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

393 require(Tok.OpenParentheses); // Remove the "(" token.

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

394

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

395 while(lexer.peek.type != Tok.CloseParentheses)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

396 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

397 auto t = parseType();

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

398 Id i;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

399 if(lexer.peek.type == Tok.Identifier)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

400 i = parseIdentifier();

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

401 action.addFuncArg(func, t, i);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

402

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

403 if(lexer.peek.type == Tok.Comma)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

404 lexer.next;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

405 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

406

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

407 require(Tok.CloseParentheses); // Remove the ")"

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

408 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

409

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

410 /**

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

411 Parse either a block, or a single statement as allowed after if, while

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

412 and for.

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

413 */

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

414 Stmt parseSingleOrCompoundStatement()

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

415 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

416 if (lexer.peek.type == Tok.OpenBrace)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

417 return parseCompoundStatement();

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

418 return parseStatement();

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

419 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

420

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

421 /**

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

422 Parses a function-body or similar, expects an opening brace to be the

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

423 current token.

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

424

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

425 Will consume both the starting { and ending }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

426 */

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

427 Stmt parseCompoundStatement()

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

428 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

429 Token lbrace = require(Tok.OpenBrace);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

430 SmallArray!(Stmt, 32) stmts; // Try to use the stack only

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

431 while (lexer.peek.type != Tok.CloseBrace)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

432 stmts ~= parseStatement();

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

433 Token rbrace = require(Tok.CloseBrace);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

434 return action.actOnCompoundStmt(lbrace, rbrace, stmts.unsafe());

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

435 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

436

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

437 Id parseIdentifier()

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

438 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

439 Token tok = lexer.next;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

440

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

441 if (tok.type is Tok.Identifier)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

442 return Id(tok);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

443

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

444 messages.report(UnexpectedTokSingle, tok.location)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

445 .arg(tok.getType)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

446 .arg(Tok.Identifier);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

447 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

448

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

449 ModuleName parseModuleName()

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

450 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

451 auto id = parseIdentifier();

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

452 ModuleName mod;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

453 while (skip(Tok.Dot))

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

454 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

455 mod.packages ~= id;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

456 if (lexer.peek.type != Tok.Identifier) {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

457 messages.report(ExpectedIdAfterPackage, lexer.peek.location);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

458 goto Lerror;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

459 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

460 id = parseIdentifier();

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

461 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

462 mod.id = id;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

463 return mod;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

464 Lerror:

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

465 while (!skip(Tok.Seperator))

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

466 lexer.next();

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

467 return mod;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

468 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

469

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

470

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

471 /**

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

472 Parse a type - this includes pointer and array(at some point) types.

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

473 */

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

474 Id parseType()

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

475 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

476 Token type = lexer.next;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

477

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

478 Id currentType;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

479

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

480 if ( !(type.isBasicType || type.type == Tok.Identifier) )

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

481 messages.report(InvalidType, type.location);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

482

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

483 currentType = Id(type);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

484 type = lexer.peek;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

485

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

486 while(type.type == Tok.Star || type.type == Tok.OpenBracket)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

487 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

488 if(type.type == Tok.Star)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

489 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

490 currentType = PointerId(currentType);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

491 lexer.next;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

492 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

493 else

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

494 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

495 lexer.next;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

496 if(lexer.peek.type == Tok.Integer)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

497 currentType = ArrayId(currentType, action.actOnNumericConstant(require(Tok.Integer)));

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

498 require(Tok.CloseBracket);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

499

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

500 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

501 type = lexer.peek;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

502 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

503

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

504 return currentType;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

505 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

506

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

507 int peekParseType()

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

508 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

509 int i;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

510 Token type = lexer.peek(i);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

511

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

512 Id currentType;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

513

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

514 if ( !(type.isBasicType || type.type == Tok.Identifier) )

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

515 return 0;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

516

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

517 currentType = Id(type);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

518 type = lexer.peek(++i);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

519

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

520 while(type.type == Tok.Star || type.type == Tok.OpenBracket)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

521 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

522 if(type.type == Tok.Star)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

523 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

524 i++;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

525 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

526 else

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

527 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

528 if(lexer.peek(i++).type != Tok.OpenBracket)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

529 return 0;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

530 if(lexer.peek(i).type == Tok.Integer)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

531 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

532 i++;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

533 if(lexer.peek(i++).type != Tok.CloseBracket)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

534 return 0;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

535 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

536 else

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

537 if(lexer.peek(i++).type != Tok.CloseBracket)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

538 return 0;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

539

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

540 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

541 type = lexer.peek(i);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

542 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

543

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

544 return i;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

545 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

546

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

547 private:

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

548 // -- Expression parsing -- //

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

549 Exp parsePostfixExp(Exp target)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

550 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

551 switch(lexer.peek.type)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

552 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

553 case Tok.Dot:

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

554 switch(lexer.peek(1).type)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

555 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

556 case Tok.Identifier:

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

557 Token op = lexer.next;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

558 Id member = Id(lexer.next);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

559 Exp exp = action.actOnMemberReference(target, op.location, member);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

560 return parsePostfixExp(exp);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

561 default:

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

562 Token t = lexer.peek(1);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

563 messages.report(ExpectedIdAfterDot, t.location);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

564 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

565 case Tok.OpenBracket:

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

566 Token open = lexer.next;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

567 Exp index = parseExpression();

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

568 Token close = require(Tok.CloseBracket);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

569 return action.actOnIndexEpr(target, open, index, close);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

570 default:

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

571 return target;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

572 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

573 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

574

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

575 Exp parseExpression(int p = 0)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

576 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

577 auto exp = P();

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

578 Token next = lexer.peek();

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

579 BinOp* op = null;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

580 while ((op = binary(next.type)) != null && op.prec >= p)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

581 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

582 lexer.next();

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

583 int q = op.leftAssoc? 1 + op.prec : op.prec;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

584 auto exp2 = parseExpression(q);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

585 exp = action.actOnBinaryOp(next.location, op.operator, exp, exp2);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

586 next = lexer.peek();

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

587 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

588

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

589 return exp;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

590 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

591

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

592 Exp P()

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

593 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

594 Token next = lexer.next();

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

595 if (auto op = unary(next.type))

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

596 return action.actOnUnaryOp(next, parseExpression(op.prec));

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

597 else if (next.type == Tok.OpenParentheses)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

598 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

599 auto e = parseExpression(0);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

600 require(Tok.CloseParentheses);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

601 return e;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

602 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

603 else if (next.type == Tok.Identifier)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

604 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

605 Exp value = action.actOnIdentifierExp(Id(next));

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

606 Exp iden = parsePostfixExp(value);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

607 switch(lexer.peek.type)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

608 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

609 case Tok.OpenParentheses:

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

610 Token lp = lexer.next;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

611 SmallArray!(Exp, 8) args;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

612 while(lexer.peek.type != Tok.CloseParentheses)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

613 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

614 if(lexer.peek.type == Tok.Comma)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

615 lexer.next;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

616 args ~= parseExpression();

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

617 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

618

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

619 Token rp = lexer.next();

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

620 return action.actOnCallExpr(iden, lp, args.unsafe(), rp);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

621

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

622 default:

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

623 return iden;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

624 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

625 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

626 else if (next.type == Tok.Cast)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

627 return parseCast(next);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

628 else if (next.type == Tok.Integer)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

629 return action.actOnNumericConstant(next);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

630 else if (next.type == Tok.String)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

631 return action.actOnStringExp(next);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

632

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

633 messages.report(ExpectedExp, next.location)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

634 .fatal(ExitLevel.Parser);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

635 return null;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

636 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

637

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

638 Exp parseCast(ref Token _cast)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

639 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

640 require(Tok.OpenParentheses);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

641 auto next = lexer.next;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

642 if(!next.isBasicType && !next.isIdentifier)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

643 messages.report(ExpectedCastType, next.location);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

644

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

645 require(Tok.CloseParentheses);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

646 auto exp = P();

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

647 return action.actOnCastExpr(_cast, Id(next), exp);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

648 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

649

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

650 struct UnOp

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

651 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

652 Tok tokenType;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

653 int prec;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

654 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

655

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

656 static const UnOp[] _unary =

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

657 [

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

658 {Tok.Minus, 4},

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

659 {Tok.Star, 4}

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

660 ];

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

661 UnOp* unary(Tok t)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

662 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

663 foreach (ref op; _unary)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

664 if (op.tokenType == t)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

665 return &op;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

666 return null;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

667 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

668

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

669 struct BinOp

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

670 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

671 Tok tokenType;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

672 int prec;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

673 bool leftAssoc;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

674 Operator operator;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

675 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

676

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

677 static const BinOp[] _binary =

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

678 [

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

679 {Tok.Assign, 1, false, Operator.Assign},

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

680

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

681 {Tok.Eq, 2, true, Operator.Eq},

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

682 {Tok.Ne, 2, true, Operator.Ne},

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

683

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

684 {Tok.Lt, 2, true, Operator.Lt},

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

685 {Tok.Le, 2, true, Operator.Le},

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

686 {Tok.Gt, 2, true, Operator.Gt},

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

687 {Tok.Ge, 2, true, Operator.Ge},

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

688

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

689 {Tok.Plus, 3, true, Operator.Add},

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

690 {Tok.Minus, 3, true, Operator.Sub},

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

691

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

692 {Tok.Star, 5, true, Operator.Mul},

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

693 {Tok.Slash, 5, true, Operator.Div},

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

694 {Tok.Percent, 5, true, Operator.Mod}

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

695 ];

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

696 BinOp* binary(Tok t)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

697 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

698 foreach (ref op; _binary)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

699 if (op.tokenType == t)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

700 return &op;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

701 return null;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

702 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

703

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

704 private:

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

705

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

706 Token require(Tok t)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

707 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

708 if (lexer.peek().type != t)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

709 messages.report(UnexpectedTokSingle, lexer.peek.location)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

710 .arg(lexer.peek.getType)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

711 .arg(t);

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

712 return lexer.next();

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

713 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

714

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

715 bool skip(Tok t)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

716 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

717 if (lexer.peek().type != t)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

718 return false;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

719 lexer.next();

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

720 return true;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

721 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

722

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

723 bool on_a(Tok t)

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

724 {

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

725 return lexer.peek.type == t;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

726 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

727

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

728 Lexer lexer;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

729 SourceManager sm;

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

730 }

d3c148ca429b Major moving of files. all src now goes into src, all docs in docs.

Anders Johnsen <skabet@gmail.com>

parents:

diff changeset

731

Mercurial > projects > dang

annotate src/parser/Parser.d @ 206:d3c148ca429b