Package | Description |
---|---|
at.srfg.miner.clientlib |
Modifier and Type | Method and Description |
---|---|
ResultHandle |
ResultHandle.configure(String name,
double value)
Configures the tool result.
|
ResultHandle |
Subcondition.getResult()
Gets the ResultHandle associated to this Subcondition.
|
ResultHandle |
Action.getResultHandle(String name)
Gets the handle for a result called
name . |
ResultHandle |
Action.getResultHandle(String name,
String selector)
Gets the handle for a result called
name with a given
selector. |
ResultHandle |
Scenario.getResultHandleByName(String resultName)
Searches the scenario for a ResultHandle called
resultName . |
ResultHandle |
Action.produce(String name)
Defines that the action's tool must produce the result called
name . |
ResultHandle |
Action.produce(String name,
String selector)
Defines that the action's tool must produce the result called
name with selector selector . |
ResultHandle |
ResultHandle.setIsStored(boolean isStored)
Defines if the results have to be stored at the server (true, default
behavior) or if result instances are only used to evaluate conditions and
are discarded afterwards.
|
ResultHandle |
ResultHandle.setQueryProxies(Collection<Proxy> proxies)
Defines the proxies whose results will be queried with this resultHandle.
|
ResultHandle |
ResultHandle.setQueryProxies(Proxy... proxies)
Defines the proxies whose results will be queried with this resultHandle.
|
ResultHandle |
ResultHandle.setQueryProxies(String... proxies)
Defines the proxies whose results will be queried with this resultHandle.
|
ResultHandle |
ResultHandle.setReportInterval(int interval)
Sets the number of result instances that must accumulate before the
ToolProxy sends them to the server.
|
ResultHandle |
ResultHandle.setSavePattern(String savePattern)
Defines a savePattern that is employed when result instances of this
handle are saved.
|
ResultHandle |
ResultHandle.setSelector(String selector)
Sets the result selector.
|
Modifier and Type | Method and Description |
---|---|
Collection<ResultHandle> |
Scenario.getAllResultHandles()
Gets all ResultHandles that are defined in this scenario.
|
Collection<ResultHandle> |
Action.getResultHandles()
Gets all result handles that have been created by previous
produce calls. |
Modifier and Type | Method and Description |
---|---|
Subcondition |
Condition.addSubcondition(ResultHandle resultHandle,
String comparator,
double value)
Creates a new Subcondition with the given parameters and adds it to this
Condition.
|
Subcondition |
Condition.addSubcondition(ResultHandle resultHandle,
String comparator,
float value)
Creates a new Subcondition with the given parameters and adds it to this
Condition.
|
List<Result> |
Execution.allResults(ResultHandle handle)
Retrieves all result instances that are currently available for the given
handle . |
Query |
Execution.createQuery(ResultHandle handle)
Creates a new Query object.
|
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.getAndPrint(Execution exec,
ResultHandle... handles)
For each result handle the results are incrementally loaded from the
MINER Core and printed to System.out.
|
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 List<Result> |
Results.getAndPrintAndReturn(Execution exec,
ResultHandle handle)
Gets all results from the MINER Core, prints them and returns the
results.
|
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.getAndSave(Execution exec,
ResultHandle... handles)
For each result handle the results are incrementally loaded from the
MINER Core and saved to a file.
|
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 List<Result> |
Results.getAndSaveAndReturn(Execution exec,
ResultHandle handle)
Gets all results from the MINER Core, saves them and returns the results.
|
int |
Execution.getQueryLimit(ResultHandle handle)
Gets the query limit for a query of
handle . |
boolean |
Execution.hasNextResults(ResultHandle handle)
Checks if there are results for
handle that have not yet
been retrieved. |
static void |
Results.marshallQueriesToFile(java.io.File file,
Execution exec,
ResultHandle... handles)
For each handle, a queryString is created via
Results.marshallQuery(Execution, ResultHandle) and saved to
file . |
static String |
Results.marshallQuery(Execution exec,
ResultHandle handle)
Creates a String that contains all the information which is needed to
retrieve results for (exec,handle) at a later time.
|
List<Result> |
Execution.nextResultBlock(ResultHandle handle)
Incrementally retrieves the next chunk of results for
handle
. |
List<Result> |
Execution.nextResults(ResultHandle handle)
This is a convenience method that repeatedly invokes
nextResultBlock as long as hasNext returns
true. |
void |
Execution.resetQuery(ResultHandle handle)
Resets the query for
handle such that the internal
result-pointer offset is set to 0. |
void |
Execution.setQueryLimit(ResultHandle handle,
int limit)
Sets a limit for the maximum number of result instances that are
retrieved per invocation of
nextResults with this query. |
void |
Subcondition.setResult(ResultHandle resultHandle)
Sets the ResultHandle to which this Subcondition is associated.
|
Modifier and Type | Method and Description |
---|---|
static void |
Results.getAndPrint(Execution exec,
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,
Collection<ResultHandle> handles)
For each result handle the results are incrementally loaded from the
MINER Core and printed to System.out.
|
static void |
Results.getAndSave(Execution exec,
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,
Collection<ResultHandle> handles)
For each result handle the results are incrementally loaded from the
MINER Core and saved to a file.
|
static void |
Results.marshallQueriesToFile(java.io.File file,
Execution exec,
Collection<ResultHandle> handles)
For each handle, a queryString is created via
Results.marshallQuery(Execution, ResultHandle) and saved to
file . |
Constructor and Description |
---|
MultiProxyQuery(Execution exec,
ResultHandle resultHandle)
Constructs a new instance from an Execution and a ResultHandle.
|
SingleProxyQuery(Execution exec,
ResultHandle handle)
Constructs a new instance from an execution and a resultHandle.
|
SingleProxyQuery(Execution exec,
ResultHandle handle,
Proxy proxy)
Constructs a new instance.
|
SingleProxyQuery(Execution exec,
ResultHandle handle,
String queryString)
Constructs a new instance from an execution, a resultHandle, and a
queryString.
|
Subcondition(ResultHandle resultHandle,
String comparator,
double value)
Full constructor.
|
Subcondition(ResultHandle resultHandle,
String comparator,
float value)
Full constructor.
|
Copyright (c) Salzburg Research Forschungsgesellschaft mbH. All rights reserved.