forked from JavaTX/JavaCompilerCore
88ec8823fd
modified: ../../../main/java/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java deleted: ../../../main/java/de/dhbwstuttgart/syntaxtree/type/FunN.java modified: ../../../main/java/de/dhbwstuttgart/typeinference/assumptions/FunNClass.java modified: ../../../main/java/de/dhbwstuttgart/typeinference/assumptions/MethodAssumption.java modified: ../../../main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java modified: ../../../main/java/de/dhbwstuttgart/typeinference/unify/model/FunNType.java Es wird jetzt FunN-Type FunN$$ geparst Der Typ FunN wurde entfernt Der Name des Typs FunNType wurde um $$ am Ende ergänzt
24 lines
316 B
Java
24 lines
316 B
Java
import java.util.List;
|
|
import java.util.ArrayList;
|
|
import java.lang.String;
|
|
|
|
public class Sorting{
|
|
merge(a, b){
|
|
a.addAll(b);
|
|
return a;
|
|
}
|
|
/*
|
|
sort(in){
|
|
var firstHalf = in;
|
|
var secondHalf = in;
|
|
return merge(sort(firstHalf), sort(secondHalf));
|
|
}
|
|
*/
|
|
|
|
|
|
void sort(a){
|
|
a = merge(a,a);
|
|
}
|
|
|
|
}
|