Uses of Class
mycompiler.mytypereconstruction.typeassumption.CParaTypeAssumption

Packages that use CParaTypeAssumption

Package	Description
mycompiler.mytypereconstruction.typeassumption
typinferenz

Uses of CParaTypeAssumption in mycompiler.mytypereconstruction.typeassumption

Methods in mycompiler.mytypereconstruction.typeassumption that return CParaTypeAssumption

Modifier and Type	Method and Description
CParaTypeAssumption	CParaTypeAssumption.clone() Author: Jrg Buerle
CParaTypeAssumption	CMethodTypeAssumption.getParaAssumption(int index)

Methods in mycompiler.mytypereconstruction.typeassumption that return types with arguments of type CParaTypeAssumption

Modifier and Type	Method and Description
java.util.Vector<CParaTypeAssumption>	CMethodTypeAssumption.getParaAssumptions() Author: Jrg Buerle

Methods in mycompiler.mytypereconstruction.typeassumption with parameters of type CParaTypeAssumption

Modifier and Type	Method and Description
void	CMethodTypeAssumption.addParaAssumption(CParaTypeAssumption paraAssumption)

Uses of CParaTypeAssumption in typinferenz

Methods in typinferenz that return CParaTypeAssumption

Modifier and Type	Method and Description
static CParaTypeAssumption	TypeAssumptions.createCParaTypeAssumption(java.lang.String identifier, Type assumedType) Erstellt eine CParaTypeAssumption.

Method parameters in typinferenz with type arguments of type CParaTypeAssumption

Modifier and Type	Method and Description
void	TypeAssumptions.addMethodAssumption(Type classType, java.lang.String identifier, Type assumedType, java.util.Vector<CParaTypeAssumption> parameterTypes) Ruft createMethodAssumption auf und f�gt die Assumption dem AssumptionSet hinzu
static CMethodTypeAssumption	TypeAssumptions.createMethodAssumption(Type classType, java.lang.String identifier, Type assumedType, java.util.Vector<CParaTypeAssumption> parameterTypes)