plp.imperative1.command
Interface Comando

All Known Subinterfaces:
IO
All Known Implementing Classes:
Atribuicao, ChamadaProcedimento, ComandoDeclaracao, IfThenElse, Notify, Paralelismo, Read, SequenciaComando, Skip, Sleep, Synch, Wait, While, Write

public interface Comando


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

Method Detail

executar

AmbienteExecucaoImperativa executar(AmbienteExecucaoImperativa ambiente)
                                    throws IdentificadorJaDeclaradoException,
                                           IdentificadorNaoDeclaradoException,
                                           EntradaVaziaException,
                                           java.lang.InterruptedException
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:
IdentificadorJaDeclaradoException
IdentificadorNaoDeclaradoException
EntradaVaziaException
java.lang.InterruptedException

checaTipo

boolean checaTipo(AmbienteCompilacaoImperativa ambiente)
                  throws IdentificadorJaDeclaradoException,
                         IdentificadorNaoDeclaradoException,
                         EntradaVaziaException
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:
IdentificadorJaDeclaradoException
IdentificadorNaoDeclaradoException
EntradaVaziaException