Skip to content

Commit

Permalink
Merge pull request #114 from geneontology/issue-108
Browse files Browse the repository at this point in the history
Fix for failure for reasoner to update after undo
  • Loading branch information
kltm committed May 31, 2017
2 parents 8e934b5 + fb643ba commit 7bf0f4d
Showing 1 changed file with 4 additions and 4 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -227,7 +227,7 @@ public boolean undo(ModelContainer model, String userId) {

// invert and apply changes
List<OWLOntologyChange> invertedChanges = ReverseChangeGenerator.invertChanges(event.getChanges());
applyChanges(invertedChanges, abox.getOWLOntologyManager());
applyChanges(model, invertedChanges);

// push to redo
undoRedo.addRedo(event.changes, userId);
Expand Down Expand Up @@ -265,7 +265,7 @@ public boolean redo(ModelContainer model, String userId) {
}

// apply changes
applyChanges(event.getChanges(), abox.getOWLOntologyManager());
applyChanges(model, event.getChanges());

// push() to undo
undoRedo.addUndo(event.getChanges(), userId);
Expand Down Expand Up @@ -311,8 +311,8 @@ public void clearUndoHistory(IRI modelId) {
}
}

protected void applyChanges(List<OWLOntologyChange> changes, OWLOntologyManager manager) {
manager.applyChanges(changes);
protected void applyChanges(ModelContainer model, List<OWLOntologyChange> changes) {
model.applyChanges(changes);
}

}

0 comments on commit 7bf0f4d

Please sign in to comment.