| class Vector { int[] v; Vector( int size ) { this.v = new int[size]; } } |
| abstract class InitList { // To initialize givenV with the elements of this InitList abstract Vector initializeV( Vector givenV ); } class Empty extends InitList { } class Larger extends InitList { int first; InitList rest; Larger( int first, InitList rest ) { this.first = first; this.rest = rest; } } |