|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectcom.clarkparsia.pellet.impl.SimpleIncrementalChangeTracker
public class SimpleIncrementalChangeTracker
Title: Simple incremental change tracker
Description: Basic implementation of IncrementalChangeTracker
interface
Copyright: Copyright (c) 2008
Company: Clark & Parsia, LLC.
| Constructor Summary | |
|---|---|
SimpleIncrementalChangeTracker()
|
|
| Method Summary | |
|---|---|
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()) |
java.util.Iterator<Edge> |
deletedEdges()
Iterate over all edges deleted (see IncrementalChangeTracker.addDeletedEdge(Edge)) since
the previous IncrementalChangeTracker.clear() |
java.util.Iterator<java.util.Map.Entry<Node,java.util.Set<aterm.ATermAppl>>> |
deletedTypes()
Iterate over all nodes with deleted types (and those types) (see IncrementalChangeTracker.addDeletedType(Node, ATermAppl)) since the previous
IncrementalChangeTracker.clear() |
java.util.Iterator<Edge> |
newEdges()
Iterate over all edges added (see IncrementalChangeTracker.addNewEdge(Edge)) since the
previous IncrementalChangeTracker.clear() |
java.util.Iterator<Individual> |
newIndividuals()
Iterate over all individuals added (see IncrementalChangeTracker.addNewIndividual(Individual)) since the previous
IncrementalChangeTracker.clear() |
java.util.Iterator<Node> |
unprunedNodes()
Iterate over all nodes unpruned (see #addUnprunedIndividual(Individual)) since the previous
IncrementalChangeTracker.clear() |
java.util.Iterator<Individual> |
updatedIndividuals()
Iterate over all individuals updated (see IncrementalChangeTracker.addUpdatedIndividual(Individual)) since the previous
IncrementalChangeTracker.clear() |
| Methods inherited from class java.lang.Object |
|---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public SimpleIncrementalChangeTracker()
| Method Detail |
|---|
public boolean addDeletedEdge(Edge e)
IncrementalChangeTracker
addDeletedEdge in interface IncrementalChangeTrackere - the Edge
true if delete is not already noted for edge,
false else
public boolean addDeletedType(Node n,
aterm.ATermAppl type)
IncrementalChangeTracker
addDeletedType in interface IncrementalChangeTrackern - the Nodetype - the type
true if delete is not already noted for node,
type pair false elsepublic boolean addNewEdge(Edge e)
IncrementalChangeTracker
addNewEdge in interface IncrementalChangeTrackere - the Edge
true if addition is not already noted for edge,
false elsepublic boolean addNewIndividual(Individual i)
IncrementalChangeTracker
addNewIndividual in interface IncrementalChangeTrackeri - the Individual
true if addition is not already noted for
individual, false elsepublic boolean addUnprunedNode(Node n)
IncrementalChangeTracker
addUnprunedNode in interface IncrementalChangeTrackern - the Node
true if unpruning is not already noted for node,
false elsepublic boolean addUpdatedIndividual(Individual i)
IncrementalChangeTracker
addUpdatedIndividual in interface IncrementalChangeTrackeri - the Individual
true if addition is not already noted for
individual, false elsepublic void clear()
IncrementalChangeTracker
clear in interface IncrementalChangeTrackerpublic SimpleIncrementalChangeTracker copy(ABox target)
IncrementalChangeTrackerABox.copy())
copy in interface IncrementalChangeTrackertarget - The ABox for the copy
public java.util.Iterator<Edge> deletedEdges()
IncrementalChangeTrackerIncrementalChangeTracker.addDeletedEdge(Edge)) since
the previous IncrementalChangeTracker.clear()
deletedEdges in interface IncrementalChangeTrackerpublic java.util.Iterator<java.util.Map.Entry<Node,java.util.Set<aterm.ATermAppl>>> deletedTypes()
IncrementalChangeTrackerIncrementalChangeTracker.addDeletedType(Node, ATermAppl)) since the previous
IncrementalChangeTracker.clear()
deletedTypes in interface IncrementalChangeTrackerpublic java.util.Iterator<Edge> newEdges()
IncrementalChangeTrackerIncrementalChangeTracker.addNewEdge(Edge)) since the
previous IncrementalChangeTracker.clear()
newEdges in interface IncrementalChangeTrackerpublic java.util.Iterator<Individual> newIndividuals()
IncrementalChangeTrackerIncrementalChangeTracker.addNewIndividual(Individual)) since the previous
IncrementalChangeTracker.clear()
newIndividuals in interface IncrementalChangeTrackerpublic java.util.Iterator<Node> unprunedNodes()
IncrementalChangeTracker#addUnprunedIndividual(Individual)) since the previous
IncrementalChangeTracker.clear()
unprunedNodes in interface IncrementalChangeTrackerpublic java.util.Iterator<Individual> updatedIndividuals()
IncrementalChangeTrackerIncrementalChangeTracker.addUpdatedIndividual(Individual)) since the previous
IncrementalChangeTracker.clear()
updatedIndividuals in interface IncrementalChangeTracker
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||