public class SimpleIncrementalChangeTracker extends Object implements IncrementalChangeTracker
Title: Simple incremental change tracker
Description: Basic implementation of IncrementalChangeTracker
interface
Copyright: Copyright (c) 2008
Company: Clark & Parsia, LLC.
| Constructor and Description |
|---|
SimpleIncrementalChangeTracker() |
| Modifier and Type | Method and Description |
|---|---|
boolean |
addDeletedEdge(Edge e)
Record that a new edge has been deleted from the ABox
|
boolean |
addDeletedType(Node n,
aterm.ATermAppl type)
Record that a type was deleted from an individual
|
boolean |
addNewEdge(Edge e)
Record that a new edge has been added to the ABox
|
boolean |
addNewIndividual(Individual i)
Record that a new individual has been added to the ABox
|
boolean |
addUnprunedNode(Node n)
Record that a node has been "unpruned" because a merge was reverted
during restore
|
boolean |
addUpdatedIndividual(Individual i)
Record that an individual has been updated
|
void |
clear()
Clear all recorded changes
|
SimpleIncrementalChangeTracker |
copy(ABox target)
Copy change tracker for use with a new ABox (presumably as part of
ABox.copy()) |
Iterator<Edge> |
deletedEdges()
Iterate over all edges deleted (see
IncrementalChangeTracker.addDeletedEdge(Edge)) since
the previous IncrementalChangeTracker.clear() |
Iterator<Map.Entry<Node,Set<aterm.ATermAppl>>> |
deletedTypes()
Iterate over all nodes with deleted types (and those types) (see
IncrementalChangeTracker.addDeletedType(Node, ATermAppl)) since the previous
IncrementalChangeTracker.clear() |
Iterator<Edge> |
newEdges()
Iterate over all edges added (see
IncrementalChangeTracker.addNewEdge(Edge)) since the
previous IncrementalChangeTracker.clear() |
Iterator<Individual> |
newIndividuals()
Iterate over all individuals added (see
IncrementalChangeTracker.addNewIndividual(Individual)) since the previous
IncrementalChangeTracker.clear() |
Iterator<Node> |
unprunedNodes()
Iterate over all nodes unpruned (see
#addUnprunedIndividual(Individual)) since the previous
IncrementalChangeTracker.clear() |
Iterator<Individual> |
updatedIndividuals()
Iterate over all individuals updated (see
IncrementalChangeTracker.addUpdatedIndividual(Individual)) since the previous
IncrementalChangeTracker.clear() |
public boolean addDeletedEdge(Edge e)
IncrementalChangeTrackeraddDeletedEdge in interface IncrementalChangeTrackere - the Edgetrue if delete is not already noted for edge,
false elsepublic boolean addDeletedType(Node n, aterm.ATermAppl type)
IncrementalChangeTrackeraddDeletedType in interface IncrementalChangeTrackern - the Nodetype - the typetrue if delete is not already noted for node,
type pair false elsepublic boolean addNewEdge(Edge e)
IncrementalChangeTrackeraddNewEdge in interface IncrementalChangeTrackere - the Edgetrue if addition is not already noted for edge,
false elsepublic boolean addNewIndividual(Individual i)
IncrementalChangeTrackeraddNewIndividual in interface IncrementalChangeTrackeri - the Individualtrue if addition is not already noted for
individual, false elsepublic boolean addUnprunedNode(Node n)
IncrementalChangeTrackeraddUnprunedNode in interface IncrementalChangeTrackern - the Nodetrue if unpruning is not already noted for node,
false elsepublic boolean addUpdatedIndividual(Individual i)
IncrementalChangeTrackeraddUpdatedIndividual in interface IncrementalChangeTrackeri - the Individualtrue if addition is not already noted for
individual, false elsepublic void clear()
IncrementalChangeTrackerclear in interface IncrementalChangeTrackerpublic SimpleIncrementalChangeTracker copy(ABox target)
IncrementalChangeTrackerABox.copy())copy in interface IncrementalChangeTrackertarget - The ABox for the copypublic Iterator<Edge> deletedEdges()
IncrementalChangeTrackerIncrementalChangeTracker.addDeletedEdge(Edge)) since
the previous IncrementalChangeTracker.clear()deletedEdges in interface IncrementalChangeTrackerpublic Iterator<Map.Entry<Node,Set<aterm.ATermAppl>>> deletedTypes()
IncrementalChangeTrackerIncrementalChangeTracker.addDeletedType(Node, ATermAppl)) since the previous
IncrementalChangeTracker.clear()deletedTypes in interface IncrementalChangeTrackerpublic Iterator<Edge> newEdges()
IncrementalChangeTrackerIncrementalChangeTracker.addNewEdge(Edge)) since the
previous IncrementalChangeTracker.clear()newEdges in interface IncrementalChangeTrackerpublic Iterator<Individual> newIndividuals()
IncrementalChangeTrackerIncrementalChangeTracker.addNewIndividual(Individual)) since the previous
IncrementalChangeTracker.clear()newIndividuals in interface IncrementalChangeTrackerpublic Iterator<Node> unprunedNodes()
IncrementalChangeTracker#addUnprunedIndividual(Individual)) since the previous
IncrementalChangeTracker.clear()unprunedNodes in interface IncrementalChangeTrackerpublic Iterator<Individual> updatedIndividuals()
IncrementalChangeTrackerIncrementalChangeTracker.addUpdatedIndividual(Individual)) since the previous
IncrementalChangeTracker.clear()updatedIndividuals in interface IncrementalChangeTrackerCopyright © 2019. All rights reserved.