plp.imperative1.command
Interface Comando

All Known Subinterfaces:

IO

All Known Implementing Classes:

Atribuicao, ComandoDeclaracao, IfThenElse, Read, SequenciaComando, Skip, 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

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

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