plp.orientadaObjetos1.expressao.valor
Class ValorCanal

java.lang.Object
  plp.orientadaObjetos1.expressao.valor.ValorCanal

All Implemented Interfaces:

Expressao, Valor

public class ValorCanal
extends java.lang.Object
implements Valor

Constructor Summary

ValorCanal()

Method Summary

Valor	avaliar(AmbienteExecucao ambiente) Avalia a expressao retornando seu Valor.
boolean	checaTipo(AmbienteCompilacao ambiente) Realiza a verificacao de tipos desta expressao.
Valor	get()
Tipo	getTipo(AmbienteCompilacao ambiente) Retorna os tipos possiveis desta expressao.
void	put(Valor v)

Methods inherited from class java.lang.Object

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

Constructor Detail

ValorCanal

public ValorCanal()

Method Detail

get

public Valor get()

put

public void put(Valor v)

getTipo

public Tipo getTipo(AmbienteCompilacao ambiente)

Description copied from interface: Expressao

Retorna os tipos possiveis desta expressao.

Specified by:

getTipo in interface Expressao

Specified by:

getTipo in interface Valor

Parameters:

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

Returns:

os tipos possiveis desta expressao.

avaliar

public Valor avaliar(AmbienteExecucao ambiente)
              throws VariavelNaoDeclaradaException,
                     VariavelJaDeclaradaException,
                     ObjetoNaoDeclaradoException

Description copied from interface: Expressao

Avalia a expressao retornando seu Valor.

Specified by:

avaliar in interface Expressao

Throws:

VariavelNaoDeclaradaException

VariavelJaDeclaradaException

ObjetoNaoDeclaradoException

checaTipo

public boolean checaTipo(AmbienteCompilacao ambiente)
                  throws VariavelNaoDeclaradaException,
                         ClasseNaoDeclaradaException

Description copied from interface: Expressao

Realiza a verificacao de tipos desta expressao.

Specified by:

checaTipo in interface Expressao

Parameters:

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

Returns:

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

Throws:

VariavelNaoDeclaradaException

ClasseNaoDeclaradaException