plp.functional2.expression.ExpDeclaracao

plp.functional2.expression.ExpDeclaracao Class Reference


Public Member Functions
	ExpDeclaracao (List< DeclaracaoFuncional > declaracoesFuncionais, Expressao expressaoArg)
String	toString ()
Valor	avaliar (AmbienteExecucao ambiente) throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException
boolean	checaTipo (AmbienteCompilacao ambiente) throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException
Tipo	getTipo (AmbienteCompilacao ambiente) throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException
List< DeclaracaoFuncional >	getSeqdecFuncional ()
Expressao	getExpressao ()
Package Attributes
List< DeclaracaoFuncional >	seqdecFuncional
Expressao	expressao
Private Member Functions
void	includeBindings (AmbienteExecucao ambiente, Map< Id, Valor > auxIdValor, Map< Id, ValorFuncao > auxIdValorFuncao) throws VariavelJaDeclaradaException
void	resolveBindings (AmbienteExecucao ambiente, Map< Id, Valor > auxIdValor, Map< Id, ValorFuncao > auxIdValorFuncao) throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException
Map< Id, Tipo >	resolveTypeBidings (AmbienteCompilacao ambiente) throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException
boolean	checkTypeBindings (AmbienteCompilacao ambiente) throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException
void	includeTypeBindings (AmbienteCompilacao ambiente, Map< Id, Tipo > resolvedTypes) throws VariavelJaDeclaradaException

Detailed Description

Definition at line 18 of file ExpDeclaracao.java.

Constructor & Destructor Documentation

plp.functional2.expression.ExpDeclaracao.ExpDeclaracao	(	List< DeclaracaoFuncional >	declaracoesFuncionais,
		Expressao	expressaoArg
	)

Definition at line 23 of file ExpDeclaracao.java.

References plp.functional2.expression.ExpDeclaracao.expressao, and plp.functional2.expression.ExpDeclaracao.seqdecFuncional.

Member Function Documentation

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

Definition at line 42 of file ExpDeclaracao.java.

References plp.functional2.expression.ExpDeclaracao.expressao, plp.functional2.expression.ExpDeclaracao.includeBindings(), and plp.functional2.expression.ExpDeclaracao.resolveBindings().

Here is the call graph for this function:

boolean plp.functional2.expression.ExpDeclaracao.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 111 of file ExpDeclaracao.java.

References plp.functional2.expression.ExpDeclaracao.checkTypeBindings(), plp.functional2.expression.ExpDeclaracao.expressao, plp.functional2.expression.ExpDeclaracao.includeTypeBindings(), and plp.functional2.expression.ExpDeclaracao.resolveTypeBidings().

Here is the call graph for this function:

boolean plp.functional2.expression.ExpDeclaracao.checkTypeBindings ( AmbienteCompilacao ambiente ) throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException [private]

Definition at line 141 of file ExpDeclaracao.java.

References plp.functional2.expression.ExpDeclaracao.seqdecFuncional.

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

Expressao plp.functional2.expression.ExpDeclaracao.getExpressao ( )

Returns the expressao.

Returns:: Expressao

Definition at line 213 of file ExpDeclaracao.java.

References plp.functional2.expression.ExpDeclaracao.expressao.

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

List<DeclaracaoFuncional> plp.functional2.expression.ExpDeclaracao.getSeqdecFuncional ( )

Returns the seqdecVariavel.

Returns:: List

Definition at line 205 of file ExpDeclaracao.java.

References plp.functional2.expression.ExpDeclaracao.seqdecFuncional.

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

Tipo plp.functional2.expression.ExpDeclaracao.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 174 of file ExpDeclaracao.java.

References plp.functional2.expression.ExpDeclaracao.expressao, plp.functional2.declaration.DecFuncao.getFuncao(), plp.functional2.expression.ValorFuncao.getTipo(), and plp.functional2.expression.ExpDeclaracao.seqdecFuncional.

Here is the call graph for this function:

void plp.functional2.expression.ExpDeclaracao.includeBindings	(	AmbienteExecucao	ambiente,
		Map< Id, Valor >	auxIdValor,
		Map< Id, ValorFuncao >	auxIdValorFuncao
	)			throws VariavelJaDeclaradaException `[private]`

Definition at line 61 of file ExpDeclaracao.java.

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

void plp.functional2.expression.ExpDeclaracao.includeTypeBindings	(	AmbienteCompilacao	ambiente,
		Map< Id, Tipo >	resolvedTypes
	)			throws VariavelJaDeclaradaException `[private]`

Definition at line 155 of file ExpDeclaracao.java.

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

void plp.functional2.expression.ExpDeclaracao.resolveBindings	(	AmbienteExecucao	ambiente,
		Map< Id, Valor >	auxIdValor,
		Map< Id, ValorFuncao >	auxIdValorFuncao
	)			throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException `[private]`

Definition at line 81 of file ExpDeclaracao.java.

References plp.functional2.declaration.DecFuncao.getFuncao(), and plp.functional2.expression.ExpDeclaracao.seqdecFuncional.

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

Here is the call graph for this function:

Map<Id,Tipo> plp.functional2.expression.ExpDeclaracao.resolveTypeBidings ( AmbienteCompilacao ambiente ) throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException [private]

Definition at line 129 of file ExpDeclaracao.java.

References plp.functional2.expression.ExpDeclaracao.seqdecFuncional.

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

String plp.functional2.expression.ExpDeclaracao.toString ( )

Retorna uma representacao String desta expressao. Util para depuracao.