Method process

src/main/java/matcher/SignatureInference.java:21–75

(ClassEnvironment env)

public final class SignatureInference<T> {
	public static void process(ClassEnvironment env) {
		Set<String> missingParams = new HashSet<>();
		Set<String> shadowedParams = new HashSet<>();

		for (ClassInstance cls : env.getClassesA()) {
			if (!cls.isInput() || cls.getSignature() != null) continue;

			// find type variables needed by own fields (can't declare their own type variables, so must be from the class)

			for (FieldInstance field : cls.getFields()) {
				FieldSignature sig = field.getSignature();
				if (sig == null) continue;

				processRefTypeSig(sig.getCls(), shadowedParams, missingParams);
			}

			// find type variables needed by own methods and not declared by them

			for (MethodInstance method : cls.getMethods()) {
				MethodSignature sig = method.getSignature();
				if (sig == null) continue;

				if (sig.getTypeParameters() != null) {
					for (TypeParameter typeParem : sig.getTypeParameters()) {
						shadowedParams.add(typeParem.getIdentifier());
					}
				}

				for (JavaTypeSignature arg : sig.getArgs()) {
					ReferenceTypeSignature argRefType = arg.getCls();
					if (argRefType != null) processRefTypeSig(argRefType, shadowedParams, missingParams);
				}

				if (sig.getResult() != null) {
					if (sig.getResult().getCls() != null) processRefTypeSig(sig.getResult().getCls(), shadowedParams, missingParams);
				}

				if (sig.getThrowsSignatures() != null) {
					for (ThrowsSignature throwsSig : sig.getThrowsSignatures()) {
						if (throwsSig.getCls() != null) {
							processClsTypeSig(throwsSig.getCls(), shadowedParams, missingParams);
						} else { // throwsSig.getVar() != null
							if (!shadowedParams.contains(throwsSig.getVar())) {
								missingParams.add(throwsSig.getVar());
							}
						}
					}
				}

				shadowedParams.clear();
			}

			missingParams.clear();
		}
	}

	private static void processRefTypeSig(ReferenceTypeSignature sig, Set<String> shadowedParams, Set<String> missingParams) {
		if (sig.getCls() != null) {