plp.functional1.declaration.DecVariavel Class Reference

Inherits plp.functional1.declaration.DeclaracaoFuncional.

Inheritance diagram for plp.functional1.declaration.DecVariavel:

[legend]Collaboration diagram for plp.functional1.declaration.DecVariavel:


Public Member Functions
	DecVariavel (Id idArg, Expressao expressaoArg)
int	getAridade ()
String	toString ()
Expressao	getExpressao ()
Id	getID ()
Tipo	getTipo (AmbienteCompilacao amb) throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException
boolean	checaTipo (AmbienteCompilacao ambiente) throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException
Private Attributes
Id	id
Expressao	expressao

Detailed Description

Definition at line 10 of file DecVariavel.java.

Constructor & Destructor Documentation

plp.functional1.declaration.DecVariavel.DecVariavel	(	Id	idArg,
		Expressao	expressaoArg
	)

Definition at line 14 of file DecVariavel.java.

References plp.functional1.declaration.DecVariavel.expressao.

Member Function Documentation

boolean plp.functional1.declaration.DecVariavel.checaTipo ( AmbienteCompilacao ambiente ) throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException

Realiza a verificacao de tipos desta declaração.

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.

Implements plp.functional1.declaration.DeclaracaoFuncional.

Definition at line 73 of file DecVariavel.java.

References plp.expressions2.expression.Expressao.checaTipo(), and plp.functional1.declaration.DecVariavel.expressao.

Here is the call graph for this function:

int plp.functional1.declaration.DecVariavel.getAridade ( )

Retorna a aridade da funcao declarada. Variaveis tem aridade 0.

Returns:: a aridade da funcao declarada.

Implements plp.functional1.declaration.DeclaracaoFuncional.

Definition at line 18 of file DecVariavel.java.

Expressao plp.functional1.declaration.DecVariavel.getExpressao ( )

Retorna a expressao associada.

Returns:: a expressao associada.

Implements plp.functional1.declaration.DeclaracaoFuncional.

Definition at line 36 of file DecVariavel.java.

References plp.functional1.declaration.DecVariavel.expressao.

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

Id plp.functional1.declaration.DecVariavel.getID ( )

Implements plp.functional1.declaration.DeclaracaoFuncional.

Definition at line 40 of file DecVariavel.java.

References plp.functional1.declaration.DecVariavel.id.

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

Tipo plp.functional1.declaration.DecVariavel.getTipo ( AmbienteCompilacao amb ) throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException

Retorna os tipos possiveis desta declaração.

Parameters:

amb

o ambiente que contem o mapeamento entre identificadores e tipos.

Returns:: os tipos possiveis desta declaração.

Exceptions:

	VariavelNaoDeclaradaException	se houver uma variável não declarada no ambiente.
	VariavelJaDeclaradaException	se houver uma mesma variável declarada duas vezes no mesmo bloco do ambiente. this.checaTipo(amb);

Implements plp.functional1.declaration.DeclaracaoFuncional.

Definition at line 57 of file DecVariavel.java.

References plp.functional1.declaration.DecVariavel.expressao, and plp.expressions2.expression.Expressao.getTipo().

Here is the call graph for this function: