756757758759760761762763764
} else if (sltypes.size() != 0) { extslice = true; } if (extslice) { List<slice> st = castSlices(sltypes); s = new ExtSlice(begin, st); } return s; }