Uses of Interface
plp.imperative1.memory.AmbienteCompilacaoImperativa

Packages that use AmbienteCompilacaoImperativa

plp.imperative1
plp.imperative1.command
plp.imperative1.declaration
plp.imperative1.memory

Uses of AmbienteCompilacaoImperativa in plp.imperative1

Methods in plp.imperative1 with parameters of type AmbienteCompilacaoImperativa

boolean

Programa.checaTipo(AmbienteCompilacaoImperativa ambienteCompilacao) Realiza a verificacao de tipos do programa

Uses of AmbienteCompilacaoImperativa in plp.imperative1.command

Methods in plp.imperative1.command with parameters of type AmbienteCompilacaoImperativa

boolean	Write.checaTipo(AmbienteCompilacaoImperativa ambiente) Realiza a verificacao de tipos da expressão a ser escrita na pelo comando write
boolean	While.checaTipo(AmbienteCompilacaoImperativa ambiente) Realiza a verificacao de tipos da expressão e dos comandos do comando while
boolean	Skip.checaTipo(AmbienteCompilacaoImperativa ambiente) Realiza a verificacao de tipos do comando
boolean	SequenciaComando.checaTipo(AmbienteCompilacaoImperativa ambiente) Realiza a verificacao de tipos dos comandos
boolean	Read.checaTipo(AmbienteCompilacaoImperativa ambiente) Realiza a verificacao de tipos da entrada
boolean	IfThenElse.checaTipo(AmbienteCompilacaoImperativa ambiente) Realiza a verificacao de tipos da expressão e dos comandos do comando if then else
boolean	ComandoDeclaracao.checaTipo(AmbienteCompilacaoImperativa ambiente) Verifica se o tipo do comando esta correto, levando em conta que o tipo de uma variavel é o tipo do valor da sua primeira atribuicao.
boolean	Comando.checaTipo(AmbienteCompilacaoImperativa ambiente) Realiza a verificacao de tipos deste comando.
boolean	Atribuicao.checaTipo(AmbienteCompilacaoImperativa ambiente) Um comando de atribuição está bem tipado, se o tipo do identificador é o mesmo da expressão.

Uses of AmbienteCompilacaoImperativa in plp.imperative1.declaration

Methods in plp.imperative1.declaration with parameters of type AmbienteCompilacaoImperativa

boolean	DeclaracaoVariavel.checaTipo(AmbienteCompilacaoImperativa ambiente) Verifica se a declaração está bem tipada, ou seja, se a expressão de inicialização está bem tipada, e cria o mapeamento da variavel para o seu tipo correspondente
boolean	DeclaracaoComposta.checaTipo(AmbienteCompilacaoImperativa ambiente)
abstract boolean	Declaracao.checaTipo(AmbienteCompilacaoImperativa ambiente)

Uses of AmbienteCompilacaoImperativa in plp.imperative1.memory

Classes in plp.imperative1.memory that implement AmbienteCompilacaoImperativa

class

ContextoCompilacaoImperativa