Uses of Interface
plp.orientadaAspectos1.memoria.AmbienteCompilacao

Packages that use AmbienteCompilacao
plp.orientadaAspectos1   
plp.orientadaAspectos1.comando   
plp.orientadaAspectos1.declaracao   
plp.orientadaAspectos1.declaracao.aspecto   
plp.orientadaAspectos1.declaracao.aspecto.introducao   
plp.orientadaAspectos1.declaracao.classe   
plp.orientadaAspectos1.declaracao.procedimento   
plp.orientadaAspectos1.declaracao.variavel   
plp.orientadaAspectos1.expressao   
plp.orientadaAspectos1.expressao.binaria   
plp.orientadaAspectos1.expressao.leftExpression   
plp.orientadaAspectos1.expressao.unaria   
plp.orientadaAspectos1.expressao.valor   
plp.orientadaAspectos1.memoria   
plp.orientadaAspectos1.util   
 

Uses of AmbienteCompilacao in plp.orientadaAspectos1
 

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

Uses of AmbienteCompilacao in plp.orientadaAspectos1.comando
 

Methods in plp.orientadaAspectos1.comando with parameters of type AmbienteCompilacao
 boolean Write.checaTipo(AmbienteCompilacao ambiente)
          Realiza a verificacao de tipos da expressão a ser escrita na pelo comando write
 boolean While.checaTipo(AmbienteCompilacao ambiente)
          Realiza a verificacao de tipos da expressão e dos comandos do comando while
 boolean Skip.checaTipo(AmbienteCompilacao ambiente)
          Realiza a verificacao de tipos do comando
 boolean Sequencial.checaTipo(AmbienteCompilacao ambiente)
          Realiza a verificacao de tipos dos comandos
 boolean Read.checaTipo(AmbienteCompilacao ambiente)
          Realiza a verificacao de tipos da entrada
 boolean New.checaTipo(AmbienteCompilacao ambiente)
          Verifica se a atribuição é possível comparando os tipos do objeto e da left expression.
 boolean IfThenElse.checaTipo(AmbienteCompilacao ambiente)
          Realiza a verificacao de tipos da expressão e dos comandos do comando if then else
 boolean ComDeclaracao.checaTipo(AmbienteCompilacao 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(AmbienteCompilacao ambiente)
          Realiza a verificacao de tipos deste comando.
 boolean ChamadaProcedimento.checaTipo(AmbienteCompilacao ambiente)
          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.
 boolean ChamadaMetodo.checaTipo(AmbienteCompilacao ambiente)
          Realiza a verificação de tipos desta chamada de método, onde o tipo do método deve estar na definição da classe obtida a partir de expressão.
 boolean Atribuicao.checaTipo(AmbienteCompilacao ambiente)
          Um comando de atribuição está bem tipado, se o tipo do identificador é o mesmo da expressão.
 

Uses of AmbienteCompilacao in plp.orientadaAspectos1.declaracao
 

Methods in plp.orientadaAspectos1.declaracao with parameters of type AmbienteCompilacao
 boolean Declaracao.checaTipo(AmbienteCompilacao ambiente)
          Verifica se a declaração está bem tipada, ou seja, se a expressão de inicialização está bem tipada.
 boolean DecElementoComposto.checaTipo(AmbienteCompilacao ambiente)
          Verifica se a declaração está bem tipada, ou seja, se as duas declarações estão bem tipadas
 boolean DecElemento.checaTipo(AmbienteCompilacao ambiente)
          Verifica se a declaração está bem tipada, ou seja, se a expressão de inicialização está bem tipada.
 

Uses of AmbienteCompilacao in plp.orientadaAspectos1.declaracao.aspecto
 

Methods in plp.orientadaAspectos1.declaracao.aspecto with parameters of type AmbienteCompilacao
 boolean DecAspecto.checaTipo(AmbienteCompilacao ambiente)
          Verifica se a declaração está bem tipada, ou seja, se a checagem dos tipos dos métodos e atributos está ok.
 

Uses of AmbienteCompilacao in plp.orientadaAspectos1.declaracao.aspecto.introducao
 

Methods in plp.orientadaAspectos1.declaracao.aspecto.introducao with parameters of type AmbienteCompilacao
 boolean DecIntroducaoVariavel.checaTipo(AmbienteCompilacao ambiente)
          Verifica se as declarações estão bem tipadas, ou seja, se as expressões de inicialização estão bem tipadas.
 boolean DecIntroducaoProcedimento.checaTipo(AmbienteCompilacao ambiente)
          Verifica se as declarações estão bem tipadas, ou seja, se as expressões de inicialização estão bem tipadas.
 boolean DecIntroducaoComposta.checaTipo(AmbienteCompilacao ambiente)
          Verifica se as declarações estão bem tipadas, ou seja, se as expressões de inicialização estão bem tipadas.
 boolean DecIntroducao.checaTipo(AmbienteCompilacao ambiente)
          Verifica se a declaração está bem tipada, ou seja, se a expressão de inicialização está bem tipada.
 

Uses of AmbienteCompilacao in plp.orientadaAspectos1.declaracao.classe
 

Methods in plp.orientadaAspectos1.declaracao.classe with parameters of type AmbienteCompilacao
 boolean DecClasse.checaTipo(AmbienteCompilacao ambiente)
          Verifica se a declaração está bem tipada, ou seja, se a checagem dos tipos dos métodos e atributos está ok.
 

Uses of AmbienteCompilacao in plp.orientadaAspectos1.declaracao.procedimento
 

Methods in plp.orientadaAspectos1.declaracao.procedimento that return AmbienteCompilacao
 AmbienteCompilacao ListaDeclaracaoParametro.declaraParametro(AmbienteCompilacao ambiente)
          Cria um mapeamento do identificador para o tipo do parametro desta declaração no AmbienteCompilacao
 AmbienteCompilacao DecParametro.declaraParametro(AmbienteCompilacao ambiente)
          Cria um mapeamento do identificador para o tipo do parametro desta declaração no AmbienteCompilacao
 

Methods in plp.orientadaAspectos1.declaracao.procedimento with parameters of type AmbienteCompilacao
 boolean ListaDeclaracaoParametro.checaTipo(AmbienteCompilacao ambiente)
          Verifica se a declaração e a lista de declaração estão bem tipadas, ou seja, se a expressão de inicialização está bem tipada.
 boolean DecProcedimentoSimples.checaTipo(AmbienteCompilacao ambiente)
          Verifica se a declaração está bem tipada, ou seja, se os comandos estão bem tipados.
 boolean DecProcedimentoComposta.checaTipo(AmbienteCompilacao ambiente)
          Verifica se a declaração está bem tipada, ou seja, se a expressão de inicialização está bem tipada.
 boolean DecProcedimento.checaTipo(AmbienteCompilacao ambiente)
          Verifica se a declaração está bem tipada, ou seja, se a expressão de inicialização está bem tipada.
 boolean DecParametro.checaTipo(AmbienteCompilacao ambiente)
          Verifica se a declaração está bem tipada, ou seja, se a expressão de inicialização está bem tipada.
 AmbienteCompilacao ListaDeclaracaoParametro.declaraParametro(AmbienteCompilacao ambiente)
          Cria um mapeamento do identificador para o tipo do parametro desta declaração no AmbienteCompilacao
 AmbienteCompilacao DecParametro.declaraParametro(AmbienteCompilacao ambiente)
          Cria um mapeamento do identificador para o tipo do parametro desta declaração no AmbienteCompilacao
 

Uses of AmbienteCompilacao in plp.orientadaAspectos1.declaracao.variavel
 

Methods in plp.orientadaAspectos1.declaracao.variavel with parameters of type AmbienteCompilacao
 boolean SimplesDecVariavel.checaTipo(AmbienteCompilacao ambiente)
          Verifica se a declaração está bem tipada, ou seja, se a expressão de inicialização está bem tipada.
 boolean DecVariavelObjeto.checaTipo(AmbienteCompilacao ambiente)
          Verifica se o tipo da classe associada é válido (se existe).
 boolean DecVariavel.checaTipo(AmbienteCompilacao ambiente)
          Verifica se a declaração está bem tipada, ou seja, se a expressão de inicialização está bem tipada.
 boolean CompostaDecVariavel.checaTipo(AmbienteCompilacao ambiente)
          Verifica se as declarações estão bem tipadas, ou seja, se as expressões de inicialização estão bem tipadas.
 

Uses of AmbienteCompilacao in plp.orientadaAspectos1.expressao
 

Methods in plp.orientadaAspectos1.expressao with parameters of type AmbienteCompilacao
 boolean This.checaTipo(AmbienteCompilacao ambiente)
          Checa o tipo do objeto this.
 boolean Expressao.checaTipo(AmbienteCompilacao ambiente)
          Realiza a verificacao de tipos desta expressao.
 Tipo This.getTipo(AmbienteCompilacao ambiente)
          Obtém o tipo do objeto this
 Tipo Expressao.getTipo(AmbienteCompilacao ambiente)
          Retorna os tipos possiveis desta expressao.
 ListaTipo ListaExpressao.getTipos(AmbienteCompilacao ambiente)
          Obtém a lista dos tipos dos elementos da lista de expressoes.
 

Uses of AmbienteCompilacao in plp.orientadaAspectos1.expressao.binaria
 

Methods in plp.orientadaAspectos1.expressao.binaria with parameters of type AmbienteCompilacao
 boolean ExpSub.checaTipo(AmbienteCompilacao ambiente)
          Realiza a verificacao de tipos desta expressao.
 boolean ExpSoma.checaTipo(AmbienteCompilacao ambiente)
          Realiza a verificacao de tipos desta expressao.
 boolean ExpOr.checaTipo(AmbienteCompilacao ambiente)
          Realiza a verificacao de tipos desta expressao.
 boolean ExpEquals.checaTipo(AmbienteCompilacao ambiente)
          Realiza a verificacao de tipos desta expressao.
 boolean ExpConcat.checaTipo(AmbienteCompilacao ambiente)
          Realiza a verificacao de tipos desta expressao.
 boolean ExpBinaria.checaTipo(AmbienteCompilacao ambiente)
          Realiza a verificacao de tipos desta expressao.
 boolean ExpAnd.checaTipo(AmbienteCompilacao ambiente)
          Realiza a verificacao de tipos desta expressao.
 Tipo ExpSub.getTipo(AmbienteCompilacao ambiente)
          Retorna os tipos possiveis desta expressao.
 Tipo ExpSoma.getTipo(AmbienteCompilacao ambiente)
          Retorna os tipos possiveis desta expressao.
 Tipo ExpOr.getTipo(AmbienteCompilacao ambiente)
          Retorna os tipos possiveis desta expressao.
 Tipo ExpEquals.getTipo(AmbienteCompilacao ambiente)
          Retorna os tipos possiveis desta expressao.
 Tipo ExpConcat.getTipo(AmbienteCompilacao ambiente)
          Retorna os tipos possiveis desta expressao.
 Tipo ExpAnd.getTipo(AmbienteCompilacao ambiente)
          Retorna os tipos possiveis desta expressao.
 

Uses of AmbienteCompilacao in plp.orientadaAspectos1.expressao.leftExpression
 

Methods in plp.orientadaAspectos1.expressao.leftExpression with parameters of type AmbienteCompilacao
 boolean Id.checaTipo(AmbienteCompilacao amb)
          Realiza a verificacao de tipos desta expressao.
 boolean AcessoAtributoThis.checaTipo(AmbienteCompilacao ambiente)
          Verifica se o this está associado a um objeto e se o atributo existe.
 boolean AcessoAtributoId.checaTipo(AmbienteCompilacao ambiente)
          Verifica se os atributos associados foram declarados e se seus tipos existem no ambiente.
 Tipo Id.getTipo(AmbienteCompilacao amb)
          Retorna os tipos possiveis desta expressao.
 Tipo AcessoAtributoThis.getTipo(AmbienteCompilacao ambiente)
          Obtém o tipo do atributo acessado.
 Tipo AcessoAtributoId.getTipo(AmbienteCompilacao ambiente)
          Obtém o tipo do atributo no ambiente.
 

Uses of AmbienteCompilacao in plp.orientadaAspectos1.expressao.unaria
 

Methods in plp.orientadaAspectos1.expressao.unaria with parameters of type AmbienteCompilacao
 boolean ExpUnaria.checaTipo(AmbienteCompilacao ambiente)
          Realiza a verificacao de tipos desta expressao.
 boolean ExpNot.checaTipo(AmbienteCompilacao ambiente)
          Realiza a verificacao de tipos desta expressao.
 boolean ExpMenos.checaTipo(AmbienteCompilacao ambiente)
          Realiza a verificacao de tipos desta expressao.
 boolean ExpLength.checaTipo(AmbienteCompilacao ambiente)
          Realiza a verificacao de tipos desta expressao.
 Tipo ExpNot.getTipo(AmbienteCompilacao ambiente)
          Retorna os tipos possiveis desta expressao.
 Tipo ExpMenos.getTipo(AmbienteCompilacao ambiente)
          Retorna os tipos possiveis desta expressao.
 Tipo ExpLength.getTipo(AmbienteCompilacao ambiente)
          Retorna os tipos possiveis desta expressao.
 

Uses of AmbienteCompilacao in plp.orientadaAspectos1.expressao.valor
 

Methods in plp.orientadaAspectos1.expressao.valor with parameters of type AmbienteCompilacao
 boolean ValorString.checaTipo(AmbienteCompilacao amb)
          Realiza a verificacao de tipos desta expressao.
 boolean ValorRef.checaTipo(AmbienteCompilacao amb)
          Checa o tipo deste valor referencia no ambiente de compilação.
 boolean ValorNull.checaTipo(AmbienteCompilacao amb)
          Realiza a verificacao de tipos desta expressao.
 boolean ValorInteiro.checaTipo(AmbienteCompilacao amb)
          Realiza a verificacao de tipos desta expressao.
 boolean ValorBooleano.checaTipo(AmbienteCompilacao amb)
          Realiza a verificacao de tipos desta expressao.
 Tipo ValorString.getTipo(AmbienteCompilacao amb)
          Retorna os tipos possiveis desta expressao.
 Tipo ValorRef.getTipo(AmbienteCompilacao amb)
          Obtém o tipo associado a este valor referência no ambiente de compilaçao.
 Tipo ValorNull.getTipo(AmbienteCompilacao amb)
          Retorna os tipos possiveis desta expressao.
 Tipo ValorInteiro.getTipo(AmbienteCompilacao amb)
          Retorna os tipos possiveis desta expressao.
 Tipo ValorBooleano.getTipo(AmbienteCompilacao amb)
          Retorna os tipos possiveis desta expressao.
 Tipo Valor.getTipo(AmbienteCompilacao ambiente)
          Retorna o tipo do valor.
 

Uses of AmbienteCompilacao in plp.orientadaAspectos1.memoria
 

Classes in plp.orientadaAspectos1.memoria that implement AmbienteCompilacao
 class ContextoCompilacao
          Representa o contexto de compilaçao.
 

Uses of AmbienteCompilacao in plp.orientadaAspectos1.util
 

Methods in plp.orientadaAspectos1.util with parameters of type AmbienteCompilacao
 boolean TipoPrimitivo.eValido(AmbienteCompilacao ambiente)
          Por questao de simplificacao, este método foi implementado para unificar TipoPrimitivo e TipoClasse em uma única interface: Tipo
 boolean TipoClasse.eValido(AmbienteCompilacao ambiente)
          Indica se esta classe é um tipo válido, ou seja, se já tiver sido declarada.
 boolean Tipo.eValido(AmbienteCompilacao ambiente)
          Verifica se o tipo é válido no ambiente.