plp.imperative1.command
Class Synch

java.lang.Object
  plp.imperative1.command.Synch

All Implemented Interfaces:

Comando

public class Synch
extends java.lang.Object
implements Comando

Constructor Summary

Synch(Id id, Comando comando)

Method Summary

boolean	checaTipo(AmbienteCompilacaoImperativa ambiente) Realiza a verificacao de tipos da express�o e dos comandos do comando while
AmbienteExecucaoImperativa	executar(AmbienteExecucaoImperativa ambiente) Implementa o comando while.

Methods inherited from class java.lang.Object

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

Constructor Detail

Synch

public Synch(Id id,
             Comando comando)

Method Detail

executar

public AmbienteExecucaoImperativa executar(AmbienteExecucaoImperativa ambiente)
                                    throws IdentificadorJaDeclaradoException,
                                           IdentificadorNaoDeclaradoException,
                                           EntradaVaziaException,
                                           java.lang.InterruptedException

Implementa o comando while.

Specified by:

executar in interface Comando

Parameters:

ambiente - o ambiente de execu��o.

Returns:

o ambiente depois de modificado pela execu��o do comando while.

Throws:

java.lang.InterruptedException

IdentificadorJaDeclaradoException

IdentificadorNaoDeclaradoException

EntradaVaziaException

checaTipo

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

Realiza a verificacao de tipos da express�o e dos comandos do comando while

Specified by:

checaTipo in interface Comando

Parameters:

ambiente - o ambiente de compila��o.

Returns:

true se os comando s�o bem tipados; false caso contrario.

Throws:

IdentificadorJaDeclaradoException

IdentificadorNaoDeclaradoException

EntradaVaziaException