+2009-01-03 Jürg Billeter <j@bitron.ch>
+
+ * vala/Makefile.am:
+ * vala/valaarraytype.vala:
+ * vala/valabinaryexpression.vala:
+ * vala/valabooleantype.vala:
+ * vala/valacharacterliteral.vala:
+ * vala/valadostatement.vala:
+ * vala/valaenum.vala:
+ * vala/valaenumvaluetype.vala:
+ * vala/valaerrordomain.vala:
+ * vala/valafloatingtype.vala:
+ * vala/valaintegerliteral.vala:
+ * vala/valaintegertype.vala:
+ * vala/valaobjectcreationexpression.vala:
+ * vala/valarealliteral.vala:
+ * vala/valasemanticanalyzer.vala:
+ * vala/valastruct.vala:
+ * vala/valastructvaluetype.vala:
+ * vala/valasymbolresolver.vala:
+ * vala/valavaluetype.vala:
+ * gobject/valaccodebasemodule.vala:
+ * gobject/valaccodemethodmodule.vala:
+ * vapi/glib-2.0.vapi:
+
+ Add BooleanType, EnumValueType, FloatingType, and StructValueType
+ as ValueType subclasses
+
2009-01-02 Jürg Billeter <j@bitron.ch>
* vapi/packages/gdk-2.0/gdk-2.0.metadata:
/* valaccodebasemodule.vala
*
- * Copyright (C) 2006-2008 Jürg Billeter, Raffaele Sandrini
+ * Copyright (C) 2006-2009 Jürg Billeter, Raffaele Sandrini
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public
root_symbol = context.root;
- bool_type = new ValueType ((TypeSymbol) root_symbol.scope.lookup ("bool"));
- char_type = new ValueType ((TypeSymbol) root_symbol.scope.lookup ("char"));
- uchar_type = new ValueType ((TypeSymbol) root_symbol.scope.lookup ("uchar"));
- unichar_type = new ValueType ((TypeSymbol) root_symbol.scope.lookup ("unichar"));
- short_type = new ValueType ((TypeSymbol) root_symbol.scope.lookup ("short"));
- ushort_type = new ValueType ((TypeSymbol) root_symbol.scope.lookup ("ushort"));
- int_type = new ValueType ((TypeSymbol) root_symbol.scope.lookup ("int"));
- uint_type = new ValueType ((TypeSymbol) root_symbol.scope.lookup ("uint"));
- long_type = new ValueType ((TypeSymbol) root_symbol.scope.lookup ("long"));
- ulong_type = new ValueType ((TypeSymbol) root_symbol.scope.lookup ("ulong"));
- int8_type = new ValueType ((TypeSymbol) root_symbol.scope.lookup ("int8"));
- uint8_type = new ValueType ((TypeSymbol) root_symbol.scope.lookup ("uint8"));
- int16_type = new ValueType ((TypeSymbol) root_symbol.scope.lookup ("int16"));
- uint16_type = new ValueType ((TypeSymbol) root_symbol.scope.lookup ("uint16"));
- int32_type = new ValueType ((TypeSymbol) root_symbol.scope.lookup ("int32"));
- uint32_type = new ValueType ((TypeSymbol) root_symbol.scope.lookup ("uint32"));
- int64_type = new ValueType ((TypeSymbol) root_symbol.scope.lookup ("int64"));
- uint64_type = new ValueType ((TypeSymbol) root_symbol.scope.lookup ("uint64"));
- float_type = new ValueType ((TypeSymbol) root_symbol.scope.lookup ("float"));
- double_type = new ValueType ((TypeSymbol) root_symbol.scope.lookup ("double"));
+ bool_type = new BooleanType ((Struct) root_symbol.scope.lookup ("bool"));
+ char_type = new IntegerType ((Struct) root_symbol.scope.lookup ("char"));
+ uchar_type = new IntegerType ((Struct) root_symbol.scope.lookup ("uchar"));
+ unichar_type = new IntegerType ((Struct) root_symbol.scope.lookup ("unichar"));
+ short_type = new IntegerType ((Struct) root_symbol.scope.lookup ("short"));
+ ushort_type = new IntegerType ((Struct) root_symbol.scope.lookup ("ushort"));
+ int_type = new IntegerType ((Struct) root_symbol.scope.lookup ("int"));
+ uint_type = new IntegerType ((Struct) root_symbol.scope.lookup ("uint"));
+ long_type = new IntegerType ((Struct) root_symbol.scope.lookup ("long"));
+ ulong_type = new IntegerType ((Struct) root_symbol.scope.lookup ("ulong"));
+ int8_type = new IntegerType ((Struct) root_symbol.scope.lookup ("int8"));
+ uint8_type = new IntegerType ((Struct) root_symbol.scope.lookup ("uint8"));
+ int16_type = new IntegerType ((Struct) root_symbol.scope.lookup ("int16"));
+ uint16_type = new IntegerType ((Struct) root_symbol.scope.lookup ("uint16"));
+ int32_type = new IntegerType ((Struct) root_symbol.scope.lookup ("int32"));
+ uint32_type = new IntegerType ((Struct) root_symbol.scope.lookup ("uint32"));
+ int64_type = new IntegerType ((Struct) root_symbol.scope.lookup ("int64"));
+ uint64_type = new IntegerType ((Struct) root_symbol.scope.lookup ("uint64"));
+ float_type = new FloatingType ((Struct) root_symbol.scope.lookup ("float"));
+ double_type = new FloatingType ((Struct) root_symbol.scope.lookup ("double"));
string_type = new ObjectType ((Class) root_symbol.scope.lookup ("string"));
var glib_ns = root_symbol.scope.lookup ("GLib");
garray_type = (TypeSymbol) glib_ns.scope.lookup ("Array");
gbytearray_type = (TypeSymbol) glib_ns.scope.lookup ("ByteArray");
- gquark_type = new ValueType ((TypeSymbol) glib_ns.scope.lookup ("Quark"));
+ gquark_type = new IntegerType ((Struct) glib_ns.scope.lookup ("Quark"));
gvalue_type = (Struct) glib_ns.scope.lookup ("Value");
mutex_type = (Struct) glib_ns.scope.lookup ("StaticRecMutex");
} else if (sym is Interface) {
type = new ObjectType ((Interface) sym);
} else if (sym is Struct) {
- type = new ValueType ((Struct) sym);
+ var st = (Struct) sym;
+ if (st.is_boolean_type ()) {
+ type = new BooleanType (st);
+ } else if (st.is_integer_type ()) {
+ type = new IntegerType (st);
+ } else if (st.is_floating_type ()) {
+ type = new FloatingType (st);
+ } else {
+ type = new StructValueType (st);
+ }
} else if (sym is Enum) {
- type = new ValueType ((Enum) sym);
+ type = new EnumValueType ((Enum) sym);
} else if (sym is ErrorDomain) {
type = new ErrorType ((ErrorDomain) sym, null);
} else if (sym is ErrorCode) {
/* valaccodemethodmodule.vala
*
- * Copyright (C) 2007-2008 Jürg Billeter
+ * Copyright (C) 2007-2009 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
prop_name = new CCodeConstant ("\"%s-type\"".printf (type_param.name.down ()));
param_name = new CCodeIdentifier ("%s_type".printf (type_param.name.down ()));
- cinit.append (new CCodeExpressionStatement (get_construct_property_assignment (prop_name, new ValueType (gtype_type), param_name)));
+ cinit.append (new CCodeExpressionStatement (get_construct_property_assignment (prop_name, new IntegerType ((Struct) gtype_type), param_name)));
prop_name = new CCodeConstant ("\"%s-dup-func\"".printf (type_param.name.down ()));
param_name = new CCodeIdentifier ("%s_dup_func".printf (type_param.name.down ()));
this_type = new ObjectType ((Class) parent_type);
} else if (parent_type is Interface) {
this_type = new ObjectType ((Interface) parent_type);
+ } else if (parent_type is Struct) {
+ this_type = new StructValueType ((Struct) parent_type);
+ } else if (parent_type is Enum) {
+ this_type = new EnumValueType ((Enum) parent_type);
} else {
- this_type = new ValueType (parent_type);
+ assert_not_reached ();
}
CCodeFormalParameter instance_param = null;
valabinaryexpression.vala \
valablock.vala \
valabooleanliteral.vala \
+ valabooleantype.vala \
valabreakstatement.vala \
valacastexpression.vala \
valacatchclause.vala \
valaemptystatement.vala \
valaenum.vala \
valaenumvalue.vala \
+ valaenumvaluetype.vala \
valaerrorcode.vala \
valaerrordomain.vala \
valaerrortype.vala \
valaexpressionstatement.vala \
valafield.vala \
valafieldprototype.vala \
+ valafloatingtype.vala \
valaflowanalyzer.vala \
valaforeachstatement.vala \
valaformalparameter.vala \
valastatementlist.vala \
valastringliteral.vala \
valastruct.vala \
+ valastructvaluetype.vala \
valaswitchlabel.vala \
valaswitchsection.vala \
valaswitchstatement.vala \
/* valaarraytype.vala
*
- * Copyright (C) 2007-2008 Jürg Billeter
+ * Copyright (C) 2007-2009 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
var root_symbol = source_reference.file.context.root;
if (rank > 1) {
// length is an int[] containing the dimensions of the array, starting at 0
- ValueType integer = new ValueType((TypeSymbol) root_symbol.scope.lookup("int"));
+ ValueType integer = new IntegerType ((Struct) root_symbol.scope.lookup ("int"));
length_field.field_type = new ArrayType (integer, 1, source_reference);
} else {
- length_field.field_type = new ValueType ((TypeSymbol) root_symbol.scope.lookup ("int"));
+ length_field.field_type = new IntegerType ((Struct) root_symbol.scope.lookup ("int"));
}
}
resize_method.set_cname ("g_renew");
var root_symbol = source_reference.file.context.root;
- var int_type = new ValueType ((TypeSymbol) root_symbol.scope.lookup ("int"));
+ var int_type = new IntegerType ((Struct) root_symbol.scope.lookup ("int"));
resize_method.add_parameter (new FormalParameter ("length", int_type));
move_method.set_cname ("_vala_array_move");
var root_symbol = source_reference.file.context.root;
- var int_type = new ValueType ((TypeSymbol) root_symbol.scope.lookup ("int"));
+ var int_type = new IntegerType ((Struct) root_symbol.scope.lookup ("int"));
move_method.add_parameter (new FormalParameter ("src", int_type));
move_method.add_parameter (new FormalParameter ("dest", int_type));
/* valabinaryexpression.vala
*
- * Copyright (C) 2006-2008 Jürg Billeter
+ * Copyright (C) 2006-2009 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
// convert conditional expression into if statement
// required for flow analysis and exception handling
- var local = new LocalVariable (new ValueType (analyzer.bool_type.data_type), get_temp_name (), null, source_reference);
+ var local = new LocalVariable (analyzer.bool_type.copy (), get_temp_name (), null, source_reference);
var decl = new DeclarationStatement (local, source_reference);
decl.check (analyzer);
--- /dev/null
+/* valabooleantype.vala
+ *
+ * Copyright (C) 2009 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>
+ */
+
+using GLib;
+
+/**
+ * A boolean type.
+ */
+public class Vala.BooleanType : ValueType {
+ public BooleanType (Struct type_symbol) {
+ base (type_symbol);
+ }
+
+ public override DataType copy () {
+ var result = new BooleanType ((Struct) type_symbol);
+ result.source_reference = source_reference;
+ result.value_owned = value_owned;
+ result.nullable = nullable;
+ return result;
+ }
+}
/* valacharacterliteral.vala
*
- * Copyright (C) 2006-2008 Jürg Billeter, Raffaele Sandrini
+ * Copyright (C) 2006-2009 Jürg Billeter, Raffaele Sandrini
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public
checked = true;
- value_type = new ValueType ((TypeSymbol) analyzer.root_symbol.scope.lookup ("char"));
+ value_type = new IntegerType ((Struct) analyzer.root_symbol.scope.lookup ("char"));
return !error;
}
/* valadostatement.vala
*
- * Copyright (C) 2006-2008 Jürg Billeter
+ * Copyright (C) 2006-2009 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
* } while (true);
*/
- var first_local = new LocalVariable (new ValueType (analyzer.bool_type.data_type), get_temp_name (), new BooleanLiteral (false, source_reference), source_reference);
+ var first_local = new LocalVariable (analyzer.bool_type.copy (), get_temp_name (), new BooleanLiteral (false, source_reference), source_reference);
var first_decl = new DeclarationStatement (first_local, source_reference);
first_decl.check (analyzer);
var block = (Block) analyzer.current_symbol;
/* valaenum.vala
*
- * Copyright (C) 2006-2008 Jürg Billeter
+ * Copyright (C) 2006-2009 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
return;
}
if (m.binding == MemberBinding.INSTANCE) {
- m.this_parameter = new FormalParameter ("this", new ValueType (this));
+ m.this_parameter = new FormalParameter ("this", new EnumValueType (this));
m.scope.add (m.this_parameter.name, m.this_parameter);
}
--- /dev/null
+/* valaenumvaluetype.vala
+ *
+ * Copyright (C) 2009 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>
+ */
+
+using GLib;
+
+/**
+ * An enum value type.
+ */
+public class Vala.EnumValueType : ValueType {
+ public EnumValueType (Enum type_symbol) {
+ base (type_symbol);
+ }
+
+ public override DataType copy () {
+ var result = new EnumValueType ((Enum) type_symbol);
+ result.source_reference = source_reference;
+ result.value_owned = value_owned;
+ result.nullable = nullable;
+
+ return result;
+ }
+}
/* valaerrordomain.vala
*
- * Copyright (C) 2008 Jürg Billeter
+ * Copyright (C) 2008-2009 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
return;
}
if (m.binding == MemberBinding.INSTANCE) {
- m.this_parameter = new FormalParameter ("this", new ValueType (this));
+ m.this_parameter = new FormalParameter ("this", new ErrorType (this, null));
m.scope.add (m.this_parameter.name, m.this_parameter);
}
--- /dev/null
+/* valafloatingtype.vala
+ *
+ * Copyright (C) 2009 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>
+ */
+
+using GLib;
+
+/**
+ * A floating-point type.
+ */
+public class Vala.FloatingType : ValueType {
+ public FloatingType (Struct type_symbol) {
+ base (type_symbol);
+ }
+
+ public override DataType copy () {
+ var result = new FloatingType ((Struct) type_symbol);
+ result.source_reference = source_reference;
+ result.value_owned = value_owned;
+ result.nullable = nullable;
+ return result;
+ }
+}
checked = true;
- value_type = new IntegerType ((TypeSymbol) analyzer.root_symbol.scope.lookup (get_type_name ()), value, get_type_name ());
+ value_type = new IntegerType ((Struct) analyzer.root_symbol.scope.lookup (get_type_name ()), value, get_type_name ());
return !error;
}
/* valaintegertype.vala
*
- * Copyright (C) 2008 Jürg Billeter
+ * Copyright (C) 2008-2009 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
* An integer type.
*/
public class Vala.IntegerType : ValueType {
- string literal_value;
- string literal_type_name;
+ string? literal_value;
+ string? literal_type_name;
- public IntegerType (TypeSymbol type_symbol, string literal_value, string literal_type_name) {
- this.type_symbol = type_symbol;
- data_type = type_symbol;
+ public IntegerType (Struct type_symbol, string? literal_value = null, string? literal_type_name = null) {
+ base (type_symbol);
this.literal_value = literal_value;
this.literal_type_name = literal_type_name;
}
public override DataType copy () {
- return new IntegerType (type_symbol, literal_value, literal_type_name);
+ var result = new IntegerType ((Struct) type_symbol, literal_value, literal_type_name);
+ result.source_reference = source_reference;
+ result.value_owned = value_owned;
+ result.nullable = nullable;
+ return result;
}
public override bool compatible (DataType target_type) {
/* valaobjectcreationexpression.vala
*
- * Copyright (C) 2006-2008 Jürg Billeter
+ * Copyright (C) 2006-2009 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
type_reference = new ObjectType ((Class) type);
} else if (type_sym is Struct) {
type = (TypeSymbol) type_sym;
- type_reference = new ValueType (type);
+ type_reference = new StructValueType ((Struct) type);
} else if (type_sym is ErrorCode) {
type_reference = new ErrorType ((ErrorDomain) type_sym.parent_symbol, (ErrorCode) type_sym, source_reference);
symbol_reference = type_sym;
/* valarealliteral.vala
*
- * Copyright (C) 2006-2008 Jürg Billeter
+ * Copyright (C) 2006-2009 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
checked = true;
- value_type = new ValueType ((TypeSymbol) analyzer.root_symbol.scope.lookup (get_type_name ()));
+ value_type = new FloatingType ((Struct) analyzer.root_symbol.scope.lookup (get_type_name ()));
return !error;
}
/* valasemanticanalyzer.vala
*
- * Copyright (C) 2006-2008 Jürg Billeter, Raffaele Sandrini
+ * Copyright (C) 2006-2009 Jürg Billeter, Raffaele Sandrini
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public
root_symbol = context.root;
- bool_type = new ValueType ((TypeSymbol) root_symbol.scope.lookup ("bool"));
+ bool_type = new BooleanType ((Struct) root_symbol.scope.lookup ("bool"));
string_type = new ObjectType ((Class) root_symbol.scope.lookup ("string"));
- uchar_type = new ValueType ((TypeSymbol) root_symbol.scope.lookup ("uchar"));
- short_type = new ValueType ((TypeSymbol) root_symbol.scope.lookup ("short"));
- ushort_type = new ValueType ((TypeSymbol) root_symbol.scope.lookup ("ushort"));
- int_type = new ValueType ((TypeSymbol) root_symbol.scope.lookup ("int"));
- uint_type = new ValueType ((TypeSymbol) root_symbol.scope.lookup ("uint"));
- long_type = new ValueType ((TypeSymbol) root_symbol.scope.lookup ("long"));
- ulong_type = new ValueType ((TypeSymbol) root_symbol.scope.lookup ("ulong"));
- size_t_type = new ValueType ((TypeSymbol) root_symbol.scope.lookup ("size_t"));
- ssize_t_type = new ValueType ((TypeSymbol) root_symbol.scope.lookup ("ssize_t"));
- uint64_type = new ValueType ((TypeSymbol) root_symbol.scope.lookup ("uint64"));
- int8_type = new ValueType ((TypeSymbol) root_symbol.scope.lookup ("int8"));
- unichar_type = new ValueType ((TypeSymbol) root_symbol.scope.lookup ("unichar"));
- double_type = new ValueType ((TypeSymbol) root_symbol.scope.lookup ("double"));
+ uchar_type = new IntegerType ((Struct) root_symbol.scope.lookup ("uchar"));
+ short_type = new IntegerType ((Struct) root_symbol.scope.lookup ("short"));
+ ushort_type = new IntegerType ((Struct) root_symbol.scope.lookup ("ushort"));
+ int_type = new IntegerType ((Struct) root_symbol.scope.lookup ("int"));
+ uint_type = new IntegerType ((Struct) root_symbol.scope.lookup ("uint"));
+ long_type = new IntegerType ((Struct) root_symbol.scope.lookup ("long"));
+ ulong_type = new IntegerType ((Struct) root_symbol.scope.lookup ("ulong"));
+ size_t_type = new IntegerType ((Struct) root_symbol.scope.lookup ("size_t"));
+ ssize_t_type = new IntegerType ((Struct) root_symbol.scope.lookup ("ssize_t"));
+ uint64_type = new IntegerType ((Struct) root_symbol.scope.lookup ("uint64"));
+ int8_type = new IntegerType ((Struct) root_symbol.scope.lookup ("int8"));
+ unichar_type = new IntegerType ((Struct) root_symbol.scope.lookup ("unichar"));
+ double_type = new FloatingType ((Struct) root_symbol.scope.lookup ("double"));
// TODO: don't require GLib namespace in semantic analyzer
var glib_ns = root_symbol.scope.lookup ("GLib");
object_type = (Class) glib_ns.scope.lookup ("Object");
initially_unowned_type = (TypeSymbol) glib_ns.scope.lookup ("InitiallyUnowned");
- type_type = new ValueType ((TypeSymbol) glib_ns.scope.lookup ("Type"));
+ type_type = new IntegerType ((Struct) glib_ns.scope.lookup ("Type"));
glist_type = new ObjectType ((Class) glib_ns.scope.lookup ("List"));
gslist_type = new ObjectType ((Class) glib_ns.scope.lookup ("SList"));
}
return type;
} else if (sym is EnumValue) {
- return new ValueType ((TypeSymbol) sym.parent_symbol);
+ return new EnumValueType ((Enum) sym.parent_symbol);
} else if (sym is Method) {
return new MethodType ((Method) sym);
} else if (sym is Signal) {
if (sym is ObjectTypeSymbol) {
type = new ObjectType ((ObjectTypeSymbol) sym);
} else if (sym is Struct) {
- type = new ValueType ((Struct) sym);
+ var st = (Struct) sym;
+ if (st.is_boolean_type ()) {
+ type = new BooleanType (st);
+ } else if (st.is_integer_type ()) {
+ type = new IntegerType (st);
+ } else if (st.is_floating_type ()) {
+ type = new FloatingType (st);
+ } else {
+ type = new StructValueType (st);
+ }
} else if (sym is Enum) {
- type = new ValueType ((Enum) sym);
+ type = new EnumValueType ((Enum) sym);
} else if (sym is ErrorDomain) {
type = new ErrorType ((ErrorDomain) sym, null);
} else if (sym is ErrorCode) {
/* valastruct.vala
*
- * Copyright (C) 2006-2008 Jürg Billeter
+ * Copyright (C) 2006-2009 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
private string type_id;
private string lower_case_cprefix;
private string lower_case_csuffix;
+ private bool boolean_type;
private bool integer_type;
private bool floating_type;
private int rank;
return_if_fail (m != null);
if (m.binding == MemberBinding.INSTANCE || m is CreationMethod) {
- m.this_parameter = new FormalParameter ("this", new ValueType (this));
+ m.this_parameter = new FormalParameter ("this", new StructValueType (this));
m.scope.add (m.this_parameter.name, m.this_parameter);
}
if (!(m.return_type is VoidType) && m.get_postconditions ().size > 0) {
return type_signature;
}
+ /**
+ * Returns whether this is a boolean type.
+ *
+ * @return true if this is a boolean type, false otherwise
+ */
+ public bool is_boolean_type () {
+ foreach (DataType type in base_types) {
+ var st = type.data_type as Struct;
+ if (st != null && st.is_boolean_type ()) {
+ return true;
+ }
+ }
+ return boolean_type;
+ }
+
/**
* Returns whether this is an integer type.
*
}
}
+ private void process_boolean_type_attribute (Attribute a) {
+ boolean_type = true;
+ }
+
private void process_integer_type_attribute (Attribute a) {
integer_type = true;
if (a.has_argument ("rank")) {
rank = a.get_integer ("rank");
}
}
-
+
private void process_floating_type_attribute (Attribute a) {
floating_type = true;
if (a.has_argument ("rank")) {
foreach (Attribute a in attributes) {
if (a.name == "CCode") {
process_ccode_attribute (a);
+ } else if (a.name == "BooleanType") {
+ process_boolean_type_attribute (a);
} else if (a.name == "IntegerType") {
process_integer_type_attribute (a);
} else if (a.name == "FloatingType") {
--- /dev/null
+/* valastructvaluetype.vala
+ *
+ * Copyright (C) 2009 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>
+ */
+
+using GLib;
+
+/**
+ * A struct value type.
+ */
+public class Vala.StructValueType : ValueType {
+ public StructValueType (Struct type_symbol) {
+ base (type_symbol);
+ }
+
+ public override DataType copy () {
+ var result = new StructValueType ((Struct) type_symbol);
+ result.source_reference = source_reference;
+ result.value_owned = value_owned;
+ result.nullable = nullable;
+
+ foreach (DataType arg in get_type_arguments ()) {
+ result.add_type_argument (arg.copy ());
+ }
+
+ return result;
+ }
+}
/* valasymbolresolver.vala
*
- * Copyright (C) 2006-2008 Jürg Billeter, Raffaele Sandrini
+ * Copyright (C) 2006-2009 Jürg Billeter, Raffaele Sandrini
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public
} else if (sym is Interface) {
type = new ObjectType ((Interface) sym);
} else if (sym is Struct) {
- type = new ValueType ((Struct) sym);
+ var st = (Struct) sym;
+ if (st.is_boolean_type ()) {
+ type = new BooleanType (st);
+ } else if (st.is_integer_type ()) {
+ type = new IntegerType (st);
+ } else if (st.is_floating_type ()) {
+ type = new FloatingType (st);
+ } else {
+ type = new StructValueType (st);
+ }
} else if (sym is Enum) {
- type = new ValueType ((Enum) sym);
+ type = new EnumValueType ((Enum) sym);
} else if (sym is ErrorDomain) {
type = new ErrorType ((ErrorDomain) sym, null, unresolved_type.source_reference);
} else if (sym is ErrorCode) {
/* valavaluetype.vala
*
- * Copyright (C) 2007-2008 Jürg Billeter
+ * Copyright (C) 2007-2009 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
/**
* A value type, i.e. a struct or an enum type.
*/
-public class Vala.ValueType : DataType {
+public abstract class Vala.ValueType : DataType {
/**
* The referred struct or enum.
*/
data_type = type_symbol;
}
- public override DataType copy () {
- var result = new ValueType (type_symbol);
- result.source_reference = source_reference;
- result.value_owned = value_owned;
- result.nullable = nullable;
- result.is_dynamic = is_dynamic;
- result.floating_reference = floating_reference;
-
- foreach (DataType arg in get_type_arguments ()) {
- result.add_type_argument (arg.copy ());
- }
-
- return result;
- }
-
public override string? get_cname () {
string ptr = "";
if (nullable) {
[SimpleType]
[CCode (cname = "gboolean", cheader_filename = "glib.h", type_id = "G_TYPE_BOOLEAN", marshaller_type_name = "BOOLEAN", get_value_function = "g_value_get_boolean", set_value_function = "g_value_set_boolean", default_value = "FALSE", type_signature = "b")]
+[BooleanType]
public struct bool {
public string to_string () {
if (this) {
projects / thirdparty / vala.git / commitdiff
