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
|
/* valadeclarationstatement.vala
*
* Copyright (C) 2006-2010 Jürg Billeter
*
* 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
*
* Author:
* Jürg Billeter <j@bitron.ch>
*/
/**
* Represents a local variable or constant declaration statement in the source code.
*/
public class Vala.DeclarationStatement : CodeNode, Statement {
/**
* The local variable or constant declaration.
*/
public Symbol declaration {
get {
return _declaration;
}
private set {
_declaration = value;
if (_declaration != null) {
_declaration.parent_node = this;
}
}
}
Symbol _declaration;
/**
* Creates a new declaration statement.
*
* @param declaration local variable declaration
* @param source_reference reference to source code
* @return newly created declaration statement
*/
public DeclarationStatement (Symbol declaration, SourceReference? source_reference = null) {
this.declaration = declaration;
this.source_reference = source_reference;
}
public override void accept (CodeVisitor visitor) {
visitor.visit_declaration_statement (this);
}
public override void accept_children (CodeVisitor visitor) {
declaration.accept (visitor);
}
public override void get_error_types (Collection<DataType> collection, SourceReference? source_reference = null) {
if (source_reference == null) {
source_reference = this.source_reference;
}
unowned LocalVariable? local = declaration as LocalVariable;
if (local != null && local.initializer != null) {
local.initializer.get_error_types (collection, source_reference);
}
}
public override bool check (CodeContext context) {
if (checked) {
return !error;
}
checked = true;
if (!declaration.check (context)) {
// ignore inner error
error = true;
return false;
}
return !error;
}
public override void emit (CodeGenerator codegen) {
codegen.visit_declaration_statement (this);
}
public override void get_defined_variables (Collection<Variable> collection) {
unowned LocalVariable? local = declaration as LocalVariable;
if (local != null) {
unowned ArrayType? array_type = local.variable_type as ArrayType;
if (local.initializer != null) {
local.initializer.get_defined_variables (collection);
collection.add (local);
} else if (array_type != null && array_type.fixed_length) {
collection.add (local);
}
}
}
public override void get_used_variables (Collection<Variable> collection) {
unowned LocalVariable? local = declaration as LocalVariable;
if (local != null && local.initializer != null) {
local.initializer.get_used_variables (collection);
}
}
}
|
