Mercurial > projects > ddmd

comparison dmd/Catch.d @ 0:10317f0c89a5

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Initial commit
author korDen
date Sat, 24 Oct 2009 08:42:06 +0400
parents
children cab4c37afb89
comparison
equal deleted inserted replaced
-1:000000000000 0:10317f0c89a5
1 module dmd.Catch;
2
3 import dmd.Loc;
4 import dmd.Type;
5 import dmd.Scope;
6 import dmd.Identifier;
7 import dmd.VarDeclaration;
8 import dmd.Statement;
9 import dmd.OutBuffer;
10 import dmd.Id;
11 import dmd.TypeIdentifier;
12 import dmd.Util;
13 import dmd.ScopeDsymbol;
14 import dmd.HdrGenState;
15 import dmd.BE;
16
17 class Catch
18 {
19 Loc loc;
20 Type type;
21 Identifier ident;
22 VarDeclaration var = null;
23 Statement handler;
24
25 this(Loc loc, Type t, Identifier id, Statement handler)
26 {
27 //printf("Catch(%s, loc = %s)\n", id.toChars(), loc.toChars());
28 this.loc = loc;
29 this.type = t;
30 this.ident = id;
31 this.handler = handler;
32 }
33
34 Catch syntaxCopy()
35 {
36 assert(false);
37 }
38
39 void semantic(Scope sc)
40 {
41 ScopeDsymbol sym;
42
43 //printf("Catch.semantic(%s)\n", ident.toChars());
44
45 version (IN_GCC) {
46 } else {
47 if (sc.tf)
48 {
49 /* This is because the _d_local_unwind() gets the stack munged
50 * up on this. The workaround is to place any try-catches into
51 * a separate function, and call that.
52 * To fix, have the compiler automatically convert the finally
53 * body into a nested function.
54 */
55 error(loc, "cannot put catch statement inside finally block");
56 }
57 }
58
59 sym = new ScopeDsymbol();
60 sym.parent = sc.scopesym;
61 sc = sc.push(sym);
62
63 if (!type)
64 type = new TypeIdentifier(Loc(0), Id.Object_);
65 type = type.semantic(loc, sc);
66 if (!type.toBasetype().isClassHandle())
67 error("can only catch class objects, not '%s'", type.toChars());
68 else if (ident)
69 {
70 var = new VarDeclaration(loc, type, ident, null);
71 var.parent = sc.parent;
72 sc.insert(var);
73 }
74 handler = handler.semantic(sc);
75
76 sc.pop();
77 }
78
79 BE blockExit()
80 {
81 return handler ? handler.blockExit() : BE.BEfallthru;
82 }
83
84 void toCBuffer(OutBuffer buf, HdrGenState* hgs)
85 {
86 assert(false);
87 }
88 }