Check4Bulk

java.lang.Object

com.semedy.reasoner.app.Check4Bulk

All Implemented Interfaces:: Check4Bug

public class Check4Bulk extends Object implements Check4Bug

This class checks whether an error exists.
It it used within problem optimizer

Author:: angele

Constructor Summary

Constructors

Constructor

Description

Check4Bulk()
Method Summary

Modifier and Type

Method

Description

boolean

errorStillHere(List<String> factfilepaths, List<String> rulefilepaths)

check whether problem still exists

String[]

getFactFiles()

Get the initial fact files

List<String>

getRuleFiles()

Return the rule files to be loaded.

String

getTempDir()

Get the temporary directory used for minimizing
and used for storing the result files.

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- Check4Bulk
  
  public Check4Bulk()
Method Details
- errorStillHere
  
  public boolean errorStillHere(List<String> factfilepaths, List<String> rulefilepaths) throws SemReasonerException, InterruptedException
  
  Description copied from interface: Check4Bug
  
  check whether problem still exists
  
  Specified by:
  
  errorStillHere in interface Check4Bug
  
  Parameters:
  
  factfilepaths - , files to load facts from
  
  rulefilepaths - , files to load rules from
  
  Returns:
  
  Throws:
  
  SemReasonerException
  
  InterruptedException
- getTempDir
  
  public String getTempDir()
  
  Description copied from interface: Check4Bug
  
  Get the temporary directory used for minimizing
  and used for storing the result files.
  
  Specified by:
  
  getTempDir in interface Check4Bug
  
  Returns:
  
  temp directory
- getFactFiles
  
  public String[] getFactFiles()
  
  Description copied from interface: Check4Bug
  
  Get the initial fact files
  
  Specified by:
  
  getFactFiles in interface Check4Bug
  
  Returns:
- getRuleFiles
  
  public List<String> getRuleFiles()
  
  Description copied from interface: Check4Bug
  
  Return the rule files to be loaded.
  Null if no rule file has to be loaded.
  
  Specified by:
  
  getRuleFiles in interface Check4Bug
  
  Returns:
  
  list of rule files to be loaded