plp.imperative1.command.Atribuicao Class Reference

Inherits plp.imperative1.command.Comando.

Inheritance diagram for plp.imperative1.command.Atribuicao:

[legend]Collaboration diagram for plp.imperative1.command.Atribuicao:


Public Member Functions
	Atribuicao (Id id, Expressao expressao)
AmbienteExecucaoImperativa	executar (AmbienteExecucaoImperativa ambiente) throws VariavelJaDeclaradaException, VariavelNaoDeclaradaException
boolean	checaTipo (AmbienteCompilacaoImperativa ambiente) throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException
Private Attributes
Id	id
Expressao	expressao

Detailed Description

Definition at line 10 of file Atribuicao.java.

Constructor & Destructor Documentation

plp.imperative1.command.Atribuicao.Atribuicao	(	Id	id,
		Expressao	expressao
	)

Definition at line 16 of file Atribuicao.java.

References plp.imperative1.command.Atribuicao.expressao, and plp.imperative1.command.Atribuicao.id.

Member Function Documentation

boolean plp.imperative1.command.Atribuicao.checaTipo ( AmbienteCompilacaoImperativa ambiente ) throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException

Um comando de atribuição está bem tipado, se o tipo do identificador é o mesmo da expressão. O tipo de um identificador é determinado pelo tipo da expressão que o inicializou (na declaração).

Parameters:

ambiente

o ambiente que contem o mapeamento entre identificadores e valores.

Returns:: true se os tipos da atribuição são válidos; false caso contrario.

Implements plp.imperative1.command.Comando.

Definition at line 48 of file Atribuicao.java.

References plp.expressions2.expression.Expressao.checaTipo(), plp.imperative1.command.Atribuicao.expressao, and plp.expressions2.expression.Expressao.getTipo().

Here is the call graph for this function:

AmbienteExecucaoImperativa plp.imperative1.command.Atribuicao.executar ( AmbienteExecucaoImperativa ambiente ) throws VariavelJaDeclaradaException, VariavelNaoDeclaradaException