public class ScriptDebugger extends Object
Constructor and Description |
---|
ScriptDebugger(String filename)
Class constructor.
|
Modifier and Type | Method and Description |
---|---|
void |
checkConversions(String script_filename,
int max_operation_time)
Check the conversions claimed by the given script.
|
void |
configureScript(String script_filename)
Configure the given ICR script(s) to run on the current machine.
|
void |
configureScript(String script_filename,
String executable_hint)
Configure the given ICR script(s) to run on the current machine.
|
static boolean |
exists(String filename)
Check if the specified file exists.
|
double |
grindScript(String script_filename,
int n,
int max_operation_time)
Check the robustness of the script by running it over and over again.
|
double |
grindScript(String script_filename,
int n,
int max_operation_time,
boolean VERBOSE)
Check the robustness of the script by running it over and over again.
|
void |
loadConfiguration(String filename)
Load values from a configuration file.
|
static void |
main(String[] args)
Debug an ICR script.
|
void |
setDataPath(String data_path)
Set the data path.
|
public ScriptDebugger(String filename)
filename
- the configuration file to loadpublic void loadConfiguration(String filename)
filename
- the configuration file to loadpublic void setDataPath(String data_path)
data_path
- the data pathpublic void configureScript(String script_filename, String executable_hint)
script_filename
- the script filenameexecutable_hint
- a hint as to what an executable may be on the local systempublic void configureScript(String script_filename)
script_filename
- the script filenamepublic void checkConversions(String script_filename, int max_operation_time)
script_filename
- the script filenamemax_operation_time
- the maximum number of milli-seconds to wait for an operation to finishpublic double grindScript(String script_filename, int n, int max_operation_time, boolean VERBOSE)
script_filename
- the script filenamen
- the number of times to run the scriptmax_operation_time
- the maximum number of milli-seconds to wait for an operation to finishVERBOSE
- true if verbosity should be turned onpublic double grindScript(String script_filename, int n, int max_operation_time)
script_filename
- the script filenamen
- the number of times to run the scriptmax_operation_time
- the maximum number of milli-seconds to wait for an operation to finishpublic static boolean exists(String filename)
filename
- the name of the file to checkpublic static void main(String[] args)
args
- the input argumentsCopyright © 2014. All rights reserved.