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

Executa o programa.

Parameters:

ambiente - o ambiente de execu��o.

Throws:

java.lang.InterruptedException

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