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

annotate trunk/src/dil/semantic/Pass1.d @ 683:1ae72234db26

Implemented some methods in SemanticPass1. Renamed Symbol.ident to name. Added a constructor to Symbol. Adapted constructors of classes that inherit from Symbol. Added Alias and OverloadSet Symbol classes. Renamed idents and values to names and inits in VariablesDeclaration.

author	Aziz K?ksal <aziz.koeksal@gmail.com>
date	Mon, 21 Jan 2008 17:10:12 +0100
parents	6b3e397229c5
children	e8c09d13f2a5

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;
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	14 import dil.lexer.Identifier;
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
b2fc028d8b55 Added class Visitor. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	28 class SemanticPass1 : Visitor
b2fc028d8b55 Added class Visitor. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	29 {
649 3ebe76ad680e Using SemanticPass1 in main.d do start semantic analysis. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 648 diff changeset	30 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	31 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	32
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	33 // Attributes:
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	34 LinkageType linkageType;
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	35 Protection protection;
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	36 StorageClass storageClass;
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	37 uint alignSize = DEFAULT_ALIGN_SIZE;
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	38
644 a0643a4d4501 Added some methods to SemanticPass1 class. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 641 diff changeset	39 this(Module modul)
a0643a4d4501 Added some methods to SemanticPass1 class. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 641 diff changeset	40 {
a0643a4d4501 Added some methods to SemanticPass1 class. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 641 diff changeset	41 this.modul = modul;
a0643a4d4501 Added some methods to SemanticPass1 class. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 641 diff changeset	42 }
a0643a4d4501 Added some methods to SemanticPass1 class. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 641 diff changeset	43
a0643a4d4501 Added some methods to SemanticPass1 class. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 641 diff changeset	44 /// Start semantic analysis.
a0643a4d4501 Added some methods to SemanticPass1 class. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 641 diff changeset	45 void start()
a0643a4d4501 Added some methods to SemanticPass1 class. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 641 diff changeset	46 {
a0643a4d4501 Added some methods to SemanticPass1 class. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 641 diff changeset	47 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	48 // Create module scope.
3ebe76ad680e Using SemanticPass1 in main.d do start semantic analysis. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 648 diff changeset	49 scop = new Scope();
3ebe76ad680e Using SemanticPass1 in main.d do start semantic analysis. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 648 diff changeset	50 scop.symbol = modul; // Set this module as the scope's symbol.
3ebe76ad680e Using SemanticPass1 in main.d do start semantic analysis. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 648 diff changeset	51 scop.infoMan = modul.infoMan;
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	52 visit(modul.root);
644 a0643a4d4501 Added some methods to SemanticPass1 class. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 641 diff changeset	53 }
635 b2fc028d8b55 Added class Visitor. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	54
636 15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	55 void enterScope(ScopeSymbol s)
635 b2fc028d8b55 Added class Visitor. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	56 {
636 15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	57 scop = scop.enter(s);
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	58 }
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	59
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	60 void exitScope()
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	61 {
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	62 scop = scop.exit();
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	63 }
635 b2fc028d8b55 Added class Visitor. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	64
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	65 /// Insert a symbol into the current scope.
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	66 void insert(Symbol sym, Identifier* ident)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	67 {
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	68 auto sym2 = scop.symbol.lookup(ident);
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	69 if (sym2)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	70 reportSymbolConflict(sym, sym2, ident);
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	71 else
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	72 scop.symbol.insert(sym, ident);
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	73 // 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	74 sym.parent = scop.symbol;
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	75 }
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 /// 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	78 void insertOverload(Symbol sym, Identifier* ident)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	79 {
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	80 auto sym2 = scop.symbol.lookup(ident);
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	81 if (sym2)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	82 {
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	83 if (sym2.isOverloadSet)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	84 (cast(OverloadSet)cast(void*)sym2).add(sym);
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	85 else
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	86 reportSymbolConflict(sym, sym2, ident);
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	87 }
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	88 else
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	89 // Create a new overload set.
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	90 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	91 // 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	92 sym.parent = scop.symbol;
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	93 }
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	94
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	95 /// 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	96 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	97 {
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	98 auto loc = s2.node.begin.getErrorLocation();
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	99 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	100 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	101 }
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	102
648 4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	103 void error(Token* token, char[] formatMsg, ...)
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	104 {
675 e7811328e6c7 Made Token.getLocation() a template function and added two aliases. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 673 diff changeset	105 auto location = token.getErrorLocation();
648 4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	106 auto msg = Format(_arguments, _argptr, formatMsg);
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	107 modul.infoMan ~= new SemanticError(location, msg);
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	108 }
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	109
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	110 private alias Declaration D;
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	111
635 b2fc028d8b55 Added class Visitor. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	112 override
b2fc028d8b55 Added class Visitor. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	113 {
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	114 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	115 {
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	116 foreach (node; d.children)
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	117 {
670 d8c32113afde Added command 'translate'. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 667 diff changeset	118 assert(node.category == NodeCategory.Declaration, Format("{}", node));
667 1ac758cd952a Fixed a few things in DefaultVisitor.d and Pass1.d Aziz K?ksal <aziz.koeksal@gmail.com> parents: 655 diff changeset	119 visitD(cast(Declaration)cast(void*)node);
636 15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	120 }
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	121 return d;
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	122 }
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	123
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	124 D visit(IllegalDeclaration)
636 15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	125 { 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	126
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	127 D visit(EmptyDeclaration ed)
648 4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	128 { return ed; }
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	129
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	130 D visit(ModuleDeclaration)
636 15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	131 { return null; }
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	132 D visit(ImportDeclaration)
636 15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	133 { return null; }
648 4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	134
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	135 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	136 {
648 4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	137 /+
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	138 decl.semantic(scop); // call semantic() or do SA in if statements?
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	139 if (auto fd = TryCast!(FunctionDeclaration)(decl))
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	140 {
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	141 // TODO: do SA here?
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	142 }
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	143 else if (auto vd = TryCast!(VariableDeclaration)(decl))
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	144 {
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	145 // TODO: do SA here?
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	146 }
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	147 +/
649 3ebe76ad680e Using SemanticPass1 in main.d do start semantic analysis. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 648 diff changeset	148 return ad;
3ebe76ad680e Using SemanticPass1 in main.d do start semantic analysis. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 648 diff changeset	149 }
648 4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	150
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	151 D visit(TypedefDeclaration td)
648 4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	152 {
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	153 /+
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	154 decl.semantic(scop); // call semantic() or do SA in if statements?
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	155 if (auto fd = TryCast!(FunctionDeclaration)(decl))
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	156 {
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	157 // TODO: do SA here?
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	158 }
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	159 else if (auto vd = TryCast!(VariableDeclaration)(decl))
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	160 {
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	161 // TODO: do SA here?
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	162 }
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	163 +/
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	164 return td;
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	165 }
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(EnumDeclaration d)
648 4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	168 {
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	169 // Create the symbol.
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	170 d.symbol = new Enum(d.name, d);
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	171 if (d.name)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	172 { // Declare named enum.
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	173 insert(d.symbol, d.name);
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	174 enterScope(d.symbol);
648 4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	175 }
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	176 // Declare members.
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	177 foreach (member; d.members)
648 4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	178 {
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	179 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	180 insert(variable, variable.name);
648 4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	181 }
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	182 if (d.name)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	183 exitScope();
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	184 return d;
648 4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	185 }
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	186
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	187 D visit(EnumMemberDeclaration)
636 15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	188 { return null; }
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	189
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	190 D visit(ClassDeclaration d)
635 b2fc028d8b55 Added class Visitor. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	191 {
636 15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	192 if (d.symbol)
641 3569c2fc6124 Fixed some return statements. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 636 diff changeset	193 return d;
636 15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	194 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	195 // Insert into current scope.
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	196 if (d.tparams)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	197 insertOverload(d.symbol, d.name);
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	198 else
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	199 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	200 enterScope(d.symbol);
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	201 // Continue semantic analysis.
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	202 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	203 exitScope();
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	204 return d;
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	205 }
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	206
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	207 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	208 {
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	209 if (d.symbol)
641 3569c2fc6124 Fixed some return statements. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 636 diff changeset	210 return d;
636 15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	211 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	212 // Insert into current scope.
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	213 if (d.tparams)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	214 insertOverload(d.symbol, d.name);
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	215 else
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	216 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	217 enterScope(d.symbol);
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	218 // Continue semantic analysis.
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	219 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	220 exitScope();
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	221 return d;
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	222 }
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	223
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	224 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	225 {
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	226 if (d.symbol)
641 3569c2fc6124 Fixed some return statements. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 636 diff changeset	227 return d;
636 15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	228 d.symbol = new Struct(d.name, d);
635 b2fc028d8b55 Added class Visitor. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	229 // 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	230 if (d.name)
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	231 {
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	232 if (d.tparams)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	233 insertOverload(d.symbol, d.name);
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	234 else
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	235 insert(d.symbol, d.name);
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	236 }
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	237 enterScope(d.symbol);
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	238 // Continue semantic analysis.
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	239 d.decls && visitD(d.decls);
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	240 exitScope();
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	241 return d;
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	242 }
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	243
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	244 D visit(UnionDeclaration d)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	245 {
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	246 if (d.symbol)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	247 return d;
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	248 d.symbol = new Union(d.name, d);
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	249 // Insert into current scope.
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	250 if (d.name)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	251 {
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	252 if (d.tparams)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	253 insertOverload(d.symbol, d.name);
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	254 else
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	255 insert(d.symbol, d.name);
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	256 }
636 15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	257 enterScope(d.symbol);
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	258 // Continue semantic analysis.
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	259 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	260 exitScope();
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	261 return d;
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	262 }
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	263
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	264 D visit(ConstructorDeclaration)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	265 { return null; }
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	266 D visit(StaticConstructorDeclaration)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	267 { return null; }
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	268 D visit(DestructorDeclaration)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	269 { return null; }
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	270 D visit(StaticDestructorDeclaration)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	271 { return null; }
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	272 D visit(FunctionDeclaration)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	273 { return null; }
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	274
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	275 D visit(VariablesDeclaration vd)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	276 {
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	277 // Error if we are in an interface.
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	278 if (scop.isInterface)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	279 return error(vd.begin, MSG.InterfaceCantHaveVariables), vd;
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	280
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	281 // 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	282 foreach (name; vd.names)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	283 {
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	284 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	285 vd.variables ~= variable;
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	286 insert(variable, name);
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	287 }
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	288 return vd;
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	289 }
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	290
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	291 D visit(InvariantDeclaration)
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(UnittestDeclaration)
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 D visit(DebugDeclaration)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	296 { return null; }
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	297 D visit(VersionDeclaration)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	298 { return null; }
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	299
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	300 D visit(StaticIfDeclaration d)
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 visitE(d.condition);
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	303 visitD(d.ifDecls);
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	304 d.elseDecls && visitD(d.elseDecls);
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	305 return null;
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	306 }
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	307
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	308 D visit(StaticAssertDeclaration d)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	309 { return d; } // SP2
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 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	312 {
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	313 if (d.symbol)
641 3569c2fc6124 Fixed some return statements. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 636 diff changeset	314 return d;
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	315 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	316 // Insert into current scope.
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	317 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	318 enterScope(d.symbol);
635 b2fc028d8b55 Added class Visitor. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	319 // Continue semantic analysis.
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	320 visitD(d.decls);
636 15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	321 exitScope();
15a0f37caabe Added more visit() methods to dil.semantic.SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 635 diff changeset	322 return d;
635 b2fc028d8b55 Added class Visitor. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	323 }
b2fc028d8b55 Added class Visitor. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	324
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	325 D visit(NewDeclaration)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	326 { /add id to env/return null; }
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	327 D visit(DeleteDeclaration)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	328 { /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	329
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	330 D visit(ProtectionDeclaration d)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	331 {
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	332 auto saved = protection; // Save.
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	333 protection = d.prot; // Set.
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	334 visitD(d.decls);
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	335 protection = saved; // Restore.
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	336 return d;
648 4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	337 }
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	338
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	339 D visit(StorageClassDeclaration d)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	340 {
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	341 auto saved = storageClass; // Save.
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	342 storageClass = d.storageClass; // Set.
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	343 visitD(d.decls);
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	344 storageClass = saved; // Restore.
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	345 return d;
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	346 }
649 3ebe76ad680e Using SemanticPass1 in main.d do start semantic analysis. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 648 diff changeset	347
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	348 D visit(LinkageDeclaration d)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	349 {
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	350 auto saved = linkageType; // Save.
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	351 linkageType = d.linkageType; // Set.
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	352 visitD(d.decls);
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	353 linkageType = saved; // Restore.
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	354 return d;
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	355 }
648 4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	356
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	357 D visit(AlignDeclaration d)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	358 {
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	359 auto saved = alignSize; // Save.
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	360 alignSize = d.size; // Set.
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	361 visitD(d.decls);
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	362 alignSize = saved; // Restore.
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	363 return d;
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	364 }
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	365
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	366 D visit(PragmaDeclaration d)
648 4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	367 {
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	368 pragmaSemantic(scop, d.begin, d.ident, d.args);
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	369 visitD(d.decls);
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	370 return d;
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	371 }
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	372
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	373 Statement visit(PragmaStatement s)
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	374 {
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	375 pragmaSemantic(scop, s.begin, s.ident, s.args);
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	376 visitS(s.pragmaBody);
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	377 return s;
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	378 }
4ae7b13aaac8 Moved some semantic() methods to SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 646 diff changeset	379
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	380 D visit(MixinDeclaration md)
645 89ee7802c978 Moved semantic() methods of expressions to class SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 644 diff changeset	381 {
683 1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	382 // Add md to vector of (Scope, MixinDeclaration)
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	383 // and evaluate them in 2nd pass?
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	384 // TODO: store all attributes in md; they have to be applied
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	385 // to the content that is mixed in.
1ae72234db26 Implemented some methods in SemanticPass1. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 680 diff changeset	386 return md;
635 b2fc028d8b55 Added class Visitor. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	387 }
b2fc028d8b55 Added class Visitor. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	388 } // override
b2fc028d8b55 Added class Visitor. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	389 }

Mercurial > projects > dil

annotate trunk/src/dil/semantic/Pass1.d @ 683:1ae72234db26