com.clarkparsia.pellet.impl

Class SimpleIncrementalChangeTracker

java.lang.Object

com.clarkparsia.pellet.impl.SimpleIncrementalChangeTracker

All Implemented Interfaces:

IncrementalChangeTracker

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.

Author:

Mike Smith

Constructor Summary

Constructors

Constructor and Description
SimpleIncrementalChangeTracker()

Method Summary

Methods

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()

Methods inherited from class java.lang.Object

clone, equals, finalize, 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,
                     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(ABox 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 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 Iterator<Map.Entry<Node,Set<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 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 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 Iterator<Node> unprunedNodes()

Description copied from interface: IncrementalChangeTracker

Iterate over all nodes unpruned (see #addUnprunedIndividual(Individual)) since the previous IncrementalChangeTracker.clear()

Specified by:

unprunedNodes in interface IncrementalChangeTracker

Returns:

Iterator

updatedIndividuals

public 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