plp.orientadaObjetos1.declaracao.variavel
Class DecCanal

java.lang.Object
  plp.orientadaObjetos1.declaracao.variavel.DecCanal

All Implemented Interfaces:

Declaracao, DecVariavel

public class DecCanal
extends java.lang.Object
implements DecVariavel

Classe que representa uma declaraçao de canal simples.

Field Summary

private Expressao	expressao Vetor que representa o canal.
private Id	id Variável declarada.
private Tipo	tipo Tipo da variável declada.

Constructor Summary

DecCanal(Id id)
Construtor.

Method Summary

boolean	checaTipo(AmbienteCompilacao ambiente) Verifica se a declaração está bem tipada, ou seja, se a expressão de inicialização está bem tipada.
AmbienteExecucao	elabora(AmbienteExecucao 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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

tipo

private Tipo tipo

Tipo da variável declada.

id

private Id id

Variável declarada.

expressao

private Expressao expressao

Vetor que representa o canal.

Constructor Detail

DecCanal

public DecCanal(Id id)

Construtor.

Parameters:

tipo - Tipo da variável declarada.

id - Variável declarada.

expressao - Expressão cujo valor será atribuído à variável.

Method Detail

getTipo

public Tipo getTipo(Id id)
             throws VariavelNaoDeclaradaException

Retorna o tipo do identificador a ser declarado no AmbienteCompilacao

Specified by:

getTipo in interface DecVariavel

Parameters:

id - o identificador da declaracao

Returns:

o tipo do identificador

Throws:

VariavelNaoDeclaradaException

elabora

public AmbienteExecucao elabora(AmbienteExecucao ambiente)
                         throws VariavelJaDeclaradaException,
                                VariavelNaoDeclaradaException,
                                ObjetoNaoDeclaradoException,
                                ObjetoJaDeclaradoException

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

Specified by:

elabora in interface Declaracao

Specified by:

elabora in interface DecVariavel

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

ObjetoNaoDeclaradoException

ObjetoJaDeclaradoException

checaTipo

public boolean checaTipo(AmbienteCompilacao ambiente)
                  throws VariavelNaoDeclaradaException,
                         VariavelJaDeclaradaException,
                         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

Specified by:

checaTipo in interface DecVariavel

Parameters:

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

Returns:

true se a expressão é bem tipada; false caso contrario.

Throws:

VariavelNaoDeclaradaException

VariavelJaDeclaradaException

ClasseNaoDeclaradaException