plp.imperative2.command
Class ChamadaProcedimento

java.lang.Object
  plp.imperative2.command.ChamadaProcedimento

All Implemented Interfaces:

Comando

public class ChamadaProcedimento
extends java.lang.Object
implements Comando

Constructor Summary

ChamadaProcedimento(Id nomeProcedimento, ListaExpressao parametrosReais)

Method Summary

boolean	checaTipo(AmbienteCompilacaoImperativa amb) Realiza a verificacao de tipos desta chamada de procedimento, onde os tipos dos parametros formais devem ser iguais aos tipos dos parametros reais na ordem em que se apresentam.
AmbienteExecucaoImperativa	executar(AmbienteExecucaoImperativa amb) Executa este comando.

Methods inherited from class java.lang.Object

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

Constructor Detail

ChamadaProcedimento

public ChamadaProcedimento(Id nomeProcedimento,
                           ListaExpressao parametrosReais)

Method Detail

executar

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

Description copied from interface: Comando

Executa este comando.

Specified by:

executar in interface Comando

Parameters:

amb - o ambiente que contem o mapeamento entre identificadores e valores.

Returns:

o ambiente modificado pela execu��o do comando.

Throws:

IdentificadorNaoDeclaradoException

IdentificadorJaDeclaradoException

EntradaVaziaException

java.lang.InterruptedException

checaTipo

public boolean checaTipo(AmbienteCompilacaoImperativa amb)
                  throws IdentificadorJaDeclaradoException,
                         IdentificadorNaoDeclaradoException

Realiza a verificacao de tipos desta chamada de procedimento, onde os tipos dos parametros formais devem ser iguais aos tipos dos parametros reais na ordem em que se apresentam.

Specified by:

checaTipo in interface Comando

Parameters:

ambiente - o ambiente que contem o mapeamento entre identificadores e tipos.

Returns:

true se a chamada de procedimeno est� bem tipada; false caso contrario.

Throws:

IdentificadorJaDeclaradoException

IdentificadorNaoDeclaradoException