Fixed a Bug for a null Pointer Exception

This commit is contained in:
Till Schnell 2021-05-01 14:38:44 +02:00
parent c5c8ffeed1
commit 76a291ab41

View File

@ -615,7 +615,7 @@ public class JavaTXCompiler {
});
Set<String> constructorParaTypeVarNames = allClasses.stream().map(x -> x.getConstructors().stream()
.map(y -> y.getParameterList().getFormalparalist().stream()
.filter(y -> y != null).map(y -> y.getParameterList().getFormalparalist().stream()
.filter(z -> z.getType() instanceof TypePlaceholder)
.map(z -> ((TypePlaceholder) z.getType()).getName())
.collect(Collectors.toCollection(HashSet::new)))