plp.functional1.util.RestrictTypesVisitor Class Reference

List of all members.

Static Public Member Functions

static Map< String, Method > visit (Expressao exp, AmbienteCompilacao ambiente, Map tipos, Tipo tipoEsperado)
static Map _visitAplicacao (Aplicacao aplicacao, AmbienteCompilacao ambiente, Map tipos, Tipo tipoEsperado)
static Map _visitExpAnd (ExpAnd expressao, AmbienteCompilacao ambiente, Map mapIdTipo, Tipo tipoEsperado)
static Map _visitExpConcat (ExpConcat expressao, AmbienteCompilacao ambiente, Map mapIdTipo, Tipo tipoEsperado)
static Map _visitExpDeclaracao (ExpDeclaracao expressao, AmbienteCompilacao ambiente, Map tipos, Tipo tipoEsperado)
static Map _visitExpEquals (ExpEquals expressao, AmbienteCompilacao ambiente, Map tipos, Tipo tipoEsperado)
static Map _visitExpLength (ExpLength expressao, AmbienteCompilacao ambiente, Map tipos, Tipo tipoEsperado)
static Map _visitExpMenos (ExpMenos expressao, AmbienteCompilacao ambiente, Map tipos, Tipo tipoEsperado)
static Map _visitExpNot (ExpNot expressao, AmbienteCompilacao ambiente, Map tipos, Tipo tipoEsperado)
static Map _visitExpOr (ExpOr expressao, AmbienteCompilacao ambiente, Map tipos, Tipo tipoEsperado)
static Map _visitExpSoma (ExpSoma expressao, AmbienteCompilacao ambiente, Map tipos, Tipo tipoEsperado)
static Map _visitExpSub (ExpSub expressao, AmbienteCompilacao ambiente, Map tipos, Tipo tipoEsperado)
static Map _visitIfThenElse (IfThenElse expressao, AmbienteCompilacao ambiente, Map tipos, Tipo tipoEsperado)
static Map _visitId (Id thisId, AmbienteCompilacao ambiente, Map tipos, Tipo tipoEsperado)
static Map _visitValorInteiro (ValorInteiro valor, AmbienteCompilacao ambiente, Map tipos, Tipo tipoEsperado)
static Map _visitValorString (ValorString valor, AmbienteCompilacao ambiente, Map tipos, Tipo tipoEsperado)
static Map _visitValorBooleano (ValorBooleano valor, AmbienteCompilacao ambiente, Map tipos, Tipo tipoEsperado)

Static Package Functions

 [static initializer]

Static Private Member Functions

static Method getMethod (String name) throws NoSuchMethodException

Static Private Attributes

static Map< String, Method > metodosVisit

Detailed Description

Author:
SÚrgio
To change this generated comment edit the template variable "typecomment": Window>Preferences>Java>Templates. To enable and disable the creation of type comments go to Window>Preferences>Java>Code Generation.

Definition at line 42 of file RestrictTypesVisitor.java.


Member Function Documentation

plp.functional1.util.RestrictTypesVisitor.[static initializer] (  )  [static, package]

static Map plp.functional1.util.RestrictTypesVisitor._visitAplicacao ( Aplicacao  aplicacao,
AmbienteCompilacao  ambiente,
Map  tipos,
Tipo  tipoEsperado 
) [static]

Realiza a inferencia de tipos dos identificadores do mapeamento dado.

Parameters:
ambiente o ambiente que contem o mapeamento entre identificadores e tipos.
listaIds o mapeamento atual dos identificadores em tipos.
tipoEsperado o tipo esperado desta expressao.
Returns:
um mapeamento mais restrito dos identificadores nos seus tipos.

Definition at line 127 of file RestrictTypesVisitor.java.

References plp.expressions1.util.Tipo.get(), plp.functional1.expression.Aplicacao.getArgsExpressao(), plp.functional1.expression.Aplicacao.getFunc(), and plp.expressions1.util.Tipo.getProx().

Here is the call graph for this function:

static Map plp.functional1.util.RestrictTypesVisitor._visitExpAnd ( ExpAnd  expressao,
AmbienteCompilacao  ambiente,
Map  mapIdTipo,
Tipo  tipoEsperado 
) [static]

Realiza a inferencia de tipos dos identificadores do mapeamento dado.

Parameters:
ambiente o ambiente que contem o mapeamento entre identificadores e tipos.
listaIds o mapeamento atual dos identificadores em tipos.
tipoEsperado o tipo esperado desta expressao.
Returns:
um mapeamento mais restrito dos identificadores nos seus tipos.

Definition at line 175 of file RestrictTypesVisitor.java.

References plp.expressions2.expression.ExpBinaria.getDir(), and plp.expressions2.expression.ExpBinaria.getEsq().

Here is the call graph for this function:

static Map plp.functional1.util.RestrictTypesVisitor._visitExpConcat ( ExpConcat  expressao,
AmbienteCompilacao  ambiente,
Map  mapIdTipo,
Tipo  tipoEsperado 
) [static]

Realiza a inferencia de tipos dos identificadores do mapeamento dado.

Parameters:
ambiente o ambiente que contem o mapeamento entre identificadores e tipos.
listaIds o mapeamento atual dos identificadores em tipos.
tipoEsperado o tipo esperado desta expressao.
Returns:
um mapeamento mais restrito dos identificadores nos seus tipos.

Definition at line 195 of file RestrictTypesVisitor.java.

References plp.expressions2.expression.ExpBinaria.getDir(), and plp.expressions2.expression.ExpBinaria.getEsq().

Here is the call graph for this function:

static Map plp.functional1.util.RestrictTypesVisitor._visitExpDeclaracao ( ExpDeclaracao  expressao,
AmbienteCompilacao  ambiente,
Map  tipos,
Tipo  tipoEsperado 
) [static]

Realiza a inferencia de tipos dos identificadores do mapeamento dado.

Parameters:
ambiente o ambiente que contem o mapeamento entre identificadores e tipos.
listaIds o mapeamento atual dos identificadores em tipos.
tipoEsperado o tipo esperado desta expressao.
Returns:
um mapeamento mais restrito dos identificadores nos seus tipos.

Definition at line 215 of file RestrictTypesVisitor.java.

References plp.functional1.expression.ExpDeclaracao.getExpressao(), plp.functional1.declaration.DecFuncao.getFuncao(), plp.functional1.expression.ExpDeclaracao.getSeqdecFuncional(), plp.functional1.util.ValorFuncao.getTipo(), and plp.expressions1.util.Tipo.TIPO_INDEFINIDO.

Here is the call graph for this function:

static Map plp.functional1.util.RestrictTypesVisitor._visitExpEquals ( ExpEquals  expressao,
AmbienteCompilacao  ambiente,
Map  tipos,
Tipo  tipoEsperado 
) [static]

Realiza a inferencia de tipos dos identificadores do mapeamento dado.

Parameters:
ambiente o ambiente que contem o mapeamento entre identificadores e tipos.
listaIds o mapeamento atual dos identificadores em tipos.
tipoEsperado o tipo esperado desta expressao.
Returns:
um mapeamento mais restrito dos identificadores nos seus tipos.

Definition at line 268 of file RestrictTypesVisitor.java.

static Map plp.functional1.util.RestrictTypesVisitor._visitExpLength ( ExpLength  expressao,
AmbienteCompilacao  ambiente,
Map  tipos,
Tipo  tipoEsperado 
) [static]

Realiza a inferencia de tipos dos identificadores do mapeamento dado.

Parameters:
ambiente o ambiente que contem o mapeamento entre identificadores e tipos.
listaIds o mapeamento atual dos identificadores em tipos.
tipoEsperado o tipo esperado desta expressao.
Returns:
um mapeamento mais restrito dos identificadores nos seus tipos.

Definition at line 285 of file RestrictTypesVisitor.java.

References plp.expressions2.expression.ExpUnaria.getExp().

Here is the call graph for this function:

static Map plp.functional1.util.RestrictTypesVisitor._visitExpMenos ( ExpMenos  expressao,
AmbienteCompilacao  ambiente,
Map  tipos,
Tipo  tipoEsperado 
) [static]

Realiza a inferencia de tipos dos identificadores do mapeamento dado.

Parameters:
ambiente o ambiente que contem o mapeamento entre identificadores e tipos.
listaIds o mapeamento atual dos identificadores em tipos.
tipoEsperado o tipo esperado desta expressao.
Returns:
um mapeamento mais restrito dos identificadores nos seus tipos.

Definition at line 303 of file RestrictTypesVisitor.java.

References plp.expressions2.expression.ExpUnaria.getExp().

Here is the call graph for this function:

static Map plp.functional1.util.RestrictTypesVisitor._visitExpNot ( ExpNot  expressao,
AmbienteCompilacao  ambiente,
Map  tipos,
Tipo  tipoEsperado 
) [static]

Realiza a inferencia de tipos dos identificadores do mapeamento dado.

Parameters:
ambiente o ambiente que contem o mapeamento entre identificadores e tipos.
listaIds o mapeamento atual dos identificadores em tipos.
tipoEsperado o tipo esperado desta expressao.
Returns:
um mapeamento mais restrito dos identificadores nos seus tipos.

Definition at line 321 of file RestrictTypesVisitor.java.

References plp.expressions2.expression.ExpUnaria.getExp().

Here is the call graph for this function:

static Map plp.functional1.util.RestrictTypesVisitor._visitExpOr ( ExpOr  expressao,
AmbienteCompilacao  ambiente,
Map  tipos,
Tipo  tipoEsperado 
) [static]

Realiza a inferencia de tipos dos identificadores do mapeamento dado.

Parameters:
ambiente o ambiente que contem o mapeamento entre identificadores e tipos.
listaIds o mapeamento atual dos identificadores em tipos.
tipoEsperado o tipo esperado desta expressao.
Returns:
um mapeamento mais restrito dos identificadores nos seus tipos.

Definition at line 340 of file RestrictTypesVisitor.java.

References plp.expressions2.expression.ExpBinaria.getDir(), and plp.expressions2.expression.ExpBinaria.getEsq().

Here is the call graph for this function:

static Map plp.functional1.util.RestrictTypesVisitor._visitExpSoma ( ExpSoma  expressao,
AmbienteCompilacao  ambiente,
Map  tipos,
Tipo  tipoEsperado 
) [static]

Realiza a inferencia de tipos dos identificadores do mapeamento dado.

Parameters:
ambiente o ambiente que contem o mapeamento entre identificadores e tipos.
listaIds o mapeamento atual dos identificadores em tipos.
tipoEsperado o tipo esperado desta expressao.
Returns:
um mapeamento mais restrito dos identificadores nos seus tipos.

Definition at line 360 of file RestrictTypesVisitor.java.

References plp.expressions2.expression.ExpBinaria.getDir(), and plp.expressions2.expression.ExpBinaria.getEsq().

Here is the call graph for this function:

static Map plp.functional1.util.RestrictTypesVisitor._visitExpSub ( ExpSub  expressao,
AmbienteCompilacao  ambiente,
Map  tipos,
Tipo  tipoEsperado 
) [static]

Realiza a inferencia de tipos dos identificadores do mapeamento dado.

Parameters:
ambiente o ambiente que contem o mapeamento entre identificadores e tipos.
listaIds o mapeamento atual dos identificadores em tipos.
tipoEsperado o tipo esperado desta expressao.
Returns:
um mapeamento mais restrito dos identificadores nos seus tipos.

Definition at line 379 of file RestrictTypesVisitor.java.

References plp.expressions2.expression.ExpBinaria.getDir(), and plp.expressions2.expression.ExpBinaria.getEsq().

Here is the call graph for this function:

static Map plp.functional1.util.RestrictTypesVisitor._visitId ( Id  thisId,
AmbienteCompilacao  ambiente,
Map  tipos,
Tipo  tipoEsperado 
) [static]

Definition at line 410 of file RestrictTypesVisitor.java.

References plp.expressions1.util.Tipo.intersecao().

Here is the call graph for this function:

static Map plp.functional1.util.RestrictTypesVisitor._visitIfThenElse ( IfThenElse  expressao,
AmbienteCompilacao  ambiente,
Map  tipos,
Tipo  tipoEsperado 
) [static]

Realiza a inferencia de tipos dos identificadores do mapeamento dado.

Parameters:
ambiente o ambiente que contem o mapeamento entre identificadores e tipos.
listaIds o mapeamento atual dos identificadores em tipos.
tipoEsperado o tipo esperado desta expressao.
Returns:
um mapeamento mais restrito dos identificadores nos seus tipos.

Definition at line 398 of file RestrictTypesVisitor.java.

References plp.functional1.expression.IfThenElse.getCondicao(), plp.functional1.expression.IfThenElse.getElseExpressao(), and plp.functional1.expression.IfThenElse.getThen().

Here is the call graph for this function:

static Map plp.functional1.util.RestrictTypesVisitor._visitValorBooleano ( ValorBooleano  valor,
AmbienteCompilacao  ambiente,
Map  tipos,
Tipo  tipoEsperado 
) [static]

Definition at line 447 of file RestrictTypesVisitor.java.

static Map plp.functional1.util.RestrictTypesVisitor._visitValorInteiro ( ValorInteiro  valor,
AmbienteCompilacao  ambiente,
Map  tipos,
Tipo  tipoEsperado 
) [static]

Definition at line 429 of file RestrictTypesVisitor.java.

static Map plp.functional1.util.RestrictTypesVisitor._visitValorString ( ValorString  valor,
AmbienteCompilacao  ambiente,
Map  tipos,
Tipo  tipoEsperado 
) [static]

Definition at line 438 of file RestrictTypesVisitor.java.

static Method plp.functional1.util.RestrictTypesVisitor.getMethod ( String  name  )  throws NoSuchMethodException [static, private]

Definition at line 109 of file RestrictTypesVisitor.java.

Referenced by plp.functional1.util.RestrictTypesVisitor.visit().

static Map<String,Method> plp.functional1.util.RestrictTypesVisitor.visit ( Expressao  exp,
AmbienteCompilacao  ambiente,
Map  tipos,
Tipo  tipoEsperado 
) [static]

Definition at line 57 of file RestrictTypesVisitor.java.

References plp.functional1.util.RestrictTypesVisitor.getMethod().

Here is the call graph for this function:


Member Data Documentation

Map<String,Method> plp.functional1.util.RestrictTypesVisitor.metodosVisit [static, private]

Definition at line 43 of file RestrictTypesVisitor.java.


The documentation for this class was generated from the following file:
Generated on Tue Sep 12 21:57:58 2006 for PLP by  doxygen 1.4.7