JavaPatternMatching/resources/insertGenerics/javFiles/TestVector.jav
pl@gohorb.ba-horb.de 9019d90b1e Please enter the commit message for your changes. Lines starting
with '#' will be ignored, and an empty message aborts the commit.
2023-07-03 11:53:15 +02:00

13 lines
139 B
Java

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