Fehler behoben

This commit is contained in:
JanUlrich 2015-01-20 16:56:53 +01:00
parent ffdffa8371
commit d7bb282d0f
2 changed files with 5 additions and 1 deletions

View File

@ -54,6 +54,10 @@ public class KarthesischesProdukt<M> {
private Vector<Vector<M>> karthesischesProdukt(Vector<M> m1, Vector<M> m2){
Vector<Vector<M>> ret = new Vector<Vector<M>>();
if(m2.size() == 0){//Sonderfall, m2 ist leer:
ret.add(m1);
return ret; //Die restliche Berechnungen können übersprungen werden.
}
//for(M o1 : m1){
for(M o2 : m2){
Vector<M> v1 = new Vector<M>();

View File

@ -327,7 +327,7 @@ public class TypeAssumptions {
for(GenericVarAssumption ass : this.genericVarAssumptions){
//if(ass.inheritsType(t))return t;
if(ass.getIdentifier().equals(t.getName())){
if(! ass.getAssumedType().getParentClass().getName().equals(this.thisClassName)){
if(! ass.getAssumedType().getParentClass().equals(t.getParentClass())){
//Ist die Generische Variable nicht aus dieser Klasse, so muss sie zu einem TPH umgewandelt werden:
return new ConstraintType(ass.getAssumedType().getTypePlaceHolder(inNode));
}