i21012/JavaPatternMatching
1
0
Fork 0
forked from JavaTX/JavaCompilerCore
Code Pull Requests Activity

stricter equality condition for typeParams

Browse Source
This commit is contained in:
Florian Steurer 2015-11-13 22:49:26 +01:00
parent fb82d8c3eb
commit fd5902f6dd
2 changed files with 9 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/de/dhbwstuttgart/typinference/unify/model/ExtendsType.java
View File

@ -8,7 +8,7 @@ public final class ExtendsType extends Type {
private Type extendedType; private Type extendedType;
public ExtendsType(Type extendedType) { public ExtendsType(Type extendedType) {
super("? extends " + extendedType.getTypeParams(), extendedType.getTypeParams()); super("? extends " + extendedType.getName(), extendedType.getTypeParams());
this.extendedType = extendedType; this.extendedType = extendedType;
} }

10
src/de/dhbwstuttgart/typinference/unify/model/TypeParams.java
View File

@ -61,8 +61,14 @@ public final class TypeParams implements Iterable<Type>{
TypeParams other = (TypeParams) obj; TypeParams other = (TypeParams) obj;
// TODO if(other.size() != this.size())
return other.size() == this.size(); return false;
for(int i = 0; i < this.size(); i++)
if(!(this.get(i).equals(other.get(i))))
return false;
return true;
} }
} }