i3.dragos.gm.core
Interface GraphPoolChecker

All Known Implementing Classes:

DefaultGraphPoolChecker

public interface GraphPoolChecker

A GraphPoolChecker verifies the correctness of the GraphPool's contents.

Implementers can assume that the Schema is in a consistent state when any method of this interface is called from the core GM, as the SchemaChecker is run first.

The GraphPoolChecker is mostly used for enforcing consistency before commiting a transaction, but may as well be utilized in unit testing.

Author:

Thorsten Hermes <thermes@i3.informatik.rwth-aachen.de>

Method Summary

void	check(java.util.Collection<? extends GraphEntity> c) Checks all entities in the Collection.

Method Detail

check

void check(java.util.Collection<? extends GraphEntity> c)
           throws GraphPoolCheckException,
                  DragosException

Checks all entities in the Collection.

Parameters:

c - A Collection containing the entities to check.

Throws:

GraphPoolCheckException - if an inconsistency or similar problem was found.

DragosException - in case of internal errors.