Package com.semedy.reasoner.app

Class RepairEDB

java.lang.Object

com.semedy.reasoner.app.RepairEDB

public class RepairEDB
extends Object

repairs an extensional database by
1. deleting corrupt indices
2. restoring damaged predicates from a backup and
3. replaying log files into symbol table and into predicate files.

Author:

angele

Constructor Summary

Constructors

Constructor	Description
RepairEDB()

Method Summary

Modifier and Type	Method	Description
static void	main(String[] args)
void	repairIt(Configuration config)
void	repairIt(String configPath)

Methods inherited from class java.lang.Object

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

Constructor Details

RepairEDB

public RepairEDB()

Method Details

repairIt

public void repairIt(Configuration config)
              throws IOException,
SemReasonerException,
InterruptedException,
ReasoningException

Throws:

IOException

SemReasonerException

InterruptedException

ReasoningException

repairIt

public void repairIt(String configPath)
              throws IOException,
SemReasonerException,
InterruptedException,
ReasoningException

Throws:

IOException

SemReasonerException

InterruptedException

ReasoningException

main

public static void main(String[] args)
                 throws IOException,
SemReasonerException,
InterruptedException,
ReasoningException

Throws:

IOException

SemReasonerException

InterruptedException

ReasoningException