plp.imperative2.command.ChamadaProcedimento

plp.imperative2.command.ChamadaProcedimento Class Reference

Collaboration diagram for plp.imperative2.command.ChamadaProcedimento:


Public Member Functions
	ChamadaProcedimento (Id nomeProcedimento, ListaExpressao parametrosReais)
AmbienteExecucaoImperativa	executar (AmbienteExecucaoImperativa amb) throws IdentificadorNaoDeclaradoException, IdentificadorJaDeclaradoException, EntradaVaziaException
boolean	checaTipo (AmbienteCompilacaoImperativa amb) throws IdentificadorJaDeclaradoException, IdentificadorNaoDeclaradoException
Private Member Functions
AmbienteExecucaoImperativa2	bindParameters (AmbienteExecucaoImperativa2 ambiente, ListaDeclaracaoParametro parametrosFormais) throws VariavelJaDeclaradaException, VariavelNaoDeclaradaException
Private Attributes
Id	nomeProcedimento
ListaExpressao	parametrosReais

Detailed Description

Definition at line 21 of file ChamadaProcedimento.java.

Constructor & Destructor Documentation

plp.imperative2.command.ChamadaProcedimento.ChamadaProcedimento	(	Id	nomeProcedimento,
		ListaExpressao	parametrosReais
	)

Definition at line 27 of file ChamadaProcedimento.java.

References plp.imperative2.command.ChamadaProcedimento.parametrosReais.

Member Function Documentation

AmbienteExecucaoImperativa2 plp.imperative2.command.ChamadaProcedimento.bindParameters	(	AmbienteExecucaoImperativa2	ambiente,
		ListaDeclaracaoParametro	parametrosFormais
	)			throws VariavelJaDeclaradaException, VariavelNaoDeclaradaException `[private]`

insere no contexto o resultado da associacao entre cada parametro formal e seu correspondente parametro atual

Definition at line 57 of file ChamadaProcedimento.java.

References plp.imperative2.command.ListaExpressao.avaliar(), and plp.imperative2.command.ChamadaProcedimento.parametrosReais.

Referenced by plp.imperative2.command.ChamadaProcedimento.executar().

Here is the call graph for this function:

boolean plp.imperative2.command.ChamadaProcedimento.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.

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.

Definition at line 81 of file ChamadaProcedimento.java.

References plp.imperative2.memory.AmbienteCompilacaoImperativa2.getParametrosProcedimento(), plp.imperative2.command.ListaExpressao.getTipos(), plp.imperative2.command.ChamadaProcedimento.nomeProcedimento, and plp.imperative2.command.ChamadaProcedimento.parametrosReais.

Here is the call graph for this function:

AmbienteExecucaoImperativa plp.imperative2.command.ChamadaProcedimento.executar ( AmbienteExecucaoImperativa amb ) throws IdentificadorNaoDeclaradoException, IdentificadorJaDeclaradoException, EntradaVaziaException

Definition at line 33 of file ChamadaProcedimento.java.

References plp.imperative2.command.ChamadaProcedimento.bindParameters(), plp.imperative2.memory.Procedimento.getComando(), plp.imperative2.memory.Procedimento.getParametrosFormais(), plp.imperative2.memory.AmbienteExecucaoImperativa2.getProcedimento(), and plp.imperative2.command.ChamadaProcedimento.nomeProcedimento.

Here is the call graph for this function: