|
||||||||||
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 IncrementalChangeTracker
e
- the Edge
true
if delete is not already noted for edge,
false
elsepublic boolean addDeletedType(Node n, aterm.ATermAppl type)
IncrementalChangeTracker
addDeletedType
in interface IncrementalChangeTracker
n
- 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 IncrementalChangeTracker
e
- the Edge
true
if addition is not already noted for edge,
false
elsepublic boolean addNewIndividual(Individual i)
IncrementalChangeTracker
addNewIndividual
in interface IncrementalChangeTracker
i
- the Individual
true
if addition is not already noted for
individual, false
elsepublic boolean addUnprunedNode(Node n)
IncrementalChangeTracker
addUnprunedNode
in interface IncrementalChangeTracker
n
- the Node
true
if unpruning is not already noted for node,
false
elsepublic boolean addUpdatedIndividual(Individual i)
IncrementalChangeTracker
addUpdatedIndividual
in interface IncrementalChangeTracker
i
- the Individual
true
if addition is not already noted for
individual, false
elsepublic void clear()
IncrementalChangeTracker
clear
in interface IncrementalChangeTracker
public SimpleIncrementalChangeTracker copy(ABox target)
IncrementalChangeTracker
ABox.copy()
)
copy
in interface IncrementalChangeTracker
target
- The ABox for the copy
public java.util.Iterator<Edge> deletedEdges()
IncrementalChangeTracker
IncrementalChangeTracker.addDeletedEdge(Edge)
) since
the previous IncrementalChangeTracker.clear()
deletedEdges
in interface IncrementalChangeTracker
public java.util.Iterator<java.util.Map.Entry<Node,java.util.Set<aterm.ATermAppl>>> deletedTypes()
IncrementalChangeTracker
IncrementalChangeTracker.addDeletedType(Node, ATermAppl)
) since the previous
IncrementalChangeTracker.clear()
deletedTypes
in interface IncrementalChangeTracker
public java.util.Iterator<Edge> newEdges()
IncrementalChangeTracker
IncrementalChangeTracker.addNewEdge(Edge)
) since the
previous IncrementalChangeTracker.clear()
newEdges
in interface IncrementalChangeTracker
public java.util.Iterator<Individual> newIndividuals()
IncrementalChangeTracker
IncrementalChangeTracker.addNewIndividual(Individual)
) since the previous
IncrementalChangeTracker.clear()
newIndividuals
in interface IncrementalChangeTracker
public java.util.Iterator<Node> unprunedNodes()
IncrementalChangeTracker
#addUnprunedIndividual(Individual)
) since the previous
IncrementalChangeTracker.clear()
unprunedNodes
in interface IncrementalChangeTracker
public java.util.Iterator<Individual> updatedIndividuals()
IncrementalChangeTracker
IncrementalChangeTracker.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 |