/** * Create an index based on a parent index, e.g, 1.1, 1.2, 1.1.1, 1.1.2, * ..etc. * * @param parent * @param childIndex */ public DSNumber(DSNumber parent, int childIndex) { if (parent == null) { this.index = new int[1]; this.index[0] = childIndex; } else { this.index = new int[parent.size() + 1]; for (int i = 0; i < parent.size(); ++i) index[i] = parent.get(i); index[parent.size()] = childIndex; } }