<T extends ModifiableIndexedSubObject> T update(T input) { if (!input.updateOccurrenceNumbers(index_, increment_)) throw new ElkIndexingException(input.toString() + ": cannot update in Index for " + increment_ + " occurrences!"); return input; }
<T extends ModifiableIndexedSubObject> T update(T input) { if (!input.updateOccurrenceNumbers(index_, increment_)) throw new ElkIndexingException(input.toString() + ": cannot update in Index for " + increment_ + " occurrences!"); return input; }
<T extends ModifiableIndexedSubObject> T update(T input) { if (!input.updateOccurrenceNumbers(index_, increment_)) throw new ElkIndexingException(input.toString() + ": cannot update in Index for " + increment_ + " occurrences!"); return input; }
<T extends ModifiableIndexedAxiom> T update(T input) { if (increment_.totalIncrement > 0) { for (int i = 0; i < increment_.totalIncrement; i++) { if (!input.addOccurrence(index_)) throw new ElkIndexingException(input.toString() + ": cannot be added to Index!"); } } if (increment_.totalIncrement < 0) { for (int i = 0; i < -increment_.totalIncrement; i++) { if (!input.removeOccurrence(index_)) throw new ElkIndexingException(input.toString() + ": cannot be removed from Index!"); } } return input; }
<T extends ModifiableIndexedAxiom> T update(T input) { if (increment_.totalIncrement > 0) { for (int i = 0; i < increment_.totalIncrement; i++) { if (!input.addOccurrence(index_)) throw new ElkIndexingException(input.toString() + ": cannot be added to Index!"); } } if (increment_.totalIncrement < 0) { for (int i = 0; i < -increment_.totalIncrement; i++) { if (!input.removeOccurrence(index_)) throw new ElkIndexingException(input.toString() + ": cannot be removed from Index!"); } } return input; }
<T extends ModifiableIndexedAxiom> T update(T input) { if (increment_.totalIncrement > 0) { for (int i = 0; i < increment_.totalIncrement; i++) { if (!input.addOccurrence(index_)) throw new ElkIndexingException(input.toString() + ": cannot be added to Index!"); } } if (increment_.totalIncrement < 0) { for (int i = 0; i < -increment_.totalIncrement; i++) { if (!input.removeOccurrence(index_)) throw new ElkIndexingException(input.toString() + ": cannot be removed from Index!"); } } return input; }