399400401402403404405406407408409
} } } SimpleNode sliceRet; if (k == 0) { sliceRet = new Index(values[0]); } else { sliceRet = new Slice(values[0], values[1], values[2]); } //this may happen if we have no values sliceRet.getSpecialsBefore().addAll(specialsBefore);
492493494495496497498499500501502
423424425426427428429430431432433
425426427428429430431432433434435
375376377378379380381382383384385