Type type = (Type) types.next();
signature.append("|");
signature.append(type.toString());
}
signature.append(")");
Operation result = (Operation) getOperationHM.get(signature.toString());
if (result == null) {
result = super.getOperation(self, op, t, cVariables,
currentPackage, availablePackages, mainTrace);
getOperationHM.put(signature.toString(), result);
getOperationNoteHM.put(signature.toString(),