plp.orientadaObjetos1.memoria
Interface AmbienteCompilacaoOO1

All Superinterfaces:

Ambiente<Tipo>, AmbienteOO1<Tipo>

All Known Implementing Classes:

ContextoCompilacaoOO1

public interface AmbienteCompilacaoOO1
extends AmbienteOO1<Tipo>

Classe que representa o ambiente de compilação, contendo o mapeamento entre identificadores e tipos.

Method Summary

ListaDeclaracaoParametro	getParametrosProcedimento(Id idArg) Obtém a tail de parâmetros associada a um identificador que representa nome do método.
Tipo	getTipoEntrada() Obtém o tipo da entrada atual para este ambiente.
void	mapParametrosProcedimento(Id idArg, ListaDeclaracaoParametro parametrosId) Mapeia um identificador representando um método aos seus parâmetros.

Methods inherited from interface plp.orientadaObjetos1.memoria.AmbienteOO1

getDefClasse, mapDefClasse

Methods inherited from interface plp.expressions2.memory.Ambiente

get, incrementa, map, restaura

Method Detail

mapParametrosProcedimento

void mapParametrosProcedimento(Id idArg,
                               ListaDeclaracaoParametro parametrosId)
                               throws ProcedimentoJaDeclaradoException

Mapeia um identificador representando um método aos seus parâmetros.

Parameters:

idArg - identificador do método.

parametrosId - Parâmetros do método

Throws:

ProcedimentoJaDeclaradoException - quando o procedimento já foi declarado.

getParametrosProcedimento

ListaDeclaracaoParametro getParametrosProcedimento(Id idArg)
                                                   throws ProcedimentoNaoDeclaradoException

Obtém a tail de parâmetros associada a um identificador que representa nome do método.

Parameters:

idArg - Identificador que representa o nome do método.

Returns:

Lista de parâmetros Lista de parâmetros associada a um identificador que representa nome do método.

Throws:

ProcedimentoNaoDeclaradoException - quando não foi declarado nenhum método com esse id.

getTipoEntrada

Tipo getTipoEntrada()
                    throws VariavelNaoDeclaradaException

Obtém o tipo da entrada atual para este ambiente.

Returns:

o tipo da entrada.

Throws:

VariavelNaoDeclaradaException - quando a entrada atual é uma variável não declarada.