Package | Description |
---|---|
at.srfg.miner.clientlib | |
at.srfg.miner.clientlib.resultformat |
Modifier and Type | Method and Description |
---|---|
static ResultFormatter |
Results.getPrintFormatter()
Gets the print formatter.
|
static ResultFormatter |
Results.getSaveFormatter()
Gets the default ResultFormatter used for saving results.
|
Modifier and Type | Method and Description |
---|---|
static void |
Results.append(List<Result> results,
java.io.File file,
ResultFormatter formatter)
Appends all results to
file . |
static void |
Results.append(List<Result> results,
String filename,
ResultFormatter formatter)
Append all results to
filename . |
static void |
Results.getAndPrint(Execution exec,
ResultFormatter formatter,
Collection<ResultHandle> handles)
For each result handle the results are incrementally loaded from the
MINER Core and printed to System.out.
|
static void |
Results.getAndPrint(Execution exec,
ResultFormatter formatter,
ResultHandle... handles)
For each result handle the results are incrementally loaded from the
MINER Core and printed to System.out.
|
static void |
Results.getAndPrintAllResults(Execution exec,
ResultFormatter formatter)
Gets the results and prints them to System.out for each ResultHandle
defined in the scenario of this execution.
|
static List<Result> |
Results.getAndPrintAndReturn(Execution exec,
ResultFormatter formatter,
ResultHandle handle)
Gets all results from the MINER Core, prints them and returns the
results.
|
static void |
Results.getAndSave(Execution exec,
ResultFormatter formatter,
Collection<ResultHandle> handles)
For each result handle the results are incrementally loaded from the
MINER Core and saved to a file.
|
static void |
Results.getAndSave(Execution exec,
ResultFormatter formatter,
ResultHandle... handles)
For each result handle the results are incrementally loaded from the
MINER Core and saved to a file.
|
static void |
Results.getAndSaveAllResults(Execution exec,
ResultFormatter formatter)
Incrementally gets the results and saved them for each ResultHandle
defined in the scenario of this execution.
|
static List<Result> |
Results.getAndSaveAndReturn(Execution exec,
ResultFormatter formatter,
ResultHandle handle)
Gets all results from the MINER Core, saves them and returns the results.
|
static void |
Results.print(List<Result> results,
ResultFormatter formatter)
Prints all results to System.out using the given formatter.
|
static void |
Results.save(List<Result> results,
java.io.File file,
ResultFormatter formatter)
Saves all results to
file . |
static void |
Results.save(List<Result> results,
String filename,
ResultFormatter formatter)
Saves all results to
filename . |
static void |
Results.setPrintFormatter(ResultFormatter formatter)
Sets the default ResultFormatter used for printing results.
|
static void |
Results.setSaveFormatter(ResultFormatter formatter)
Sets the default ResultFormatter used for saving results.
|
Modifier and Type | Class and Description |
---|---|
class |
ResultFormatterDate
An implementation of
ResultFormatter that formats the timestamp with
a SimpleDateFormat pattern. |
class |
ResultFormatterDeltaTime
A
ResultFormatter implementation that doesn't display the timestamps
as absolute values but instead displays the duration since the previous
result in the first column. |
class |
ResultFormatterSimple
A simple
ResultFormatter implementation. |
Copyright (c) Salzburg Research Forschungsgesellschaft mbH. All rights reserved.