/*
 * Copyright 2010 Pablo Arrighi, Alex Concha, Miguel Lezama for version 1.
 * Copyright 2013 Pablo Arrighi, Miguel Lezama, Kevin Mazet for version 2.    
 *
 * This file is part of GOOL.
 *
 * GOOL is free software: you can redistribute it and/or modify it under the terms of the GNU
 * General Public License as published by the Free Software Foundation, version 3.
 *
 * GOOL 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 General Public License version 3 for more details.
 *
 * You should have received a copy of the GNU General Public License along with GOOL,
 * in the file COPYING.txt.  If not, see <http://www.gnu.org/licenses/>.
 */

package gool.ast.core;

import gool.ast.type.IType;

/**
 * This interface is implemented by all things yielding a value in the
 * intermediate language. Because expressions are frequently voided to be used
 * as statements in OO languages, our expressions can also be statements
 * 
 * @param T
 *            is the type of the value, if known at compile time, otherwise put
 *            OOTType. That way java generics grant us some level of type
 *            checking of the generated code at compiler design time. Sometimes
 *            we will not be able to use this though, because we will not know T
 *            at compiler design time.
 */
public abstract class Expression extends Statement {

	/**
	 * The return type.
	 */
	private IType type;

	/**
	 * The constructor of an expression representation.
	 * @param type
	 * 		: The return type.
	 */
	protected Expression(IType type) {
		this.type = type;
	}

	/**
	 * Gets the return type in an expression representation.
	 * @return
	 * 		The return type in an expression representation.
	 */
	public IType getType() {
		return type;
	}

	/**
	 * Sets the return type in an expression representation.
	 * @param type
	 * 		: The new return type in an expression representation.
	 */
	public void setType(IType type) {
		this.type = type;
	}

}