@Override public String toString() { return "'" + typeArg.getParameterizedQualifiedSourceName() + "' is reachable from type argument " + typeArgIndex + " of type '" + baseType.getParameterizedQualifiedSourceName() + "'"; } };
@Override public String toString() { return "'" + typeArg.getParameterizedQualifiedSourceName() + "' is reachable from type argument " + typeArgIndex + " of type '" + baseType.getParameterizedQualifiedSourceName() + "'"; } };
&& otherFlowInfo.isTransitivelyAffectedBy(flowInfoForArrayParam)) { problems.add(baseType, "Cannot serialize type '" + baseType.getParameterizedQualifiedSourceName() + "' when given an argument of type '" + typeArg.getParameterizedQualifiedSourceName() TreeLogger branch = logger.branch(TreeLogger.DEBUG, "Checking type argument " + paramIndex + " of type '" + baseType.getParameterizedQualifiedSourceName() + "' because it is directly exposed in this type or in one of its subtypes"); return computeTypeInstantiability(branch, typeArg, path, problems) + baseType.getParameterizedQualifiedSourceName() + "' because it is not exposed in this or any subtype"); return true; assert (exposure >= TypeParameterExposureComputer.EXPOSURE_MIN_BOUNDED_ARRAY); problems.add(getArrayType(typeOracle, exposure, typeArg), "Checking type argument " + paramIndex + " of type '" + baseType.getParameterizedQualifiedSourceName() + "' because it is exposed as an array with a maximum dimension of " + exposure + " in this type or one of its subtypes", Priority.AUXILIARY);
&& otherFlowInfo.isTransitivelyAffectedBy(flowInfoForArrayParam)) { problems.add(baseType, "Cannot serialize type '" + baseType.getParameterizedQualifiedSourceName() + "' when given an argument of type '" + typeArg.getParameterizedQualifiedSourceName() TreeLogger branch = logger.branch(TreeLogger.DEBUG, "Checking type argument " + paramIndex + " of type '" + baseType.getParameterizedQualifiedSourceName() + "' because it is directly exposed in this type or in one of its subtypes"); return computeTypeInstantiability(branch, typeArg, path, problems) + baseType.getParameterizedQualifiedSourceName() + "' because it is not exposed in this or any subtype"); return true; assert (exposure >= TypeParameterExposureComputer.EXPOSURE_MIN_BOUNDED_ARRAY); problems.add(getArrayType(typeOracle, exposure, typeArg), "Checking type argument " + paramIndex + " of type '" + baseType.getParameterizedQualifiedSourceName() + "' because it is exposed as an array with a maximum dimension of " + exposure + " in this type or one of its subtypes", Priority.AUXILIARY);