DecFuncao.java

Go to the documentation of this file.

package plp.functional2.declaration;

import java.util.List;

import plp.expressions1.util.Tipo;
import plp.expressions2.expression.Expressao;
import plp.expressions2.expression.Id;
import plp.expressions2.memory.AmbienteCompilacao;
import plp.expressions2.memory.VariavelJaDeclaradaException;
import plp.expressions2.memory.VariavelNaoDeclaradaException;
import plp.functional1.declaration.DeclaracaoFuncional;
import plp.functional2.expression.ValorFuncao;

public class DecFuncao implements DeclaracaoFuncional {
        private Id id;
        private ValorFuncao valorFuncao;

        public DecFuncao(Id idFun, ValorFuncao valorFuncao) {
                this.id = idFun;
                this.valorFuncao = valorFuncao;
        }

        public String toString() {
                StringBuffer sb = new StringBuffer();
                sb.append("fun ");
                sb.append(id.toString());
                sb.append(" (");
                List<Id> listaId = valorFuncao.getListaId();
                if (listaId != null) {
                        for(Id id:listaId){
                                sb.append(id.toString());
                                        sb.append(", ");
                        }
                }
                sb.append(") = ");
                sb.append(valorFuncao.getExp().toString());
                return sb.toString();
        }

        public Id getID() {
                return id;
        }

        public Expressao getExpressao() {
                return valorFuncao.getExp();
        }

        public ValorFuncao getFuncao() {
                return valorFuncao;
        }

        public int getAridade() {
                return valorFuncao.getAridade();
        }

        public boolean checaTipo(AmbienteCompilacao ambiente)
                throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException {
                ambiente.incrementa();
                Tipo tipo = new Tipo();
                for (int i = getAridade() - 1; i >= 0; i--) {
                        tipo = new Tipo(tipo);
                }
                ambiente.map(id, tipo);
                boolean result = valorFuncao.checaTipo(ambiente);
                ambiente.restaura();
                return result;
        }

        public Tipo getTipo(AmbienteCompilacao amb)
                throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException {
                amb.incrementa();
                Tipo tipo = new Tipo();
                for (int i = getAridade() - 1; i >= 0; i--) {
                        tipo = new Tipo(tipo);
                }
                amb.map(id, tipo);
                Tipo result = valorFuncao.getTipo(amb);
                amb.restaura();
                return result;
        }
}

---