1 /* valagvaluemodule.vala
3 * Copyright (C) 2019 Rico Tzschichholz
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
20 * Rico Tzschichholz <ricotz@ubuntu.com>
23 public class Vala.GValueModule : GAsyncModule {
24 public override void visit_cast_expression (CastExpression expr) {
25 unowned DataType? value_type = expr.inner.value_type;
26 unowned DataType? target_type = expr.type_reference;
28 if (expr.is_non_null_cast || value_type == null || gvalue_type == null
29 || value_type.type_symbol != gvalue_type || target_type.type_symbol == gvalue_type
30 || get_ccode_type_id (target_type) == "") {
31 base.visit_cast_expression (expr);
35 generate_type_declaration (expr.type_reference, cfile);
37 // explicit conversion from GValue
38 var ccall = new CCodeFunctionCall (get_value_getter_function (target_type));
39 CCodeExpression gvalue;
40 if (value_type.nullable) {
41 gvalue = get_cvalue (expr.inner);
43 gvalue = new CCodeUnaryExpression (CCodeUnaryOperator.ADDRESS_OF, get_cvalue (expr.inner));
45 ccall.add_argument (gvalue);
47 if (value_type.is_disposable ()) {
48 var temp_var = get_temp_variable (value_type, true, expr, false);
49 emit_temp_var (temp_var);
50 var temp_ref = get_variable_cexpression (temp_var.name);
51 ccode.add_assignment (temp_ref, get_cvalue (expr.inner));
53 // value needs to be kept alive until the end of this block
54 temp_ref_values.insert (0, get_local_cvalue (temp_var));
58 if (target_type is ArrayType) {
59 var temp_var = get_temp_variable (target_type, true, expr, false);
60 emit_temp_var (temp_var);
61 var temp_ref = get_variable_cexpression (temp_var.name);
62 ccode.add_assignment (temp_ref, ccall);
65 // null-terminated string array
66 var len_call = new CCodeFunctionCall (new CCodeIdentifier ("g_strv_length"));
67 len_call.add_argument (rv);
68 append_array_length (expr, len_call);
69 } else if (target_type is StructValueType) {
70 var temp_var = get_temp_variable (new PointerType (target_type), true, expr, false);
71 emit_temp_var (temp_var);
72 var temp_ref = get_variable_cexpression (temp_var.name);
73 ccode.add_assignment (temp_ref, ccall);
76 // default value to fallback to
77 var temp_value = create_temp_value (target_type, true, expr, true);
78 var ctemp = get_cvalue_ (temp_value);
80 var holds = new CCodeFunctionCall (new CCodeIdentifier ("G_VALUE_HOLDS"));
81 holds.add_argument (gvalue);
82 holds.add_argument (new CCodeIdentifier (get_ccode_type_id (target_type)));
83 var cond = new CCodeBinaryExpression (CCodeBinaryOperator.AND, holds, rv);
84 var warn = new CCodeFunctionCall (new CCodeIdentifier ("g_warning"));
85 warn.add_argument (new CCodeConstant ("\"Invalid GValue unboxing (wrong type or NULL)\""));
86 var fail = new CCodeCommaExpression ();
87 fail.append_expression (warn);
88 fail.append_expression (ctemp);
89 rv = new CCodeConditionalExpression (cond, new CCodeUnaryExpression (CCodeUnaryOperator.POINTER_INDIRECTION, rv), fail);
94 set_cvalue (expr, rv);
97 public override CCodeExpression get_value_getter_function (DataType type_reference) {
98 var array_type = type_reference as ArrayType;
99 if (type_reference.type_symbol != null) {
100 return new CCodeIdentifier (get_ccode_get_value_function (type_reference.type_symbol));
101 } else if (array_type != null && array_type.element_type.type_symbol == string_type.type_symbol) {
103 return new CCodeIdentifier ("g_value_get_boxed");
105 return new CCodeIdentifier ("g_value_get_pointer");
109 public override CCodeExpression get_value_setter_function (DataType type_reference) {
110 var array_type = type_reference as ArrayType;
111 if (type_reference.type_symbol != null) {
112 return new CCodeIdentifier (get_ccode_set_value_function (type_reference.type_symbol));
113 } else if (array_type != null && array_type.element_type.type_symbol == string_type.type_symbol) {
115 return new CCodeIdentifier ("g_value_set_boxed");
117 return new CCodeIdentifier ("g_value_set_pointer");
121 public override CCodeExpression get_value_taker_function (DataType type_reference) {
122 var array_type = type_reference as ArrayType;
123 if (type_reference.type_symbol != null) {
124 return new CCodeIdentifier (get_ccode_take_value_function (type_reference.type_symbol));
125 } else if (array_type != null && array_type.element_type.type_symbol == string_type.type_symbol) {
127 return new CCodeIdentifier ("g_value_take_boxed");
129 return new CCodeIdentifier ("g_value_set_pointer");