Release 0.41.92
[vala-gnome.git] / vala / valaswitchlabel.vala
blob70eb7e336af1aba03c47fc2d107b76c161790a2a
1 /* valaswitchlabel.vala
3 * Copyright (C) 2006-2010 Jürg Billeter
5 * This library is free software; you can redistribute it and/or
6 * modify it under the terms of the GNU Lesser General Public
7 * License as published by the Free Software Foundation; either
8 * version 2.1 of the License, or (at your option) any later version.
10 * This library is distributed in the hope that it will be useful,
11 * but WITHOUT ANY WARRANTY; without even the implied warranty of
12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 * Lesser General Public License for more details.
15 * You should have received a copy of the GNU Lesser General Public
16 * License along with this library; if not, write to the Free Software
17 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
19 * Author:
20 * Jürg Billeter <j@bitron.ch>
23 using GLib;
25 /**
26 * Represents a switch label in the source code.
28 public class Vala.SwitchLabel : CodeNode {
29 /**
30 * Specifies the label expression.
32 public Expression expression { get; set; }
34 public weak SwitchSection section { get; set; }
36 /**
37 * Creates a new switch case label.
39 * @param expr label expression
40 * @param source reference to source code
41 * @return newly created switch case label
43 public SwitchLabel (Expression expr, SourceReference? source = null) {
44 expression = expr;
45 source_reference = source;
48 /**
49 * Creates a new switch default label.
51 * @param source reference to source code
52 * @return newly created switch default label
54 public SwitchLabel.with_default (SourceReference? source = null) {
55 source_reference = source;
58 public override void accept (CodeVisitor visitor) {
59 visitor.visit_switch_label (this);
62 public override void accept_children (CodeVisitor visitor) {
63 if (expression != null) {
64 expression.accept (visitor);
66 visitor.visit_end_full_expression (expression);
70 public override bool check (CodeContext context) {
71 if (expression != null) {
72 var switch_statement = (SwitchStatement) section.parent_node;
74 // enum-type inference
75 var condition_target_type = switch_statement.expression.target_type;
76 if (expression.symbol_reference == null && condition_target_type != null && condition_target_type.data_type is Enum) {
77 var enum_type = (Enum) condition_target_type.data_type;
78 foreach (var val in enum_type.get_values ()) {
79 if (expression.to_string () == val.name) {
80 expression.target_type = condition_target_type.copy ();
81 expression.symbol_reference = val;
82 break;
87 expression.check (context);
89 if (!expression.is_constant ()) {
90 error = true;
91 Report.error (expression.source_reference, "Expression must be constant");
92 return false;
94 if (!expression.value_type.compatible (switch_statement.expression.value_type)) {
95 error = true;
96 Report.error (expression.source_reference, "Cannot convert from `%s' to `%s'".printf (expression.value_type.to_string (), switch_statement.expression.value_type.to_string ()));
97 return false;
101 return true;
104 public override void emit (CodeGenerator codegen) {
105 codegen.visit_switch_label (this);