Package openllet.core.tracker

Class SimpleIncrementalChangeTracker

java.lang.Object

openllet.core.tracker.SimpleIncrementalChangeTracker

All Implemented Interfaces:

IncrementalChangeTracker

public class SimpleIncrementalChangeTracker
extends java.lang.Object
implements IncrementalChangeTracker

Title: Simple incremental change tracker

Description: Basic implementation of IncrementalChangeTracker interface

Copyright: Copyright (c) 2008

Company: Clark & Parsia, LLC.

Author:

Mike Smith

Constructor Summary

Constructors

Constructor	Description
SimpleIncrementalChangeTracker()

Method Summary

Modifier and Type	Method	Description
boolean	addDeletedEdge(Edge e)	Record that a new edge has been deleted from the ABox
boolean	addDeletedType(Node n, openllet.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(ABoxImpl 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<openllet.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) 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

SimpleIncrementalChangeTracker

public SimpleIncrementalChangeTracker()

Method Detail

addDeletedEdge

public boolean addDeletedEdge(Edge e)

Description copied from interface: IncrementalChangeTracker

Record that a new edge has been deleted from the ABox

Specified by:

addDeletedEdge in interface IncrementalChangeTracker

Parameters:

e - the Edge

Returns:

boolean true if delete is not already noted for edge, false else

addDeletedType

public boolean addDeletedType(Node n,
                              openllet.aterm.ATermAppl type)

Description copied from interface: IncrementalChangeTracker

Record that a type was deleted from an _individual

Specified by:

addDeletedType in interface IncrementalChangeTracker

Parameters:

n - the Node

type - the type

Returns:

boolean true if delete is not already noted for _node, type pair false else

addNewEdge

public boolean addNewEdge(Edge e)

Description copied from interface: IncrementalChangeTracker

Record that a new edge has been added to the ABox

Specified by:

addNewEdge in interface IncrementalChangeTracker

Parameters:

e - the Edge

Returns:

boolean true if addition is not already noted for edge, false else

addNewIndividual

public boolean addNewIndividual(Individual i)

Description copied from interface: IncrementalChangeTracker

Record that a new _individual has been added to the ABox

Specified by:

addNewIndividual in interface IncrementalChangeTracker

Parameters:

i - the Individual

Returns:

boolean true if addition is not already noted for _individual, false else

addUnprunedNode

public boolean addUnprunedNode(Node n)

Description copied from interface: IncrementalChangeTracker

Record that a _node has been "unpruned" because a merge was reverted during restore

Specified by:

addUnprunedNode in interface IncrementalChangeTracker

Parameters:

n - the Node

Returns:

boolean true if unpruning is not already noted for _node, false else

addUpdatedIndividual

public boolean addUpdatedIndividual(Individual i)

Description copied from interface: IncrementalChangeTracker

Record that an _individual has been updated

Specified by:

addUpdatedIndividual in interface IncrementalChangeTracker

Parameters:

i - the Individual

Returns:

boolean true if addition is not already noted for _individual, false else

clear

public void clear()

Description copied from interface: IncrementalChangeTracker

Clear all recorded changes

Specified by:

clear in interface IncrementalChangeTracker

copy

public SimpleIncrementalChangeTracker copy(ABoxImpl target)

Description copied from interface: IncrementalChangeTracker

Copy change tracker for use with a new ABox (presumably as part of ABox.copy())

Specified by:

copy in interface IncrementalChangeTracker

Parameters:

target - The ABox for the copy

Returns:

a copy, with individuals in the target ABox

deletedEdges

public java.util.Iterator<Edge> deletedEdges()

Description copied from interface: IncrementalChangeTracker

Iterate over all edges deleted (see IncrementalChangeTracker.addDeletedEdge(Edge)) since the previous IncrementalChangeTracker.clear()

Specified by:

deletedEdges in interface IncrementalChangeTracker

Returns:

Iterator

deletedTypes

public java.util.Iterator<java.util.Map.Entry<Node,java.util.Set<openllet.aterm.ATermAppl>>> deletedTypes()

Description copied from interface: IncrementalChangeTracker

Iterate over all _nodes with deleted types (and those types) (see IncrementalChangeTracker.addDeletedType(Node, ATermAppl)) since the previous IncrementalChangeTracker.clear()

Specified by:

deletedTypes in interface IncrementalChangeTracker

Returns:

Iterator

newEdges

public java.util.Iterator<Edge> newEdges()

Description copied from interface: IncrementalChangeTracker

Iterate over all edges added (see IncrementalChangeTracker.addNewEdge(Edge)) since the previous IncrementalChangeTracker.clear()

Specified by:

newEdges in interface IncrementalChangeTracker

Returns:

Iterator

newIndividuals

public java.util.Iterator<Individual> newIndividuals()

Description copied from interface: IncrementalChangeTracker

Iterate over all individuals added (see IncrementalChangeTracker.addNewIndividual(Individual)) since the previous IncrementalChangeTracker.clear()

Specified by:

newIndividuals in interface IncrementalChangeTracker

Returns:

Iterator

unprunedNodes

public java.util.Iterator<Node> unprunedNodes()

Description copied from interface: IncrementalChangeTracker

Iterate over all _nodes unpruned (see addUnprunedIndividual) since the previous IncrementalChangeTracker.clear()

Specified by:

unprunedNodes in interface IncrementalChangeTracker

Returns:

Iterator

updatedIndividuals

public java.util.Iterator<Individual> updatedIndividuals()

Description copied from interface: IncrementalChangeTracker

Iterate over all individuals updated (see IncrementalChangeTracker.addUpdatedIndividual(Individual)) since the previous IncrementalChangeTracker.clear()

Specified by:

updatedIndividuals in interface IncrementalChangeTracker

Returns:

Iterator