plp.orientadaObjetos1.comando
Class Atribuicao

java.lang.Object
  plp.orientadaObjetos1.comando.Atribuicao

All Implemented Interfaces:

Comando

Direct Known Subclasses:

AtribuicaoOO2

public class Atribuicao
extends java.lang.Object
implements Comando

Classe que representa um comando de atribuição.

Constructor Summary

Atribuicao(LeftExpression av, Expressao expressao)
Construtor.

Method Summary

boolean	checaTipo(AmbienteCompilacao ambiente) Um comando de atribuição está bem tipado, se o tipo do identificador é o mesmo da expressão.
AmbienteExecucao	executar(AmbienteExecucao ambiente) Executa a atribuição.
LeftExpression	getAv()
Expressao	getExpressao()

Methods inherited from class java.lang.Object

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

Constructor Detail

Atribuicao

public Atribuicao(LeftExpression av,
                  Expressao expressao)

Construtor.

Parameters:

av - Lado esquerdo

expressao - Expressão cujo valor será atribuído ao lado esquerdo.

Method Detail

executar

public AmbienteExecucao executar(AmbienteExecucao ambiente)
                          throws VariavelJaDeclaradaException,
                                 VariavelNaoDeclaradaException,
                                 ObjetoNaoDeclaradoException

Executa a atribuição.

Specified by:

executar in interface Comando

Parameters:

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

Returns:

o ambiente modificado pela execução da atribuição.

Throws:

VariavelJaDeclaradaException

VariavelNaoDeclaradaException

ObjetoNaoDeclaradoException

checaTipo

public boolean checaTipo(AmbienteCompilacao ambiente)
                  throws VariavelNaoDeclaradaException,
                         ClasseNaoDeclaradaException

Um comando de atribuição está bem tipado, se o tipo do identificador é o mesmo da expressão. O tipo de um identificador é determinado pelo tipo da expressão que o inicializou (na declaração).

Specified by:

checaTipo in interface Comando

Parameters:

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

Returns:

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

Throws:

VariavelNaoDeclaradaException

ClasseNaoDeclaradaException

getAv

public LeftExpression getAv()

getExpressao

public Expressao getExpressao()