Check4Replay

java.lang.Object

com.semedy.reasoner.app.Check4Replay

All Implemented Interfaces:: Check4JsonBug

public class Check4Replay extends Object implements Check4JsonBug

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

Author:: angele

Constructor Summary

Constructors

Constructor

Description

Check4Replay()
Method Summary

Modifier and Type

Method

Description

boolean

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