Uses of Interface
plp.imperative1.memory.AmbienteCompilacaoImperativa

Packages that use AmbienteCompilacaoImperativa
plp.imperative1   
plp.imperative1.command   
plp.imperative1.declaration   
plp.imperative1.memory   
plp.imperative2   
plp.imperative2.command   
plp.imperative2.declaration   
plp.imperative2.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 Wait.checaTipo(AmbienteCompilacaoImperativa ambiente)
          Realiza a verificacao de tipos da entrada
 boolean Synch.checaTipo(AmbienteCompilacaoImperativa ambiente)
          Realiza a verificacao de tipos da express�o e dos comandos do comando while
 boolean Sleep.checaTipo(AmbienteCompilacaoImperativa ambiente)
          Realiza a verificacao de tipos da express�o a ser escrita na pelo comando write
 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 Paralelismo.checaTipo(AmbienteCompilacaoImperativa ambiente)
          Realiza a verificacao de tipos dos comandos
 boolean Notify.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
           
 

Uses of AmbienteCompilacaoImperativa in plp.imperative2
 

Methods in plp.imperative2 with parameters of type AmbienteCompilacaoImperativa
 boolean Programa.checaTipo(AmbienteCompilacaoImperativa ambiente)
          Realiza a verificacao de tipos do programa
 

Uses of AmbienteCompilacaoImperativa in plp.imperative2.command
 

Methods in plp.imperative2.command with parameters of type AmbienteCompilacaoImperativa
 boolean ChamadaProcedimento.checaTipo(AmbienteCompilacaoImperativa amb)
          Realiza a verificacao de tipos desta chamada de procedimento, onde os tipos dos parametros formais devem ser iguais aos tipos dos parametros reais na ordem em que se apresentam.
 

Uses of AmbienteCompilacaoImperativa in plp.imperative2.declaration
 

Methods in plp.imperative2.declaration with parameters of type AmbienteCompilacaoImperativa
 boolean DeclaracaoProcedimento.checaTipo(AmbienteCompilacaoImperativa amb)
           
 

Uses of AmbienteCompilacaoImperativa in plp.imperative2.memory
 

Subinterfaces of AmbienteCompilacaoImperativa in plp.imperative2.memory
 interface AmbienteCompilacaoImperativa2
           
 

Classes in plp.imperative2.memory that implement AmbienteCompilacaoImperativa
 class ContextoCompilacaoImperativa2