plp.orientadaObjetos1.comando
Interface Comando

All Known Subinterfaces:
IO
All Known Implementing Classes:
Atribuicao, ChamadaMetodo, ChamadaProcedimento, ComDeclaracao, IfThenElse, New, Read, Sequencial, Skip, While, Write

public interface Comando

Interface representando um comando na linguagem.


Method Summary
 boolean checaTipo(AmbienteCompilacaoOO1 ambiente)
          Realiza a verificacao de tipos deste comando.
 AmbienteExecucaoOO1 executar(AmbienteExecucaoOO1 ambiente)
          Executa este comando.
 

Method Detail

executar

AmbienteExecucaoOO1 executar(AmbienteExecucaoOO1 ambiente)
                             throws VariavelJaDeclaradaException,
                                    VariavelNaoDeclaradaException,
                                    ObjetoJaDeclaradoException,
                                    ObjetoNaoDeclaradoException,
                                    ProcedimentoNaoDeclaradoException,
                                    ProcedimentoJaDeclaradoException,
                                    ClasseJaDeclaradaException,
                                    ClasseNaoDeclaradaException,
                                    EntradaInvalidaException
Executa este comando.

Parameters:
ambiente - o ambiente que contem o mapeamento entre identificadores e valores.
Returns:
o ambiente modificado pela execução do comando.
Throws:
VariavelJaDeclaradaException
VariavelNaoDeclaradaException
ObjetoJaDeclaradoException
ObjetoNaoDeclaradoException
ProcedimentoNaoDeclaradoException
ProcedimentoJaDeclaradoException
ClasseJaDeclaradaException
ClasseNaoDeclaradaException
EntradaInvalidaException

checaTipo

boolean checaTipo(AmbienteCompilacaoOO1 ambiente)
                  throws VariavelNaoDeclaradaException,
                         VariavelJaDeclaradaException,
                         ProcedimentoNaoDeclaradoException,
                         ProcedimentoJaDeclaradoException,
                         ClasseJaDeclaradaException,
                         ClasseNaoDeclaradaException
Realiza a verificacao de tipos deste comando.

Parameters:
ambiente - o ambiente que contem o mapeamento entre identificadores e tipos.
Returns:
true se os comando são bem tipados; false caso contrario.
Throws:
VariavelNaoDeclaradaException
VariavelJaDeclaradaException
ProcedimentoNaoDeclaradoException
ProcedimentoJaDeclaradoException
ClasseJaDeclaradaException
ClasseNaoDeclaradaException