JavaPatternMatching/resources/insertGenericsJav/TestVector.jav

12 lines
130 B
Java

import java.util.Vector;
public class TestVector {
m(v, w) {
w.addElement(id(v.elementAt(0)));
}
id(x) {
return x;
}
}