de.fau.cs.www8.jadeowlcodec
Class ABoxRollbackBuffer

java.lang.Object
  de.fau.cs.www8.jadeowlcodec.ABoxRollbackBuffer

public class ABoxRollbackBuffer
extends java.lang.Object

support for AboxUpdaters that need undo functionality for doing rollbacks classes extending this must not create or change individuals from the target AssertionSet without using the appropriate methods of this class instances of this class are not reusable!

Author:

Ulf Schreiber

Constructor Summary

ABoxRollbackBuffer(AssertionSet to)

Method Summary

GenericIndividual	getOrMakeGenericIndividual(Uri.Individual id, java.util.Set<Uri.Concept> clss) returns an individual with this id, gets existing or makes new one, in an undoable way
void	rollback()
void	saveGenericIndividualState(GenericIndividual gi)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ABoxRollbackBuffer

public ABoxRollbackBuffer(AssertionSet to)

Method Detail

saveGenericIndividualState

public void saveGenericIndividualState(GenericIndividual gi)

getOrMakeGenericIndividual

public GenericIndividual getOrMakeGenericIndividual(Uri.Individual id,
                                                    java.util.Set<Uri.Concept> clss)

returns an individual with this id, gets existing or makes new one, in an undoable way

Parameters:

id - a Uri.Individual

clss - the class of this individual (used when creating a new individual) a set of Uri.Concept

Returns:

an existing or newly created GenericIndividual

rollback

public void rollback()