/** * Checks if a deleteCharacters transition with the given parameters would be valid. */ public ValidationResult checkDeleteCharacters(int count, ViolationCollector v) { if (count <= 0) { return deleteLengthNotPositive(v); } if (topOfStackIsInsertion()) { return deleteInsideInsert(v); } int available = maxCharactersToDelete(); if (count > available) { return cannotDeleteSoManyCharacters(v, count, available); } return valid(); }
int max = Math.min(a.maxCharactersToDelete(), p.getMaxDeleteLength()); if (max == 0) { return null; } else { int max = p.getMaxDeleteLength(); int min = a.maxCharactersToDelete() + 1; if (min > max) { return null;