Uses of Class
mycompiler.mytypereconstruction.typeassumption.CMethodTypeAssumption

Packages that use CMethodTypeAssumption

Package	Description
mycompiler.mytypereconstruction
mycompiler.mytypereconstruction.typeassumption
typinferenz

Uses of CMethodTypeAssumption in mycompiler.mytypereconstruction

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

Modifier and Type	Method and Description
java.util.Vector<CMethodTypeAssumption>	CIntersectionType.getMethodTypeAssumptions()

Methods in mycompiler.mytypereconstruction with parameters of type CMethodTypeAssumption

Modifier and Type	Method and Description
void	CIntersectionType.addMethodTypeAssumption(CMethodTypeAssumption assum)
void	CIntersectionType.removeMethodTypeAssumption(CMethodTypeAssumption assum)

Method parameters in mycompiler.mytypereconstruction with type arguments of type CMethodTypeAssumption

Modifier and Type	Method and Description
void	CIntersectionType.setMethodTypeAssumptions(java.util.Vector<CMethodTypeAssumption> methodTypeAssumptions)

Constructors in mycompiler.mytypereconstruction with parameters of type CMethodTypeAssumption

Constructor and Description
CIntersectionType(CMethodTypeAssumption assum)

Uses of CMethodTypeAssumption in mycompiler.mytypereconstruction.typeassumption

Methods in mycompiler.mytypereconstruction.typeassumption that return CMethodTypeAssumption

Modifier and Type	Method and Description
CMethodTypeAssumption	CMethodTypeAssumption.clone() Author: Jrg Buerle

Uses of CMethodTypeAssumption in typinferenz

Methods in typinferenz that return CMethodTypeAssumption

Modifier and Type	Method and Description
static CMethodTypeAssumption	TypeAssumptions.createMethodAssumption(Type classType, java.lang.String identifier, Type assumedType, java.util.Vector<CParaTypeAssumption> parameterTypes)
CMethodTypeAssumption	FunN.toCMethodTypeAssumption()

Methods in typinferenz that return types with arguments of type CMethodTypeAssumption

Modifier and Type	Method and Description
java.util.Vector<CMethodTypeAssumption>	TypeAssumptions.getMethodAssumptions(java.lang.String methodName, int parameterCount) Sucht nach Assumptions zu einer Methode mit dem Namen methodName und parameterCount Parametern.
java.util.Vector<CMethodTypeAssumption>	TypeAssumptions.getMethodAssumptions(java.lang.String className, java.lang.String methodName) Sucht nach MethodAssumptions einer bestimmten Klasse mit einem bestimmten Namen.