- * Get the number of root-level nests.
- *
- */
- @Override
- public int getWidth()
- {
- ensureFinalized();
- // System.out.println(
- // "ISList w[0]=" + nestCounts[0] + " w[1]=" + nestCounts[1]);
- return nestCounts[0] + (createUnnested ? nestCounts[1] : 0);
- }
-
- @Override
- public boolean isValid()
- {
- ensureFinalized();
- return true;
- }
-
- /**