Mercurial > projects > dang

annotate sema/Scope.d @ 92:771ac63898e2 new_gen

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
A few better parser errors plus renaming most of the sema classes to match that they do now. Some have changes a lot.
author Anders Johnsen <skabet@gmail.com>
date Mon, 05 May 2008 18:44:20 +0200
parents sema/SymbolTable.d@06dda301ea61
children 621cedba53ea
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
92
771ac63898e2 A few better parser errors plus renaming most of the sema classes to match that they do now. Some have changes a lot.
Anders Johnsen <skabet@gmail.com>
parents: 82
diff changeset
1 module sema.Scope;
1
2168f4cb73f1 First push
johnsen@johnsen-desktop
parents:
diff changeset
2
2168f4cb73f1 First push
johnsen@johnsen-desktop
parents:
diff changeset
3 import tango.io.Stdout;
2168f4cb73f1 First push
johnsen@johnsen-desktop
parents:
diff changeset
4
26
b4dc2b2c0e38 Added a DType class
Anders Halager <halager@gmail.com>
parents: 24
diff changeset
5 import lexer.Token,
56
4ae365eff712 Now return types works for structs... Also, simplyfing in AST have been startet - but still messy. This update is a little messy...
Anders Johnsen <skabet@gmail.com>
parents: 53
diff changeset
6 ast.Decl,
27
9031487e97d7 Various changes related to DType
Anders Halager <halager@gmail.com>
parents: 26
diff changeset
7 ast.Exp;
1
2168f4cb73f1 First push
johnsen@johnsen-desktop
parents:
diff changeset
8
28
69464d465284 Now supporting structs - both read and write. Still a few errors though, so watch out.
Anders Johnsen <skabet@gmail.com>
parents: 27
diff changeset
9 import sema.DType;
69464d465284 Now supporting structs - both read and write. Still a few errors though, so watch out.
Anders Johnsen <skabet@gmail.com>
parents: 27
diff changeset
10
27
9031487e97d7 Various changes related to DType
Anders Halager <halager@gmail.com>
parents: 26
diff changeset
11 public
9031487e97d7 Various changes related to DType
Anders Halager <halager@gmail.com>
parents: 26
diff changeset
12 import sema.Symbol;
1
2168f4cb73f1 First push
johnsen@johnsen-desktop
parents:
diff changeset
13
2168f4cb73f1 First push
johnsen@johnsen-desktop
parents:
diff changeset
14 class Scope
2168f4cb73f1 First push
johnsen@johnsen-desktop
parents:
diff changeset
15 {
2168f4cb73f1 First push
johnsen@johnsen-desktop
parents:
diff changeset
16 this() {}
2168f4cb73f1 First push
johnsen@johnsen-desktop
parents:
diff changeset
17 this(Scope enclosing)
2168f4cb73f1 First push
johnsen@johnsen-desktop
parents:
diff changeset
18 {
2168f4cb73f1 First push
johnsen@johnsen-desktop
parents:
diff changeset
19 this.enclosing = enclosing;
14
a51bdf15a33d Better scopes.
Anders Halager <halager@gmail.com>
parents: 2
diff changeset
20 this.func = enclosing.func;
1
2168f4cb73f1 First push
johnsen@johnsen-desktop
parents:
diff changeset
21 }
2168f4cb73f1 First push
johnsen@johnsen-desktop
parents:
diff changeset
22
2168f4cb73f1 First push
johnsen@johnsen-desktop
parents:
diff changeset
23 Scope enclosing;
2168f4cb73f1 First push
johnsen@johnsen-desktop
parents:
diff changeset
24
2168f4cb73f1 First push
johnsen@johnsen-desktop
parents:
diff changeset
25 Symbol add(Identifier id)
2168f4cb73f1 First push
johnsen@johnsen-desktop
parents:
diff changeset
26 {
2168f4cb73f1 First push
johnsen@johnsen-desktop
parents:
diff changeset
27 auto s = new Symbol;
2168f4cb73f1 First push
johnsen@johnsen-desktop
parents:
diff changeset
28 s.id = id;
2168f4cb73f1 First push
johnsen@johnsen-desktop
parents:
diff changeset
29 symbols[id] = s;
2168f4cb73f1 First push
johnsen@johnsen-desktop
parents:
diff changeset
30 return s;
2168f4cb73f1 First push
johnsen@johnsen-desktop
parents:
diff changeset
31 }
2168f4cb73f1 First push
johnsen@johnsen-desktop
parents:
diff changeset
32
2168f4cb73f1 First push
johnsen@johnsen-desktop
parents:
diff changeset
33 Symbol find(Identifier id)
2168f4cb73f1 First push
johnsen@johnsen-desktop
parents:
diff changeset
34 {
82
06dda301ea61 Can declare outside functions and call c-functions
Anders Johnsen <skabet@gmail.com>
parents: 59
diff changeset
35 if(!id)
06dda301ea61 Can declare outside functions and call c-functions
Anders Johnsen <skabet@gmail.com>
parents: 59
diff changeset
36 return null;
1
2168f4cb73f1 First push
johnsen@johnsen-desktop
parents:
diff changeset
37 if (auto sym = id in symbols)
2168f4cb73f1 First push
johnsen@johnsen-desktop
parents:
diff changeset
38 return *sym;
2168f4cb73f1 First push
johnsen@johnsen-desktop
parents:
diff changeset
39 if (enclosing !is null)
2168f4cb73f1 First push
johnsen@johnsen-desktop
parents:
diff changeset
40 return enclosing.find(id);
2168f4cb73f1 First push
johnsen@johnsen-desktop
parents:
diff changeset
41 return null;
2168f4cb73f1 First push
johnsen@johnsen-desktop
parents:
diff changeset
42 }
2168f4cb73f1 First push
johnsen@johnsen-desktop
parents:
diff changeset
43
28
69464d465284 Now supporting structs - both read and write. Still a few errors though, so watch out.
Anders Johnsen <skabet@gmail.com>
parents: 27
diff changeset
44 DType findType(Identifier id)
22
e331e4e816e4 now handling structs to some extend
johnsen@johnsen-laptop
parents: 14
diff changeset
45 {
28
69464d465284 Now supporting structs - both read and write. Still a few errors though, so watch out.
Anders Johnsen <skabet@gmail.com>
parents: 27
diff changeset
46 if (auto type = id.get in types)
69464d465284 Now supporting structs - both read and write. Still a few errors though, so watch out.
Anders Johnsen <skabet@gmail.com>
parents: 27
diff changeset
47 return *type;
22
e331e4e816e4 now handling structs to some extend
johnsen@johnsen-laptop
parents: 14
diff changeset
48 if (enclosing !is null)
28
69464d465284 Now supporting structs - both read and write. Still a few errors though, so watch out.
Anders Johnsen <skabet@gmail.com>
parents: 27
diff changeset
49 return enclosing.findType(id);
22
e331e4e816e4 now handling structs to some extend
johnsen@johnsen-laptop
parents: 14
diff changeset
50 return null;
e331e4e816e4 now handling structs to some extend
johnsen@johnsen-laptop
parents: 14
diff changeset
51 }
e331e4e816e4 now handling structs to some extend
johnsen@johnsen-laptop
parents: 14
diff changeset
52
1
2168f4cb73f1 First push
johnsen@johnsen-desktop
parents:
diff changeset
53 char[][] names()
2168f4cb73f1 First push
johnsen@johnsen-desktop
parents:
diff changeset
54 {
2168f4cb73f1 First push
johnsen@johnsen-desktop
parents:
diff changeset
55 char[][] res;
59
1d6f4ad38a91 Make most of the tests pass again
Anders Halager <halager@gmail.com>
parents: 56
diff changeset
56 if (parentFunction() !is null)
1d6f4ad38a91 Make most of the tests pass again
Anders Halager <halager@gmail.com>
parents: 56
diff changeset
57 res ~= "pf: " ~ parentFunction().identifier.get;
24
2d28b21faad6 New codegen!
Anders Halager <halager@gmail.com>
parents: 22
diff changeset
58 if (enclosing)
2d28b21faad6 New codegen!
Anders Halager <halager@gmail.com>
parents: 22
diff changeset
59 res = enclosing.names;
1
2168f4cb73f1 First push
johnsen@johnsen-desktop
parents:
diff changeset
60 foreach (id, sym; symbols)
59
1d6f4ad38a91 Make most of the tests pass again
Anders Halager <halager@gmail.com>
parents: 56
diff changeset
61 res ~= sym.id.name ~ " : " ~ (sym.type is null? "?" : sym.type.name);
1
2168f4cb73f1 First push
johnsen@johnsen-desktop
parents:
diff changeset
62 return res;
2168f4cb73f1 First push
johnsen@johnsen-desktop
parents:
diff changeset
63 }
2168f4cb73f1 First push
johnsen@johnsen-desktop
parents:
diff changeset
64
56
4ae365eff712 Now return types works for structs... Also, simplyfing in AST have been startet - but still messy. This update is a little messy...
Anders Johnsen <skabet@gmail.com>
parents: 53
diff changeset
65 FuncDecl parentFunction()
2
ae5bbe4e7fd6 Lots of stuff, here are the git comments:
Anders Halager <halager@gmail.com>
parents: 1
diff changeset
66 {
ae5bbe4e7fd6 Lots of stuff, here are the git comments:
Anders Halager <halager@gmail.com>
parents: 1
diff changeset
67 if (func !is null)
ae5bbe4e7fd6 Lots of stuff, here are the git comments:
Anders Halager <halager@gmail.com>
parents: 1
diff changeset
68 return func;
ae5bbe4e7fd6 Lots of stuff, here are the git comments:
Anders Halager <halager@gmail.com>
parents: 1
diff changeset
69 else if (enclosing !is null)
ae5bbe4e7fd6 Lots of stuff, here are the git comments:
Anders Halager <halager@gmail.com>
parents: 1
diff changeset
70 return enclosing.parentFunction();
ae5bbe4e7fd6 Lots of stuff, here are the git comments:
Anders Halager <halager@gmail.com>
parents: 1
diff changeset
71 else
ae5bbe4e7fd6 Lots of stuff, here are the git comments:
Anders Halager <halager@gmail.com>
parents: 1
diff changeset
72 return null;
ae5bbe4e7fd6 Lots of stuff, here are the git comments:
Anders Halager <halager@gmail.com>
parents: 1
diff changeset
73 }
14
a51bdf15a33d Better scopes.
Anders Halager <halager@gmail.com>
parents: 2
diff changeset
74
56
4ae365eff712 Now return types works for structs... Also, simplyfing in AST have been startet - but still messy. This update is a little messy...
Anders Johnsen <skabet@gmail.com>
parents: 53
diff changeset
75 int stmtIndex()
4ae365eff712 Now return types works for structs... Also, simplyfing in AST have been startet - but still messy. This update is a little messy...
Anders Johnsen <skabet@gmail.com>
parents: 53
diff changeset
76 {
4ae365eff712 Now return types works for structs... Also, simplyfing in AST have been startet - but still messy. This update is a little messy...
Anders Johnsen <skabet@gmail.com>
parents: 53
diff changeset
77 if (currentStmtIndex != -1)
4ae365eff712 Now return types works for structs... Also, simplyfing in AST have been startet - but still messy. This update is a little messy...
Anders Johnsen <skabet@gmail.com>
parents: 53
diff changeset
78 return currentStmtIndex;
4ae365eff712 Now return types works for structs... Also, simplyfing in AST have been startet - but still messy. This update is a little messy...
Anders Johnsen <skabet@gmail.com>
parents: 53
diff changeset
79 else if (enclosing !is null)
4ae365eff712 Now return types works for structs... Also, simplyfing in AST have been startet - but still messy. This update is a little messy...
Anders Johnsen <skabet@gmail.com>
parents: 53
diff changeset
80 return enclosing.stmtIndex();
4ae365eff712 Now return types works for structs... Also, simplyfing in AST have been startet - but still messy. This update is a little messy...
Anders Johnsen <skabet@gmail.com>
parents: 53
diff changeset
81 else
4ae365eff712 Now return types works for structs... Also, simplyfing in AST have been startet - but still messy. This update is a little messy...
Anders Johnsen <skabet@gmail.com>
parents: 53
diff changeset
82 return -1;
4ae365eff712 Now return types works for structs... Also, simplyfing in AST have been startet - but still messy. This update is a little messy...
Anders Johnsen <skabet@gmail.com>
parents: 53
diff changeset
83 }
4ae365eff712 Now return types works for structs... Also, simplyfing in AST have been startet - but still messy. This update is a little messy...
Anders Johnsen <skabet@gmail.com>
parents: 53
diff changeset
84
14
a51bdf15a33d Better scopes.
Anders Halager <halager@gmail.com>
parents: 2
diff changeset
85 int opEquals(Object o)
a51bdf15a33d Better scopes.
Anders Halager <halager@gmail.com>
parents: 2
diff changeset
86 {
a51bdf15a33d Better scopes.
Anders Halager <halager@gmail.com>
parents: 2
diff changeset
87 return this is o;
a51bdf15a33d Better scopes.
Anders Halager <halager@gmail.com>
parents: 2
diff changeset
88 }
a51bdf15a33d Better scopes.
Anders Halager <halager@gmail.com>
parents: 2
diff changeset
89
a51bdf15a33d Better scopes.
Anders Halager <halager@gmail.com>
parents: 2
diff changeset
90 char[] toString()
a51bdf15a33d Better scopes.
Anders Halager <halager@gmail.com>
parents: 2
diff changeset
91 {
a51bdf15a33d Better scopes.
Anders Halager <halager@gmail.com>
parents: 2
diff changeset
92 if (func)
56
4ae365eff712 Now return types works for structs... Also, simplyfing in AST have been startet - but still messy. This update is a little messy...
Anders Johnsen <skabet@gmail.com>
parents: 53
diff changeset
93 return Stdout.layout.convert("{}: {}", func.identifier.get, symbols.length);
53
da551f90e03f Added struct decl and forward ref. A note on structs: they need to make a new scope when declared. Otherwise you could access struct members as globals
Anders Johnsen <skabet@gmail.com>
parents: 28
diff changeset
94 return Stdout.layout.convert("root: {}", symbols.length);
14
a51bdf15a33d Better scopes.
Anders Halager <halager@gmail.com>
parents: 2
diff changeset
95 }
a51bdf15a33d Better scopes.
Anders Halager <halager@gmail.com>
parents: 2
diff changeset
96
56
4ae365eff712 Now return types works for structs... Also, simplyfing in AST have been startet - but still messy. This update is a little messy...
Anders Johnsen <skabet@gmail.com>
parents: 53
diff changeset
97 FuncDecl parentFunction(FuncDecl f)
2
ae5bbe4e7fd6 Lots of stuff, here are the git comments:
Anders Halager <halager@gmail.com>
parents: 1
diff changeset
98 {
ae5bbe4e7fd6 Lots of stuff, here are the git comments:
Anders Halager <halager@gmail.com>
parents: 1
diff changeset
99 func = f;
ae5bbe4e7fd6 Lots of stuff, here are the git comments:
Anders Halager <halager@gmail.com>
parents: 1
diff changeset
100 return f;
ae5bbe4e7fd6 Lots of stuff, here are the git comments:
Anders Halager <halager@gmail.com>
parents: 1
diff changeset
101 }
28
69464d465284 Now supporting structs - both read and write. Still a few errors though, so watch out.
Anders Johnsen <skabet@gmail.com>
parents: 27
diff changeset
102 DType[char[]] types;
56
4ae365eff712 Now return types works for structs... Also, simplyfing in AST have been startet - but still messy. This update is a little messy...
Anders Johnsen <skabet@gmail.com>
parents: 53
diff changeset
103 int currentStmtIndex = -1;
1
2168f4cb73f1 First push
johnsen@johnsen-desktop
parents:
diff changeset
104 private:
2168f4cb73f1 First push
johnsen@johnsen-desktop
parents:
diff changeset
105 Symbol[Identifier] symbols;
56
4ae365eff712 Now return types works for structs... Also, simplyfing in AST have been startet - but still messy. This update is a little messy...
Anders Johnsen <skabet@gmail.com>
parents: 53
diff changeset
106 FuncDecl func;
1
2168f4cb73f1 First push
johnsen@johnsen-desktop
parents:
diff changeset
107 }
2168f4cb73f1 First push
johnsen@johnsen-desktop
parents:
diff changeset
108