modified: src/main/java/de/dhbwstuttgart/typeinference/result/ResultSet.java
modified: src/test/resources/bytecode/javFiles/Lambda.jav modified: src/test/resources/bytecode/javFiles/MatrixOP.jav modified: src/test/resources/bytecode/javFiles/OL.jav
This commit is contained in:
parent
1e1eb2a2f2
commit
448c489a49
@ -22,9 +22,8 @@ public class ResultSet {
|
|||||||
|
|
||||||
public ResultSet(Set<ResultPair> set){
|
public ResultSet(Set<ResultPair> set){
|
||||||
this.results = set;
|
this.results = set;
|
||||||
this.genIns = results.stream().filter(a -> a instanceof PairTPHsmallerTPH)
|
this.genIns = new HashSet<>();
|
||||||
//.map(b -> new GenericInsertPair( (TypePlaceholder)(b.getLeft()), (TypePlaceholder)(b.getRight())))
|
results.forEach(x -> { if (x instanceof PairTPHsmallerTPH) { this.genIns.add(x);}} );
|
||||||
.collect(Collectors.toCollection(HashSet::new));
|
|
||||||
}
|
}
|
||||||
|
|
||||||
public boolean contains(ResultPair toCheck) {
|
public boolean contains(ResultPair toCheck) {
|
||||||
|
@ -7,4 +7,5 @@ public class Lambda {
|
|||||||
return x;
|
return x;
|
||||||
};
|
};
|
||||||
return lam1;
|
return lam1;
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
@ -1,6 +1,6 @@
|
|||||||
import java.util.Vector;
|
import java.util.Vector;
|
||||||
import java.lang.Integer;
|
import java.lang.Integer;
|
||||||
//import java.lang.Byte;
|
import java.lang.Byte;
|
||||||
import java.lang.Boolean;
|
import java.lang.Boolean;
|
||||||
|
|
||||||
public class MatrixOP extends Vector<Vector<Integer>> {
|
public class MatrixOP extends Vector<Vector<Integer>> {
|
||||||
|
@ -6,13 +6,13 @@ import java.lang.Double;
|
|||||||
|
|
||||||
public class OL {
|
public class OL {
|
||||||
|
|
||||||
java.lang.Integer m(java.lang.Integer x) { return x + x; }
|
m(x) { return x + x; }
|
||||||
|
|
||||||
}
|
}
|
||||||
|
|
||||||
public class OLMain {
|
public class OLMain {
|
||||||
|
|
||||||
java.lang.Integer main(java.lang.Integer x) {
|
main(x) {
|
||||||
var ol;
|
var ol;
|
||||||
ol = new OL();
|
ol = new OL();
|
||||||
return ol.m(x);
|
return ol.m(x);
|
||||||
|
Loading…
Reference in New Issue
Block a user