|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |