plp.imperative1
Class Programa

java.lang.Object
  plp.imperative1.Programa

public class Programa
extends java.lang.Object

Constructor Summary

Programa(Comando comando)

Method Summary

boolean	checaTipo(AmbienteCompilacaoImperativa ambienteCompilacao) Realiza a verificacao de tipos do programa
ListaValor	executar(AmbienteExecucaoImperativa ambienteExecucao) Executa o programa.

Methods inherited from class java.lang.Object

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

Constructor Detail

Programa

public Programa(Comando comando)

Method Detail

executar

public ListaValor executar(AmbienteExecucaoImperativa ambienteExecucao)
                    throws IdentificadorJaDeclaradoException,
                           IdentificadorNaoDeclaradoException,
                           EntradaVaziaException

Executa o programa.

Parameters:

ambiente - o ambiente de execução.

Returns:

o ambiente depois de modificado pela execução do programa.

Throws:

EntradaNaoFornecidaException - se não for fornecida a tail de valores de entrada do programa.

IdentificadorJaDeclaradoException

IdentificadorNaoDeclaradoException

EntradaVaziaException

checaTipo

public boolean checaTipo(AmbienteCompilacaoImperativa ambienteCompilacao)
                  throws IdentificadorJaDeclaradoException,
                         IdentificadorNaoDeclaradoException,
                         EntradaVaziaException

Realiza a verificacao de tipos do programa

Parameters:

ambiente - o ambiente de compilação.

Returns:

true se o programa está bem tipado; false caso contrario.

Throws:

EntradaNaoFornecidaException - se não for fornecida a tail de valores de entrada do programa.

IdentificadorJaDeclaradoException

IdentificadorNaoDeclaradoException

EntradaVaziaException