plp.functional2.expression.Aplicacao Class Reference

List of all members.


Public Member Functions
	Aplicacao (Expressao f, List< Expressao > expressoes)
String	toString ()
Valor	avaliar (AmbienteExecucao ambiente) throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException
boolean	checaTipo (AmbienteCompilacao ambiente) throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException
Tipo	getTipo (AmbienteCompilacao ambiente) throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException
Id	getFunc ()
List< Expressao >	getArgsExpressao ()
Private Member Functions
void	includeValueBindings (AmbienteExecucao ambiente, Map< Id, Valor > mapIdValor) throws VariavelJaDeclaradaException
Map< Id, Valor >	resolveParametersBindings (AmbienteExecucao ambiente, ValorFuncao funcao) throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException
boolean	checkArgumentTypes (AmbienteCompilacao ambiente, Tipo tipoFuncao) throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException
boolean	checkArgumentListSize (Tipo tipoFuncao)
Private Attributes
Expressao	func
List< Expressao >	argsExpressao

Detailed Description

Definition at line 21 of file Aplicacao.java.

Constructor & Destructor Documentation

plp.functional2.expression.Aplicacao.Aplicacao	(	Expressao	f,
		List< Expressao >	expressoes
	)

Definition at line 26 of file Aplicacao.java.

References plp.functional2.expression.Aplicacao.argsExpressao, and plp.functional2.expression.Aplicacao.func.

Member Function Documentation

Valor plp.functional2.expression.Aplicacao.avaliar ( AmbienteExecucao ambiente ) throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException

Definition at line 45 of file Aplicacao.java.

References plp.functional2.expression.Aplicacao.func, plp.functional2.expression.ValorFuncao.getExp(), plp.functional2.expression.ValorFuncao.getListaId(), plp.functional2.expression.Aplicacao.includeValueBindings(), and plp.functional2.expression.Aplicacao.resolveParametersBindings().

Here is the call graph for this function:

boolean plp.functional2.expression.Aplicacao.checaTipo ( AmbienteCompilacao ambiente ) throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException

Realiza a verificacao de tipos desta expressao.

Parameters:

amb

o ambiente de compilação.

Returns:: true se os tipos da expressao sao validos; false caso contrario.

Exceptions:

	VariavelNaoDeclaradaException	se existir um identificador nao declarado no ambiente.
	VariavelNaoDeclaradaException	se existir um identificador declarado mais de uma vez no mesmo bloco do ambiente.

Definition at line 108 of file Aplicacao.java.

References plp.functional2.expression.Aplicacao.checkArgumentListSize(), plp.functional2.expression.Aplicacao.checkArgumentTypes(), and plp.functional2.expression.Aplicacao.func.

Here is the call graph for this function:

boolean plp.functional2.expression.Aplicacao.checkArgumentListSize ( Tipo tipoFuncao ) [private]

Definition at line 137 of file Aplicacao.java.

References plp.functional2.expression.Aplicacao.argsExpressao.

Referenced by plp.functional2.expression.Aplicacao.checaTipo().

boolean plp.functional2.expression.Aplicacao.checkArgumentTypes	(	AmbienteCompilacao	ambiente,
		Tipo	tipoFuncao
	)			throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException `[private]`

Definition at line 118 of file Aplicacao.java.

References plp.functional2.expression.Aplicacao.argsExpressao.

Referenced by plp.functional2.expression.Aplicacao.checaTipo().

List<Expressao> plp.functional2.expression.Aplicacao.getArgsExpressao ( )

Returns the args.

Returns:: ListaExpressao

Definition at line 196 of file Aplicacao.java.

References plp.functional2.expression.Aplicacao.argsExpressao.

Referenced by plp.functional2.util.PartialInstantiatorVisitor._visitAplicacao().

Id plp.functional2.expression.Aplicacao.getFunc ( )

Returns the func.

Returns:: Id

Definition at line 185 of file Aplicacao.java.

References plp.functional2.expression.Aplicacao.func.

Referenced by plp.functional2.util.PartialInstantiatorVisitor._visitAplicacao().

Tipo plp.functional2.expression.Aplicacao.getTipo ( AmbienteCompilacao ambiente ) throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException

Retorna os tipos possiveis desta expressao.

Parameters:

amb

o ambiente de compilação.

Returns:: os tipos possiveis desta expressao.

Exceptions:

	VariavelNaoDeclaradaException	se existir um identificador nao declarado no ambiente.
	VariavelNaoDeclaradaException	se existir um identificador declarado mais de uma vez no mesmo bloco do ambiente. this.checaTipo();

Definition at line 170 of file Aplicacao.java.

References plp.functional2.expression.Aplicacao.func.

void plp.functional2.expression.Aplicacao.includeValueBindings	(	AmbienteExecucao	ambiente,
		Map< Id, Valor >	mapIdValor
	)			throws VariavelJaDeclaradaException `[private]`

Definition at line 71 of file Aplicacao.java.

Referenced by plp.functional2.expression.Aplicacao.avaliar().

Map<Id,Valor> plp.functional2.expression.Aplicacao.resolveParametersBindings	(	AmbienteExecucao	ambiente,
		ValorFuncao	funcao
	)			throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException `[private]`