1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
|
/* valalockstatement.vala
*
* Copyright (C) 2009 Jiří Zárevúcky
* Copyright (C) 2006-2010 Jürg Billeter
* Copyright (C) 2006-2007 Raffaele Sandrini
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public
* License as published by the Free Software Foundation; either
* version 2.1 of the License, or (at your option) any later version.
* This library is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
* Lesser General Public License for more details.
* You should have received a copy of the GNU Lesser General Public
* License along with this library; if not, write to the Free Software
* Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
*
* Authors:
* Raffaele Sandrini <raffaele@sandrini.ch>
* Jiří Zárevúcky <zarevucky.jiri@gmail.com>
*/
using GLib;
/**
* Represents a lock statement e.g. {{{ lock (a); }}} or {{{ lock (a) { f(a); } }}}.
*
* If the statement is empty, the mutex remains locked until a corresponding UnlockStatement
* occurs. Otherwise it's translated into a try/finally statement which unlocks the mutex
* after the block is finished.
*/
public class Vala.LockStatement : CodeNode, Statement {
/**
* Expression representing the resource to be locked.
*/
public Expression resource {
get { return _resource; }
set {
_resource = value;
_resource.parent_node = this;
}
}
/**
* The statement during its execution the resource is locked.
*/
public Block? body {
get { return _body; }
set {
_body = value;
if (_body != null) {
_body.parent_node = this;
}
}
}
private Expression _resource;
private Block _body;
public LockStatement (Expression resource, Block? body, SourceReference? source_reference = null) {
this.body = body;
this.source_reference = source_reference;
this.resource = resource;
}
public override void accept (CodeVisitor visitor) {
resource.accept (visitor);
if (body != null) {
body.accept (visitor);
}
visitor.visit_lock_statement (this);
}
public override void replace_expression (Expression old_node, Expression new_node) {
if (resource == old_node) {
resource = new_node;
}
}
public override bool check (CodeContext context) {
if (body != null) {
// if the statement isn't empty, it is converted into a try statement
var fin_body = new Block (source_reference);
fin_body.add_statement (new UnlockStatement (resource, source_reference));
var block = new Block (source_reference);
block.add_statement (new LockStatement (resource, null, source_reference));
block.add_statement (new TryStatement (body, fin_body, source_reference));
var parent_block = (Block) parent_node;
parent_block.replace_statement (this, block);
return block.check (context);
}
if (checked) {
return !error;
}
checked = true;
resource.check (context);
/* resource must be a member access and denote a Lockable */
if (!(resource is MemberAccess && resource.symbol_reference is Lockable)) {
error = true;
resource.error = true;
Report.error (resource.source_reference, "Expression is either not a member access or does not denote a lockable member");
return false;
}
/* parent symbol must be the current class */
if (resource.symbol_reference.parent_symbol != context.analyzer.current_class) {
error = true;
resource.error = true;
Report.error (resource.source_reference, "Only members of the current class are lockable");
return false;
}
/* parent class must not be compact */
if (context.analyzer.current_class.is_compact) {
error = true;
resource.error = true;
Report.error (resource.source_reference, "Only members of the non-compact classes are lockable");
return false;
}
((Lockable) resource.symbol_reference).lock_used = true;
return !error;
}
public override void emit (CodeGenerator codegen) {
resource.emit (codegen);
codegen.visit_lock_statement (this);
}
}
|
