@Override public boolean tryRemoveDefinition(ModifiableIndexedClass target, ModifiableIndexedClassExpression definition, ElkAxiom reason) { if (!incrementalMode) return super.tryRemoveDefinition(target, definition, reason); // for incremental mode: IndexedClassExpression addedDefinition = addedDefinitions_.get(target); ElkAxiom addedDefinitionReason = addedDefinitionReasons_.get(target); if (addedDefinition == definition && addedDefinitionReason.equals(reason)) { addedDefinitions_.remove(target); addedDefinitionReasons_.remove(target); return true; } // else if (addedDefinition != null || target.getDefinition() != definition || !target.getDefinitionReason().equals(reason)) return false; // else target.removeDefinition(); removedDefinitions_.put(target, definition); removedDefinitionReasons_.put(target, reason); return true; }
@Override public boolean tryRemoveDefinition(ModifiableIndexedClass target, ModifiableIndexedClassExpression definition, ElkAxiom reason) { if (!incrementalMode) return super.tryRemoveDefinition(target, definition, reason); // for incremental mode: IndexedClassExpression addedDefinition = addedDefinitions_.get(target); ElkAxiom addedDefinitionReason = addedDefinitionReasons_.get(target); if (addedDefinition == definition && addedDefinitionReason.equals(reason)) { addedDefinitions_.remove(target); addedDefinitionReasons_.remove(target); return true; } // else if (addedDefinition != null || target.getDefinition() != definition || !target.getDefinitionReason().equals(reason)) return false; // else target.removeDefinition(); removedDefinitions_.put(target, definition); removedDefinitionReasons_.put(target, reason); return true; }
@Override public boolean tryRemoveDefinition(ModifiableIndexedClass target, ModifiableIndexedClassExpression definition, ElkAxiom reason) { if (!incrementalMode) return super.tryRemoveDefinition(target, definition, reason); // for incremental mode: IndexedClassExpression addedDefinition = addedDefinitions_.get(target); ElkAxiom addedDefinitionReason = addedDefinitionReasons_.get(target); if (addedDefinition == definition && addedDefinitionReason.equals(reason)) { addedDefinitions_.remove(target); addedDefinitionReasons_.remove(target); return true; } // else if (addedDefinition != null || target.getDefinition() != definition || !target.getDefinitionReason().equals(reason)) return false; // else target.removeDefinition(); removedDefinitions_.put(target, definition); removedDefinitionReasons_.put(target, reason); return true; }