path: root/vala/valainitializerlist.vala

/* valainitializerlist.vala
 *
 * Copyright (C) 2006-2011  Jürg Billeter
 * Copyright (C) 2006-2008  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
 *
 * Author:
 * 	Jürg Billeter <j@bitron.ch>
 * 	Raffaele Sandrini <raffaele@sandrini.ch>
 */

using GLib;

/**
 * Represents an array or struct initializer list in the source code.
 */
public class Vala.InitializerList : Expression {
	private List<Expression> initializers = new ArrayList<Expression> ();

	/**
	 * Appends the specified expression to this initializer
	 *
	 * @param expr an expression
	 */
	public void append (Expression expr) {
		initializers.add (expr);
		expr.parent_node = this;
	}

	/**
	 * Returns the initializer expression list
	 *
	 * @return expression list
	 */
	public unowned List<Expression> get_initializers () {
		return initializers;
	}

	/**
	 * Returns the initializer count in this initializer
	 */
	public int size {
		get { return initializers.size; }
	}

	/**
	 * Creates a new initializer
	 *
	 * @param source_reference reference to source code
	 * @return                 newly created initializer list
	 */
	public InitializerList (SourceReference? source_reference = null) {
		this.source_reference = source_reference;
	}

	public override void accept_children (CodeVisitor visitor) {
		foreach (Expression expr in initializers) {
			expr.accept (visitor);
		}
	}

	public override void accept (CodeVisitor visitor) {
		visitor.visit_initializer_list (this);

		visitor.visit_expression (this);
	}

	public override bool is_constant () {
		foreach (Expression initializer in initializers) {
			if (!initializer.is_constant ()) {
				return false;
			}
		}
		return !(target_type == null || target_type.is_disposable ());
	}

	public override bool is_pure () {
		foreach (Expression initializer in initializers) {
			if (!initializer.is_pure ()) {
				return false;
			}
		}
		return true;
	}

	public override bool is_accessible (Symbol sym) {
		foreach (Expression initializer in initializers) {
			if (!initializer.is_accessible (sym)) {
				return false;
			}
		}

		return true;
	}

	public override string to_string () {
		var builder = new StringBuilder ("{");
		bool first = true;
		foreach (var initializer in initializers) {
			if (first) {
				builder.append (initializer.to_string ());
				first = false;
			} else {
				builder.append_printf (", %s", initializer.to_string ());
			}
		}
		builder.append_c ('}');
		return builder.str;
	}

	public override void replace_expression (Expression old_node, Expression new_node) {
		for (int i = 0; i < initializers.size; i++) {
			if (initializers[i] == old_node) {
				initializers[i] = new_node;
				new_node.parent_node = this;
			}
		}
	}

	public override bool check (CodeContext context) {
		if (checked) {
			return !error;
		}

		checked = true;

		if (target_type == null) {
			error = true;
			Report.error (source_reference, "initializer list used for unknown type");
			return false;
		} else if (target_type.error) {
			error = true;
			return false;
		} else if (target_type is ArrayType) {
			/* initializer is used as array initializer */
			unowned ArrayType array_type = (ArrayType) target_type;

			bool requires_constants_only = false;
			bool is_global_constant_inline = false;
			unowned CodeNode? node = parent_node;
			while (node != null) {
				if (node is Constant) {
					requires_constants_only = true;
					break;
				} else if (node is Field && ((Field) node).parent_symbol is Namespace) {
					is_global_constant_inline = array_type.inline_allocated && is_constant ();
				}
				node = node.parent_node;
			}

			if (!(parent_node is ArrayCreationExpression) && !requires_constants_only && !is_global_constant_inline
			    && (!(parent_node is InitializerList) || ((InitializerList) parent_node).target_type.type_symbol is Struct)) {
				// transform shorthand form
				//     int[] array = { 42 };
				// into
				//     int[] array = new int[] { 42 };

				var old_parent_node = parent_node;

				var array_creation = new ArrayCreationExpression (array_type.element_type.copy (), array_type.rank, this, source_reference);
				array_creation.length_type = array_type.length_type.copy ();
				array_creation.target_type = target_type;
				array_creation.formal_target_type = formal_target_type;
				old_parent_node.replace_expression (this, array_creation);

				checked = false;
				return array_creation.check (context);
			}

			DataType inner_target_type;
			if (array_type.rank > 1) {
				// allow initialization of multi-dimensional arrays
				var inner_array_type = (ArrayType) array_type.copy ();
				inner_array_type.rank--;
				inner_target_type = inner_array_type;
			} else {
				inner_target_type = array_type.element_type.copy ();
			}

			foreach (Expression e in get_initializers ()) {
				e.target_type = inner_target_type;
			}
		} else if (target_type.type_symbol is Struct) {
			/* initializer is used as struct initializer */
			unowned Struct st = (Struct) target_type.type_symbol;
			while (st.base_struct != null) {
				st = st.base_struct;
			}

			var in_array_creation_initializer = parent_node is InitializerList && parent_node.parent_node is ArrayCreationExpression;
			ObjectCreationExpression? struct_creation = null;
			if (in_array_creation_initializer) {
				unowned Symbol? sym = st;
				var ma = new MemberAccess.simple (sym.name, source_reference);
				ma.symbol_reference = sym;
				MemberAccess inner = ma;
				while (sym.parent_symbol != null && sym.parent_symbol != context.root) {
					sym = sym.parent_symbol;
					var ma_inner = new MemberAccess.simple (sym.name, source_reference);
					inner.inner = ma_inner;
					inner = ma_inner;
				}
				struct_creation = new ObjectCreationExpression (ma, source_reference);
				struct_creation.target_type = target_type.copy ();
				struct_creation.struct_creation = true;
			}

			var field_it = st.get_fields ().iterator ();
			foreach (Expression e in get_initializers ()) {
				Field field = null;
				while (field == null) {
					if (!field_it.next ()) {
						error = true;
						Report.error (e.source_reference, "too many expressions in initializer list for `%s'", target_type.to_string ());
						return false;
					}
					field = field_it.get ();
					if (field.binding != MemberBinding.INSTANCE) {
						// we only initialize instance fields
						field = null;
					}
				}

				if (in_array_creation_initializer) {
					var member_init = new MemberInitializer (field.name, e, e.source_reference);
					struct_creation.add_member_initializer (member_init);
				} else {
					e.target_type = field.variable_type.copy ();
					if (!target_type.value_owned) {
						e.target_type.value_owned = false;
					}
				}
			}

			if (in_array_creation_initializer) {
				parent_node.replace_expression (this, struct_creation);
				checked = false;
				return struct_creation.check (context);
			}
		} else {
			error = true;
			Report.error (source_reference, "initializer list used for `%s', which is neither array nor struct", target_type.to_string ());
			return false;
		}

		foreach (Expression expr in initializers) {
			if (!expr.check (context)) {
				error = true;
			}
		}

		if (error) {
			return false;
		}

		foreach (Expression e in get_initializers ()) {
			if (e.value_type == null) {
				error = true;
				Report.error (e.source_reference, "expression type not allowed as initializer");
				continue;
			}

			if (e is NullLiteral && e.target_type != null && e.target_type.is_real_non_null_struct_type ()) {
				// Allow using null instead of {} to initialize struct
			} else if (!e.value_type.compatible (e.target_type)) {
				error = true;
				e.error = true;
				Report.error (e.source_reference, "Expected initializer of type `%s' but got `%s'", e.target_type.to_string (), e.value_type.to_string ());
			}
		}

		if (!error) {
			/* everything seems to be correct */
			value_type = target_type.copy ();
			value_type.nullable = false;
		}

		if (value_type != null) {
			value_type.check (context);
		}

		return !error;
	}

	public override void emit (CodeGenerator codegen) {
		foreach (Expression expr in initializers) {
			expr.emit (codegen);
		}

		codegen.visit_initializer_list (this);

		codegen.visit_expression (this);
	}

	public override void get_used_variables (Collection<Variable> collection) {
		foreach (Expression expr in initializers) {
			expr.get_used_variables (collection);
		}
	}
}