plp.orientadaObjetos1.declaracao.variavel
Interface DecVariavel

All Superinterfaces:

Declaracao

All Known Implementing Classes:

CompostaDecVariavel, DecVariavelObjeto, SimplesDecVariavel

public interface DecVariavel
extends Declaracao

Interface representando uma declaração de variável.

Method Summary

boolean	checaTipo(AmbienteCompilacaoOO1 ambiente) Verifica se a declaração está bem tipada, ou seja, se a expressão de inicialização está bem tipada.
AmbienteExecucaoOO1	elabora(AmbienteExecucaoOO1 ambiente) Cria um mapeamento do identificador para o valor da expressão desta declaração no AmbienteExecucao
Tipo	getTipo(Id id) Retorna o tipo do identificador a ser declarado no AmbienteCompilacao

Method Detail

getTipo

Tipo getTipo(Id id)
             throws VariavelNaoDeclaradaException

Retorna o tipo do identificador a ser declarado no AmbienteCompilacao

Parameters:

id - o identificador da declaracao

Returns:

o tipo do identificador

Throws:

VariavelNaoDeclaradaException

elabora

AmbienteExecucaoOO1 elabora(AmbienteExecucaoOO1 ambiente)
                            throws VariavelJaDeclaradaException,
                                   VariavelNaoDeclaradaException,
                                   ClasseJaDeclaradaException,
                                   ClasseNaoDeclaradaException,
                                   ObjetoNaoDeclaradoException,
                                   ObjetoJaDeclaradoException

Cria um mapeamento do identificador para o valor da expressão desta declaração no AmbienteExecucao

Specified by:

elabora in interface Declaracao

Parameters:

ambiente - o ambiente que contem o mapeamento entre identificadores e valores.

Returns:

o ambiente modificado pela inicialização da variável.

Throws:

VariavelJaDeclaradaException

VariavelNaoDeclaradaException

ClasseJaDeclaradaException

ClasseNaoDeclaradaException

ObjetoNaoDeclaradoException

ObjetoJaDeclaradoException

checaTipo

boolean checaTipo(AmbienteCompilacaoOO1 ambiente)
                  throws VariavelNaoDeclaradaException,
                         VariavelJaDeclaradaException,
                         ClasseJaDeclaradaException,
                         ClasseNaoDeclaradaException

Verifica se a declaração está bem tipada, ou seja, se a expressão de inicialização está bem tipada.

Specified by:

checaTipo in interface Declaracao

Parameters:

ambiente - o ambiente que contem o mapeamento entre identificadores e seus tipos.

Returns:

true se os tipos da declaração são válidos; false caso contrario.

Throws:

VariavelNaoDeclaradaException

VariavelJaDeclaradaException

ClasseJaDeclaradaException

ClasseNaoDeclaradaException