package lf3.plp.functional3.expression;

import lf3.plp.expressions1.util.Tipo;
import lf3.plp.expressions1.util.TipoPrimitivo;
import lf3.plp.expressions2.expression.ExpBinaria;
import lf3.plp.expressions2.expression.Expressao;
import lf3.plp.expressions2.expression.Valor;
import lf3.plp.expressions2.expression.ValorInteiro;
import lf3.plp.expressions2.memory.AmbienteCompilacao;
import lf3.plp.expressions2.memory.AmbienteExecucao;
import lf3.plp.expressions2.memory.VariavelJaDeclaradaException;
import lf3.plp.expressions2.memory.VariavelNaoDeclaradaException;
import lf3.plp.functional3.util.TipoLista;

public class ExpSequencia extends ExpBinaria {

	public ExpSequencia(Expressao inicio, Expressao fim) {
		super(inicio, fim, "..");
	}

	@Override
	protected boolean checaTipoElementoTerminal(AmbienteCompilacao amb)
			throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException {
		return getEsq().getTipo(amb).eInteiro()
				&& getDir().getTipo(amb).eInteiro();
	}

	public Valor avaliar(AmbienteExecucao amb)
			throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException {

		ValorInteiro esq = (ValorInteiro) getEsq().avaliar(amb);
		ValorInteiro dir = (ValorInteiro) getDir().avaliar(amb);

		ValorLista retorno = ValorLista.getInstancia(null, null);

		int fim = dir.valor();
		int inicio = esq.valor();
		int incremento = inicio < fim ? 1 : -1;
		if (inicio < fim) {
			for (int i = fim; i >= inicio; i -= incremento) {
				retorno.cons(new ValorInteiro(i));
			}
		} else {
			for (int i = fim; i <= inicio; i -= incremento) {
				retorno.cons(new ValorInteiro(i));
			}
		}

		return retorno;
	}

	public Tipo getTipo(AmbienteCompilacao amb)
			throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException {
		return new TipoLista(TipoPrimitivo.INTEIRO);
	}

	@Override
	public String toString() {
		return String.format("[%s]", super.toString());
	}
	
	public ExpSequencia clone() {
		return new ExpSequencia(this.esq.clone(), this.dir.clone());
	}
}