projects/dil: trunk/src/dil/semantic/Pass1.d annotate

annotate trunk/src/dil/semantic/Pass1.d @ 692:d33895f679eb

Tidied up the class Scope a bit.

author	Aziz K?ksal <aziz.koeksal@gmail.com>
date	Tue, 22 Jan 2008 18:32:39 +0100
parents	eaf6444b6284
children	c67d2c3c0b3d

rev	line source
635 b2fc028d8b55 Added class Visitor. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	1 /++
b2fc028d8b55 Added class Visitor. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	2 Author: Aziz Köksal
b2fc028d8b55 Added class Visitor. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	3 License: GPL3
b2fc028d8b55 Added class Visitor. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	4 +/
b2fc028d8b55 Added class Visitor. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	5 module dil.semantic.Pass1;
b2fc028d8b55 Added class Visitor. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	6
b2fc028d8b55 Added class Visitor. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	7 import dil.ast.Visitor;
b2fc028d8b55 Added class Visitor. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	8 import dil.ast.Node,
b2fc028d8b55 Added class Visitor. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	9 dil.ast.Declarations,
b2fc028d8b55 Added class Visitor. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	10 dil.ast.Expressions,
b2fc028d8b55 Added class Visitor. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	11 dil.ast.Statements,
b2fc028d8b55 Added class Visitor. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	12 dil.ast.Types,
b2fc028d8b55 Added class Visitor. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	13 dil.ast.Parameters;
690 eaf6444b6284 Adding pragma(msg,...) declarations to deferred list. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 686 diff changeset	14 import dil.lexer.IdTable;
635 b2fc028d8b55 Added class Visitor. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	15 import dil.semantic.Symbol,
b2fc028d8b55 Added class Visitor. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	16 dil.semantic.Symbols,
645 89ee7802c978 Moved semantic() methods of expressions to class SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 644 diff changeset	17 dil.semantic.Types,
644 a0643a4d4501 Added some methods to SemanticPass1 class. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 641 diff changeset	18 dil.semantic.Scope,
648 4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	19 dil.semantic.Module,
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	20 dil.semantic.Analysis;
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	21 import dil.Location;
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	22 import dil.Information;
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	23 import dil.Messages;
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	24 import dil.Enums;
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	25 import dil.CompilerInfo;
648 4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	26 import common;
635 b2fc028d8b55 Added class Visitor. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	27
686 e8c09d13f2a5 Added class Deferred to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 683 diff changeset	28 /++
e8c09d13f2a5 Added class Deferred to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 683 diff changeset	29 The fist pass is the declaration pass.
e8c09d13f2a5 Added class Deferred to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 683 diff changeset	30 The basic task of this class is to traverse the parse tree,
e8c09d13f2a5 Added class Deferred to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 683 diff changeset	31 find all kinds of declarations and add them
e8c09d13f2a5 Added class Deferred to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 683 diff changeset	32 to the symbol tables of their respective scopes.
e8c09d13f2a5 Added class Deferred to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 683 diff changeset	33 +/
635 b2fc028d8b55 Added class Visitor. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	34 class SemanticPass1 : Visitor
b2fc028d8b55 Added class Visitor. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	35 {
649 3ebe76ad680e Using SemanticPass1 in main.d do start semantic analysis. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 648 diff changeset	36 Scope scop; /// The current scope.
3ebe76ad680e Using SemanticPass1 in main.d do start semantic analysis. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 648 diff changeset	37 Module modul; /// The module to be semantically checked.
644 a0643a4d4501 Added some methods to SemanticPass1 class. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 641 diff changeset	38
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	39 // Attributes:
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	40 LinkageType linkageType;
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	41 Protection protection;
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	42 StorageClass storageClass;
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	43 uint alignSize = DEFAULT_ALIGN_SIZE;
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	44
686 e8c09d13f2a5 Added class Deferred to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 683 diff changeset	45 /++
e8c09d13f2a5 Added class Deferred to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 683 diff changeset	46 Construct a SemanticPass1 object.
e8c09d13f2a5 Added class Deferred to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 683 diff changeset	47 Params:
e8c09d13f2a5 Added class Deferred to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 683 diff changeset	48 modul = the module to be processed.
e8c09d13f2a5 Added class Deferred to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 683 diff changeset	49 +/
644 a0643a4d4501 Added some methods to SemanticPass1 class. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 641 diff changeset	50 this(Module modul)
a0643a4d4501 Added some methods to SemanticPass1 class. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 641 diff changeset	51 {
a0643a4d4501 Added some methods to SemanticPass1 class. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 641 diff changeset	52 this.modul = modul;
a0643a4d4501 Added some methods to SemanticPass1 class. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 641 diff changeset	53 }
a0643a4d4501 Added some methods to SemanticPass1 class. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 641 diff changeset	54
a0643a4d4501 Added some methods to SemanticPass1 class. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 641 diff changeset	55 /// Start semantic analysis.
a0643a4d4501 Added some methods to SemanticPass1 class. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 641 diff changeset	56 void start()
a0643a4d4501 Added some methods to SemanticPass1 class. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 641 diff changeset	57 {
a0643a4d4501 Added some methods to SemanticPass1 class. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 641 diff changeset	58 assert(modul.root !is null);
649 3ebe76ad680e Using SemanticPass1 in main.d do start semantic analysis. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 648 diff changeset	59 // Create module scope.
692 d33895f679eb Tidied up the class Scope a bit. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 690 diff changeset	60 scop = new Scope(null, modul);
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	61 visit(modul.root);
644 a0643a4d4501 Added some methods to SemanticPass1 class. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 641 diff changeset	62 }
635 b2fc028d8b55 Added class Visitor. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	63
636 15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	64 void enterScope(ScopeSymbol s)
635 b2fc028d8b55 Added class Visitor. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	65 {
636 15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	66 scop = scop.enter(s);
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	67 }
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	68
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	69 void exitScope()
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	70 {
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	71 scop = scop.exit();
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	72 }
635 b2fc028d8b55 Added class Visitor. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	73
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	74 /// Insert a symbol into the current scope.
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	75 void insert(Symbol sym, Identifier* ident)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	76 {
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	77 auto sym2 = scop.symbol.lookup(ident);
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	78 if (sym2)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	79 reportSymbolConflict(sym, sym2, ident);
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	80 else
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	81 scop.symbol.insert(sym, ident);
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	82 // Set the current scope symbol as the parent.
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	83 sym.parent = scop.symbol;
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	84 }
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	85
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	86 /// Insert a symbol, overloading on the name, into the current scope.
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	87 void insertOverload(Symbol sym, Identifier* ident)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	88 {
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	89 auto sym2 = scop.symbol.lookup(ident);
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	90 if (sym2)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	91 {
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	92 if (sym2.isOverloadSet)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	93 (cast(OverloadSet)cast(void*)sym2).add(sym);
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	94 else
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	95 reportSymbolConflict(sym, sym2, ident);
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	96 }
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	97 else
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	98 // Create a new overload set.
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	99 scop.symbol.insert(new OverloadSet(ident, sym.node), ident);
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	100 // Set the current scope symbol as the parent.
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	101 sym.parent = scop.symbol;
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	102 }
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	103
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	104 /// Report error: new symbol s1 conflicts with existing symbol s2.
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	105 void reportSymbolConflict(Symbol s1, Symbol s2, Identifier* ident)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	106 {
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	107 auto loc = s2.node.begin.getErrorLocation();
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	108 auto locString = Format("{}({},{})", loc.filePath, loc.lineNum, loc.colNum);
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	109 error(s1.node.begin, MSG.DeclConflictsWithDecl, ident.str, locString);
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	110 }
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	111
648 4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	112 void error(Token* token, char[] formatMsg, ...)
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	113 {
686 e8c09d13f2a5 Added class Deferred to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 683 diff changeset	114 if (!modul.infoMan)
e8c09d13f2a5 Added class Deferred to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 683 diff changeset	115 return;
675 e7811328e6c7 Made Token.getLocation() a template function and added two aliases. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 673 diff changeset	116 auto location = token.getErrorLocation();
648 4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	117 auto msg = Format(_arguments, _argptr, formatMsg);
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	118 modul.infoMan ~= new SemanticError(location, msg);
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	119 }
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	120
686 e8c09d13f2a5 Added class Deferred to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 683 diff changeset	121
e8c09d13f2a5 Added class Deferred to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 683 diff changeset	122 static class Deferred
e8c09d13f2a5 Added class Deferred to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 683 diff changeset	123 {
e8c09d13f2a5 Added class Deferred to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 683 diff changeset	124 Node node;
e8c09d13f2a5 Added class Deferred to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 683 diff changeset	125 ScopeSymbol symbol;
e8c09d13f2a5 Added class Deferred to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 683 diff changeset	126 // Saved attributes.
e8c09d13f2a5 Added class Deferred to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 683 diff changeset	127 LinkageType linkageType;
e8c09d13f2a5 Added class Deferred to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 683 diff changeset	128 Protection protection;
e8c09d13f2a5 Added class Deferred to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 683 diff changeset	129 StorageClass storageClass;
e8c09d13f2a5 Added class Deferred to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 683 diff changeset	130 uint alignSize;
e8c09d13f2a5 Added class Deferred to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 683 diff changeset	131 }
e8c09d13f2a5 Added class Deferred to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 683 diff changeset	132
690 eaf6444b6284 Adding pragma(msg,...) declarations to deferred list. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 686 diff changeset	133 // List of mixin, static if and pragma(msg,...) declarations.
686 e8c09d13f2a5 Added class Deferred to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 683 diff changeset	134 // Their analysis must be deferred because they entail
e8c09d13f2a5 Added class Deferred to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 683 diff changeset	135 // evaluation of expressions.
e8c09d13f2a5 Added class Deferred to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 683 diff changeset	136 Deferred[] deferred;
e8c09d13f2a5 Added class Deferred to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 683 diff changeset	137
690 eaf6444b6284 Adding pragma(msg,...) declarations to deferred list. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 686 diff changeset	138 void addDeferred(Node node)
686 e8c09d13f2a5 Added class Deferred to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 683 diff changeset	139 {
e8c09d13f2a5 Added class Deferred to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 683 diff changeset	140 auto d = new Deferred;
e8c09d13f2a5 Added class Deferred to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 683 diff changeset	141 d.node = node;
690 eaf6444b6284 Adding pragma(msg,...) declarations to deferred list. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 686 diff changeset	142 d.symbol = scop.symbol;
686 e8c09d13f2a5 Added class Deferred to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 683 diff changeset	143 d.linkageType = linkageType;
e8c09d13f2a5 Added class Deferred to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 683 diff changeset	144 d.protection = protection;
e8c09d13f2a5 Added class Deferred to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 683 diff changeset	145 d.storageClass = storageClass;
e8c09d13f2a5 Added class Deferred to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 683 diff changeset	146 d.alignSize = alignSize;
e8c09d13f2a5 Added class Deferred to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 683 diff changeset	147 deferred ~= d;
e8c09d13f2a5 Added class Deferred to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 683 diff changeset	148 }
e8c09d13f2a5 Added class Deferred to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 683 diff changeset	149
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	150 private alias Declaration D;
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	151
635 b2fc028d8b55 Added class Visitor. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	152 override
b2fc028d8b55 Added class Visitor. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	153 {
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	154 D visit(CompoundDeclaration d)
636 15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	155 {
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	156 foreach (node; d.children)
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	157 {
670 d8c32113afde Added command 'translate'. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 667 diff changeset	158 assert(node.category == NodeCategory.Declaration, Format("{}", node));
686 e8c09d13f2a5 Added class Deferred to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 683 diff changeset	159 visitN(node);
636 15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	160 }
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	161 return d;
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	162 }
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	163
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	164 D visit(IllegalDeclaration)
636 15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	165 { assert(0, "semantic pass on invalid AST"); return null; }
648 4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	166
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	167 D visit(EmptyDeclaration ed)
648 4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	168 { return ed; }
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	169
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	170 D visit(ModuleDeclaration)
636 15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	171 { return null; }
686 e8c09d13f2a5 Added class Deferred to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 683 diff changeset	172
e8c09d13f2a5 Added class Deferred to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 683 diff changeset	173 D visit(ImportDeclaration d)
e8c09d13f2a5 Added class Deferred to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 683 diff changeset	174 {
e8c09d13f2a5 Added class Deferred to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 683 diff changeset	175 return d;
e8c09d13f2a5 Added class Deferred to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 683 diff changeset	176 }
648 4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	177
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	178 D visit(AliasDeclaration ad)
649 3ebe76ad680e Using SemanticPass1 in main.d do start semantic analysis. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 648 diff changeset	179 {
3ebe76ad680e Using SemanticPass1 in main.d do start semantic analysis. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 648 diff changeset	180 return ad;
3ebe76ad680e Using SemanticPass1 in main.d do start semantic analysis. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 648 diff changeset	181 }
648 4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	182
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	183 D visit(TypedefDeclaration td)
648 4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	184 {
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	185 return td;
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	186 }
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	187
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	188 D visit(EnumDeclaration d)
648 4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	189 {
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	190 // Create the symbol.
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	191 d.symbol = new Enum(d.name, d);
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	192 if (d.name)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	193 { // Declare named enum.
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	194 insert(d.symbol, d.name);
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	195 enterScope(d.symbol);
648 4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	196 }
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	197 // Declare members.
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	198 foreach (member; d.members)
648 4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	199 {
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	200 auto variable = new Variable(member.name, protection, storageClass, linkageType, member);
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	201 insert(variable, variable.name);
648 4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	202 }
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	203 if (d.name)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	204 exitScope();
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	205 return d;
648 4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	206 }
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	207
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	208 D visit(EnumMemberDeclaration)
636 15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	209 { return null; }
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	210
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	211 D visit(ClassDeclaration d)
635 b2fc028d8b55 Added class Visitor. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	212 {
636 15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	213 if (d.symbol)
641 3569c2fc6124 Fixed some return statements. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 636 diff changeset	214 return d;
636 15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	215 d.symbol = new Class(d.name, d);
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	216 // Insert into current scope.
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	217 if (d.tparams)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	218 insertOverload(d.symbol, d.name);
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	219 else
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	220 insert(d.symbol, d.name);
636 15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	221 enterScope(d.symbol);
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	222 // Continue semantic analysis.
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	223 d.decls && visitD(d.decls);
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	224 exitScope();
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	225 return d;
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	226 }
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	227
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	228 D visit(InterfaceDeclaration d)
636 15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	229 {
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	230 if (d.symbol)
641 3569c2fc6124 Fixed some return statements. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 636 diff changeset	231 return d;
636 15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	232 d.symbol = new dil.semantic.Symbols.Interface(d.name, d);
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	233 // Insert into current scope.
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	234 if (d.tparams)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	235 insertOverload(d.symbol, d.name);
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	236 else
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	237 insert(d.symbol, d.name);
636 15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	238 enterScope(d.symbol);
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	239 // Continue semantic analysis.
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	240 d.decls && visitD(d.decls);
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	241 exitScope();
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	242 return d;
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	243 }
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	244
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	245 D visit(StructDeclaration d)
636 15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	246 {
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	247 if (d.symbol)
641 3569c2fc6124 Fixed some return statements. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 636 diff changeset	248 return d;
636 15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	249 d.symbol = new Struct(d.name, d);
635 b2fc028d8b55 Added class Visitor. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	250 // Insert into current scope.
667 1ac758cd952a Fixed a few things in DefaultVisitor.d and Pass1.d Aziz K?ksal <aziz.koeksal@gmail.com> parents: 655 diff changeset	251 if (d.name)
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	252 {
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	253 if (d.tparams)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	254 insertOverload(d.symbol, d.name);
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	255 else
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	256 insert(d.symbol, d.name);
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	257 }
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	258 enterScope(d.symbol);
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	259 // Continue semantic analysis.
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	260 d.decls && visitD(d.decls);
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	261 exitScope();
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	262 return d;
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	263 }
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	264
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	265 D visit(UnionDeclaration d)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	266 {
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	267 if (d.symbol)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	268 return d;
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	269 d.symbol = new Union(d.name, d);
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	270 // Insert into current scope.
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	271 if (d.name)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	272 {
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	273 if (d.tparams)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	274 insertOverload(d.symbol, d.name);
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	275 else
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	276 insert(d.symbol, d.name);
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	277 }
636 15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	278 enterScope(d.symbol);
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	279 // Continue semantic analysis.
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	280 d.decls && visitD(d.decls);
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	281 exitScope();
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	282 return d;
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	283 }
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	284
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	285 D visit(ConstructorDeclaration)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	286 { return null; }
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	287 D visit(StaticConstructorDeclaration)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	288 { return null; }
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	289 D visit(DestructorDeclaration)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	290 { return null; }
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	291 D visit(StaticDestructorDeclaration)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	292 { return null; }
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	293 D visit(FunctionDeclaration)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	294 { return null; }
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	295
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	296 D visit(VariablesDeclaration vd)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	297 {
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	298 // Error if we are in an interface.
692 d33895f679eb Tidied up the class Scope a bit. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 690 diff changeset	299 if (scop.symbol.isInterface)
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	300 return error(vd.begin, MSG.InterfaceCantHaveVariables), vd;
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	301
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	302 // Insert variable symbols in this declaration into the symbol table.
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	303 foreach (name; vd.names)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	304 {
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	305 auto variable = new Variable(name, protection, storageClass, linkageType, vd);
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	306 vd.variables ~= variable;
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	307 insert(variable, name);
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	308 }
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	309 return vd;
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	310 }
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	311
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	312 D visit(InvariantDeclaration)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	313 { return null; }
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	314 D visit(UnittestDeclaration)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	315 { return null; }
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	316 D visit(DebugDeclaration)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	317 { return null; }
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	318 D visit(VersionDeclaration)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	319 { return null; }
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	320
686 e8c09d13f2a5 Added class Deferred to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 683 diff changeset	321 D visit(StaticAssertDeclaration)
e8c09d13f2a5 Added class Deferred to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 683 diff changeset	322 { return null; }
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	323
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	324 D visit(TemplateDeclaration d)
636 15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	325 {
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	326 if (d.symbol)
641 3569c2fc6124 Fixed some return statements. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 636 diff changeset	327 return d;
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	328 d.symbol = new Template(d.name, d);
636 15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	329 // Insert into current scope.
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	330 insertOverload(d.symbol, d.name);
636 15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	331 enterScope(d.symbol);
635 b2fc028d8b55 Added class Visitor. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	332 // Continue semantic analysis.
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	333 visitD(d.decls);
636 15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	334 exitScope();
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	335 return d;
635 b2fc028d8b55 Added class Visitor. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	336 }
b2fc028d8b55 Added class Visitor. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	337
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	338 D visit(NewDeclaration)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	339 { /add id to env/return null; }
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	340 D visit(DeleteDeclaration)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	341 { /add id to env/return null; }
648 4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	342
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	343 D visit(ProtectionDeclaration d)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	344 {
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	345 auto saved = protection; // Save.
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	346 protection = d.prot; // Set.
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	347 visitD(d.decls);
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	348 protection = saved; // Restore.
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	349 return d;
648 4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	350 }
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	351
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	352 D visit(StorageClassDeclaration d)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	353 {
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	354 auto saved = storageClass; // Save.
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	355 storageClass = d.storageClass; // Set.
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	356 visitD(d.decls);
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	357 storageClass = saved; // Restore.
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	358 return d;
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	359 }
649 3ebe76ad680e Using SemanticPass1 in main.d do start semantic analysis. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 648 diff changeset	360
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	361 D visit(LinkageDeclaration d)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	362 {
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	363 auto saved = linkageType; // Save.
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	364 linkageType = d.linkageType; // Set.
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	365 visitD(d.decls);
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	366 linkageType = saved; // Restore.
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	367 return d;
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	368 }
648 4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	369
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	370 D visit(AlignDeclaration d)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	371 {
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	372 auto saved = alignSize; // Save.
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	373 alignSize = d.size; // Set.
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	374 visitD(d.decls);
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	375 alignSize = saved; // Restore.
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	376 return d;
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	377 }
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	378
690 eaf6444b6284 Adding pragma(msg,...) declarations to deferred list. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 686 diff changeset	379 D visit(StaticIfDeclaration d)
648 4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	380 {
690 eaf6444b6284 Adding pragma(msg,...) declarations to deferred list. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 686 diff changeset	381 addDeferred(d);
eaf6444b6284 Adding pragma(msg,...) declarations to deferred list. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 686 diff changeset	382 return d;
eaf6444b6284 Adding pragma(msg,...) declarations to deferred list. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 686 diff changeset	383 }
eaf6444b6284 Adding pragma(msg,...) declarations to deferred list. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 686 diff changeset	384
eaf6444b6284 Adding pragma(msg,...) declarations to deferred list. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 686 diff changeset	385 D visit(MixinDeclaration d)
eaf6444b6284 Adding pragma(msg,...) declarations to deferred list. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 686 diff changeset	386 {
eaf6444b6284 Adding pragma(msg,...) declarations to deferred list. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 686 diff changeset	387 addDeferred(d);
648 4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	388 return d;
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	389 }
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	390
690 eaf6444b6284 Adding pragma(msg,...) declarations to deferred list. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 686 diff changeset	391 D visit(PragmaDeclaration d)
648 4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	392 {
690 eaf6444b6284 Adding pragma(msg,...) declarations to deferred list. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 686 diff changeset	393 if (d.ident is Ident.msg)
eaf6444b6284 Adding pragma(msg,...) declarations to deferred list. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 686 diff changeset	394 addDeferred(d);
eaf6444b6284 Adding pragma(msg,...) declarations to deferred list. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 686 diff changeset	395 else
eaf6444b6284 Adding pragma(msg,...) declarations to deferred list. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 686 diff changeset	396 {
eaf6444b6284 Adding pragma(msg,...) declarations to deferred list. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 686 diff changeset	397 pragmaSemantic(scop, d.begin, d.ident, d.args);
eaf6444b6284 Adding pragma(msg,...) declarations to deferred list. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 686 diff changeset	398 visitD(d.decls);
eaf6444b6284 Adding pragma(msg,...) declarations to deferred list. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 686 diff changeset	399 }
eaf6444b6284 Adding pragma(msg,...) declarations to deferred list. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 686 diff changeset	400 return d;
648 4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	401 }
635 b2fc028d8b55 Added class Visitor. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	402 } // override
b2fc028d8b55 Added class Visitor. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	403 }

Mercurial > projects > dil

annotate trunk/src/dil/semantic/Pass1.d @ 692:d33895f679eb