valaexpression.vala 3.03 KB
Newer Older
1 2
/* valaexpression.vala
 *
3
 * Copyright (C) 2006-2010  Jürg Billeter
4 5 6 7
 *
 * 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
8
 * version 2.1 of the License, or (at your option) any later version.
9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24

 * 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;

25 26 27 28 29
/**
 * Base class for all code nodes that might be used as an expression.
 */
public abstract class Vala.Expression : CodeNode {
	/**
30
	 * The static type of the value of this expression.
31
	 *
32 33
	 * The semantic analyzer computes this value.
	 */
34
	public DataType value_type { get; set; }
35

36
	public DataType? formal_value_type { get; set; }
37

38 39 40 41 42
	/*
	 * The static type this expression is expected to have.
	 *
	 * The semantic analyzer computes this value, lambda expressions use it.
	 */
43
	public DataType target_type { get; set; }
44

45
	public DataType? formal_target_type { get; set; }
46

47 48 49
	/**
	 * The symbol this expression refers to.
	 */
50
	public weak Symbol symbol_reference { get; set; }
51

52 53 54 55 56 57
	/**
	 * Specifies that this expression is used as lvalue, i.e. the
	 * left hand side of an assignment.
	 */
	public bool lvalue { get; set; }

Jürg Billeter's avatar
Jürg Billeter committed
58
	public TargetValue? target_value { get; set; }
59

60 61 62 63 64 65 66 67
	/**
	 * Returns whether this expression is constant, i.e. whether this
	 * expression only consists of literals and other constants.
	 */
	public virtual bool is_constant () {
		return false;
	}

68 69 70 71 72
	/**
	 * Returns whether this expression is pure, i.e. whether this expression
	 * is free of side-effects.
	 */
	public abstract bool is_pure ();
73 74 75 76 77 78 79

	/**
	 * Returns whether this expression is guaranteed to be non-null.
	 */
	public virtual bool is_non_null () {
		return false;
	}
80

81 82 83 84 85 86 87 88
	/**
	 * Check whether symbol_references in this expression are at least
	 * as accessible as the specified symbol.
	 */
	public virtual bool is_accessible (Symbol sym) {
		return true;
	}

89 90 91 92 93
	public Statement? parent_statement {
		get {
			var expr = parent_node as Expression;
			var stmt = parent_node as Statement;
			var local = parent_node as LocalVariable;
94
			var initializer = parent_node as MemberInitializer;
95
			if (stmt != null) {
96
				return (Statement) parent_node;
97 98 99 100
			} else if (expr != null) {
				return expr.parent_statement;
			} else if (local != null) {
				return (Statement) local.parent_node;
101 102
			} else if (initializer != null) {
				return ((Expression)initializer.parent_node).parent_statement;
103 104 105 106 107 108 109 110 111
			} else {
				return null;
			}
		}
	}

	public void insert_statement (Block block, Statement stmt) {
		block.insert_before (parent_statement, stmt);
	}
112
}