TestVector #80

New Issue

pl · 2021-02-25T21:44:05Z

pl commented

2021-02-25 21:44:05 +00:00

fogg.allConstraints: [T < W, W < ZU]
fogg.posOfTPHs: {T=[PairTphMethod[METHOD,voidm(java/util/Vectorjava/util/Vector)]], W=[PairTphMethod[METHOD,voidm(java/util/Vectorjava/util/Vector)], PairTphMethod[METHOD,TPH Wid(TPH W)]], ZU=[PairTphMethod[METHOD,voidm(java/util/Vectorjava/util/Vector)]]}
fogg.classConstraints: []
fogg.methodConstraintsWithPosition:
{voidm(java/util/Vectorjava/util/Vector)=[T < W, W < ZU, ZU < java/lang/Object],
TPH Wid(TPH W)=[W < ZU, ZU < java/lang/Object]}

Erwartet würde:

import java.util.Vector;

public class TestVector {

<T extends S, S> void m(Vector <T> v, Vector<S>  w) {
	w.addElement(id(v.elementAt(0)));
}

<T> T id(T x) {
	return x;
}

}

fogg.allConstraints: [T < W, W < ZU] fogg.posOfTPHs: {T=[PairTphMethod[METHOD,voidm(java/util/Vectorjava/util/Vector)]], W=[PairTphMethod[METHOD,voidm(java/util/Vectorjava/util/Vector)], PairTphMethod[METHOD,TPH Wid(TPH W)]], ZU=[PairTphMethod[METHOD,voidm(java/util/Vectorjava/util/Vector)]]} fogg.classConstraints: [] fogg.methodConstraintsWithPosition: {voidm(java/util/Vectorjava/util/Vector)=[T < W, W < ZU, ZU < java/lang/Object], TPH Wid(TPH W)=[W < ZU, ZU < java/lang/Object]} Erwartet würde: import java.util.Vector; public class TestVector { <T extends S, S> void m(Vector <T> v, Vector<S> w) { w.addElement(id(v.elementAt(0))); } <T> T id(T x) { return x; } }

pl commented

2021-03-25 18:32:42 +00:00

(In reply to Martin Plümicke from comment #0)

fogg.allConstraints: [T < W, W < ZU]
fogg.posOfTPHs:
{T=[PairTphMethod[METHOD,voidm(java/util/Vectorjava/util/Vector)]],
W=[PairTphMethod[METHOD,voidm(java/util/Vectorjava/util/Vector)],
PairTphMethod[METHOD,TPH Wid(TPH W)]],
ZU=[PairTphMethod[METHOD,voidm(java/util/Vectorjava/util/Vector)]]}
fogg.classConstraints: []
fogg.methodConstraintsWithPosition:
{voidm(java/util/Vectorjava/util/Vector)=[T < W, W < ZU, ZU <
java/lang/Object],
TPH Wid(TPH W)=[W < ZU, ZU < java/lang/Object]}

Erwartet würde:

import java.util.Vector;

public class TestVector {
<T extends W, W extends ZU, ZU> void m(Vector <T> v, Vector<ZU>  w) {
  w.addElement(id(v.elementAt(0)));
}

T id(W x) {
return x;
}
}

(In reply to Martin Plümicke from comment #0) > fogg.allConstraints: [T < W, W < ZU] > fogg.posOfTPHs: > {T=[PairTphMethod[METHOD,voidm(java/util/Vectorjava/util/Vector)]], > W=[PairTphMethod[METHOD,voidm(java/util/Vectorjava/util/Vector)], > PairTphMethod[METHOD,TPH Wid(TPH W)]], > ZU=[PairTphMethod[METHOD,voidm(java/util/Vectorjava/util/Vector)]]} > fogg.classConstraints: [] > fogg.methodConstraintsWithPosition: > {voidm(java/util/Vectorjava/util/Vector)=[T < W, W < ZU, ZU < > java/lang/Object], > TPH Wid(TPH W)=[W < ZU, ZU < java/lang/Object]} > > Erwartet würde: > > import java.util.Vector; > > public class TestVector { > > <T extends W, W extends ZU, ZU> void m(Vector <T> v, Vector<ZU> w) { > w.addElement(id(v.elementAt(0))); > } > > <W> T id(W x) { > return x; > } > }

dholle closed this issue

2024-03-05 10:59:28 +00:00

Sign in to join this conversation.