Uses of Interface
plp.expressions2.memory.AmbienteCompilacao

Packages that use AmbienteCompilacao
plp.expressions2.expression   
plp.expressions2.memory   
plp.functional1.declaration   
plp.functional1.expression   
plp.functional1.util   
plp.functional2.declaration   
plp.functional2.expression   
plp.imperative1.memory   
plp.imperative2.memory   
 

Uses of AmbienteCompilacao in plp.expressions2.expression
 

Methods in plp.expressions2.expression with parameters of type AmbienteCompilacao
 boolean ValorConcreto.checaTipo(AmbienteCompilacao amb)
          Realiza a verificacao de tipos desta expressao.
 boolean Id.checaTipo(AmbienteCompilacao amb)
          Realiza a verificacao de tipos desta expressao.
 boolean ExpUnaria.checaTipo(AmbienteCompilacao amb)
          Realiza a verificacao de tipos desta expressao.
 boolean Expressao.checaTipo(AmbienteCompilacao amb)
          Realiza a verificacao de tipos desta expressao.
 boolean ExpDeclaracao.checaTipo(AmbienteCompilacao ambiente)
          Realiza a verificacao de tipos desta expressao.
 boolean ExpBinaria.checaTipo(AmbienteCompilacao amb)
          Realiza a verificacao de tipos desta expressao.
 Tipo ValorString.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 Id.getTipo(AmbienteCompilacao amb)
          Retorna os tipos possiveis 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 Expressao.getTipo(AmbienteCompilacao amb)
          Retorna os tipos possiveis desta expressao.
 Tipo ExpOr.getTipo(AmbienteCompilacao ambiente)
          Retorna os tipos possiveis desta expressao.
 Tipo ExpNot.getTipo(AmbienteCompilacao amb)
          Retorna os tipos possiveis desta expressao.
 Tipo ExpMenos.getTipo(AmbienteCompilacao amb)
          Retorna os tipos possiveis desta expressao.
 Tipo ExpLength.getTipo(AmbienteCompilacao amb)
          Retorna os tipos possiveis desta expressao.
 Tipo ExpEquals.getTipo(AmbienteCompilacao ambiente)
          Retorna os tipos possiveis desta expressao.
 Tipo ExpDeclaracao.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.expressions2.memory
 

Classes in plp.expressions2.memory that implement AmbienteCompilacao
 class ContextoCompilacao
           
 

Uses of AmbienteCompilacao in plp.functional1.declaration
 

Methods in plp.functional1.declaration with parameters of type AmbienteCompilacao
 boolean DecVariavel.checaTipo(AmbienteCompilacao ambiente)
          Realiza a verificacao de tipos desta declaração.
 boolean DeclaracaoFuncional.checaTipo(AmbienteCompilacao ambiente)
          Realiza a verificacao de tipos desta declaração.
 boolean DecFuncao.checaTipo(AmbienteCompilacao ambiente)
          Realiza a verificacao de tipos desta declaração.
 Tipo DecVariavel.getTipo(AmbienteCompilacao amb)
          Retorna os tipos possiveis desta declaração.
 Tipo DeclaracaoFuncional.getTipo(AmbienteCompilacao amb)
          Retorna os tipos possiveis desta declaração.
 Tipo DecFuncao.getTipo(AmbienteCompilacao amb)
          Retorna os tipos possiveis da função declarada.
 

Uses of AmbienteCompilacao in plp.functional1.expression
 

Methods in plp.functional1.expression with parameters of type AmbienteCompilacao
 boolean IfThenElse.checaTipo(AmbienteCompilacao amb)
          Realiza a verificacao de tipos desta expressao.
 boolean ExpDeclaracao.checaTipo(AmbienteCompilacao ambiente)
          Realiza a verificacao de tipos desta expressao.
 boolean Aplicacao.checaTipo(AmbienteCompilacao ambiente)
          Realiza a verificacao de tipos desta expressao.
 Tipo IfThenElse.getTipo(AmbienteCompilacao amb)
          Retorna os tipos possiveis desta expressao.
 Tipo ExpDeclaracao.getTipo(AmbienteCompilacao ambiente)
          Retorna os tipos possiveis desta expressao.
 Tipo Aplicacao.getTipo(AmbienteCompilacao ambiente)
          Retorna os tipos possiveis desta expressao.
 

Uses of AmbienteCompilacao in plp.functional1.util
 

Methods in plp.functional1.util with parameters of type AmbienteCompilacao
static java.util.Map RestrictTypesVisitor._visitAplicacao(Aplicacao aplicacao, AmbienteCompilacao ambiente, java.util.Map tipos, Tipo tipoEsperado)
          Realiza a inferencia de tipos dos identificadores do mapeamento dado.
static java.util.Map RestrictTypesVisitor._visitExpAnd(ExpAnd expressao, AmbienteCompilacao ambiente, java.util.Map mapIdTipo, Tipo tipoEsperado)
          Realiza a inferencia de tipos dos identificadores do mapeamento dado.
static java.util.Map RestrictTypesVisitor._visitExpConcat(ExpConcat expressao, AmbienteCompilacao ambiente, java.util.Map mapIdTipo, Tipo tipoEsperado)
          Realiza a inferencia de tipos dos identificadores do mapeamento dado.
static java.util.Map RestrictTypesVisitor._visitExpDeclaracao(ExpDeclaracao expressao, AmbienteCompilacao ambiente, java.util.Map tipos, Tipo tipoEsperado)
          Realiza a inferencia de tipos dos identificadores do mapeamento dado.
static java.util.Map RestrictTypesVisitor._visitExpEquals(ExpEquals expressao, AmbienteCompilacao ambiente, java.util.Map tipos, Tipo tipoEsperado)
          Realiza a inferencia de tipos dos identificadores do mapeamento dado.
static java.util.Map RestrictTypesVisitor._visitExpLength(ExpLength expressao, AmbienteCompilacao ambiente, java.util.Map tipos, Tipo tipoEsperado)
          Realiza a inferencia de tipos dos identificadores do mapeamento dado.
static java.util.Map RestrictTypesVisitor._visitExpMenos(ExpMenos expressao, AmbienteCompilacao ambiente, java.util.Map tipos, Tipo tipoEsperado)
          Realiza a inferencia de tipos dos identificadores do mapeamento dado.
static java.util.Map RestrictTypesVisitor._visitExpNot(ExpNot expressao, AmbienteCompilacao ambiente, java.util.Map tipos, Tipo tipoEsperado)
          Realiza a inferencia de tipos dos identificadores do mapeamento dado.
static java.util.Map RestrictTypesVisitor._visitExpOr(ExpOr expressao, AmbienteCompilacao ambiente, java.util.Map tipos, Tipo tipoEsperado)
          Realiza a inferencia de tipos dos identificadores do mapeamento dado.
static java.util.Map RestrictTypesVisitor._visitExpSoma(ExpSoma expressao, AmbienteCompilacao ambiente, java.util.Map tipos, Tipo tipoEsperado)
          Realiza a inferencia de tipos dos identificadores do mapeamento dado.
static java.util.Map RestrictTypesVisitor._visitExpSub(ExpSub expressao, AmbienteCompilacao ambiente, java.util.Map tipos, Tipo tipoEsperado)
          Realiza a inferencia de tipos dos identificadores do mapeamento dado.
static java.util.Map RestrictTypesVisitor._visitId(Id thisId, AmbienteCompilacao ambiente, java.util.Map tipos, Tipo tipoEsperado)
           
static java.util.Map RestrictTypesVisitor._visitIfThenElse(IfThenElse expressao, AmbienteCompilacao ambiente, java.util.Map tipos, Tipo tipoEsperado)
          Realiza a inferencia de tipos dos identificadores do mapeamento dado.
static java.util.Map RestrictTypesVisitor._visitValorBooleano(ValorBooleano valor, AmbienteCompilacao ambiente, java.util.Map tipos, Tipo tipoEsperado)
           
static java.util.Map RestrictTypesVisitor._visitValorInteiro(ValorInteiro valor, AmbienteCompilacao ambiente, java.util.Map tipos, Tipo tipoEsperado)
           
static java.util.Map RestrictTypesVisitor._visitValorString(ValorString valor, AmbienteCompilacao ambiente, java.util.Map tipos, Tipo tipoEsperado)
           
 boolean ValorFuncao.checaTipo(AmbienteCompilacao ambiente)
          Realiza a verificacao de tipos desta declaração.
 Tipo ValorFuncao.getTipo(AmbienteCompilacao ambiente)
          Retorna os tipos possiveis desta função.
static java.util.Map<java.lang.String,java.lang.reflect.Method> RestrictTypesVisitor.visit(Expressao exp, AmbienteCompilacao ambiente, java.util.Map tipos, Tipo tipoEsperado)
           
 

Uses of AmbienteCompilacao in plp.functional2.declaration
 

Methods in plp.functional2.declaration with parameters of type AmbienteCompilacao
 boolean DecFuncao.checaTipo(AmbienteCompilacao ambiente)
          Realiza a verificacao de tipos desta declaração.
 Tipo DecFuncao.getTipo(AmbienteCompilacao amb)
          Retorna os tipos possiveis da função declarada.
 

Uses of AmbienteCompilacao in plp.functional2.expression
 

Methods in plp.functional2.expression with parameters of type AmbienteCompilacao
 boolean ValorFuncao.checaTipo(AmbienteCompilacao ambiente)
          Realiza a verificacao de tipos desta declaração.
 boolean ExpDeclaracao.checaTipo(AmbienteCompilacao ambiente)
          Realiza a verificacao de tipos desta expressao.
 boolean Aplicacao.checaTipo(AmbienteCompilacao ambiente)
          Realiza a verificacao de tipos desta expressao.
 Tipo ValorFuncao.getTipo(AmbienteCompilacao ambiente)
          Retorna os tipos possiveis desta função.
 Tipo ExpDeclaracao.getTipo(AmbienteCompilacao ambiente)
          Retorna os tipos possiveis desta expressao.
 Tipo Aplicacao.getTipo(AmbienteCompilacao ambiente)
          Retorna os tipos possiveis desta expressao.
 

Uses of AmbienteCompilacao in plp.imperative1.memory
 

Subinterfaces of AmbienteCompilacao in plp.imperative1.memory
 interface AmbienteCompilacaoImperativa
           
 

Classes in plp.imperative1.memory that implement AmbienteCompilacao
 class ContextoCompilacaoImperativa
           
 

Uses of AmbienteCompilacao in plp.imperative2.memory
 

Subinterfaces of AmbienteCompilacao in plp.imperative2.memory
 interface AmbienteCompilacaoImperativa2
           
 

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