A C D E F G H I L M N P Q R S T U V

R

reset() - Method in class at.srfg.miner.clientlib.MultiProxyQuery

reset() - Method in interface at.srfg.miner.clientlib.Query

Resets the query such that the internal result pointer offset is set to 0.

reset() - Method in class at.srfg.miner.clientlib.SingleProxyQuery

resetQuery(ResultHandle) - Method in class at.srfg.miner.clientlib.Execution

Resets the query for handle such that the internal result-pointer offset is set to 0.

Result - Class in at.srfg.miner.clientlib

Result instances are produced by MINER Tools.

Result(long, String) - Constructor for class at.srfg.miner.clientlib.Result

Constructs a new Result from a timestamp and a value.

Result(long, String, Proxy) - Constructor for class at.srfg.miner.clientlib.Result

Constructs a new Result from a timestamp, a value and a proxy.

ResultFormatter - Interface in at.srfg.miner.clientlib.resultformat

The ResultFormatter interface defines a format method that transforms a Result instance to a String.

ResultFormatterDate - Class in at.srfg.miner.clientlib.resultformat

An implementation of ResultFormatter that formats the timestamp with a SimpleDateFormat pattern.

ResultFormatterDate() - Constructor for class at.srfg.miner.clientlib.resultformat.ResultFormatterDate

Default constructor.

ResultFormatterDate(String) - Constructor for class at.srfg.miner.clientlib.resultformat.ResultFormatterDate

Constructs a new ResultFormatterDate using the SimpleDateFormat pattern pattern to format the timestamp.

ResultFormatterDate(String, Date) - Constructor for class at.srfg.miner.clientlib.resultformat.ResultFormatterDate

Constructs a new ResultFormatterDate using the SimpleDateFormat pattern pattern to format the timestamp.

ResultFormatterDate(String, long) - Constructor for class at.srfg.miner.clientlib.resultformat.ResultFormatterDate

Constructs a new ResultFormatterDate using the SimpleDateFormat pattern pattern to format the timestamp.

ResultFormatterDate(String, String) - Constructor for class at.srfg.miner.clientlib.resultformat.ResultFormatterDate

Constructs a new ResultFormatterDate using the SimpleDateFormat pattern pattern to format the timestamp.

ResultFormatterDate(String, String, Date) - Constructor for class at.srfg.miner.clientlib.resultformat.ResultFormatterDate

Constructs a new ResultFormatterDate using the SimpleDateFormat pattern pattern to format the timestamp.

ResultFormatterDate(String, String, long) - Constructor for class at.srfg.miner.clientlib.resultformat.ResultFormatterDate

Constructs a new ResultFormatterDate using the SimpleDateFormat pattern pattern to format the timestamp.

ResultFormatterDeltaTime - Class in at.srfg.miner.clientlib.resultformat

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.

ResultFormatterDeltaTime() - Constructor for class at.srfg.miner.clientlib.resultformat.ResultFormatterDeltaTime

Default constructor.

ResultFormatterDeltaTime(String) - Constructor for class at.srfg.miner.clientlib.resultformat.ResultFormatterDeltaTime

Constructs a new instance with the given separator.

ResultFormatterDeltaTime(ResultFormatterDeltaTime.Unit) - Constructor for class at.srfg.miner.clientlib.resultformat.ResultFormatterDeltaTime

Constructs a new instance with the given time unit.

ResultFormatterDeltaTime(ResultFormatterDeltaTime.Unit, String) - Constructor for class at.srfg.miner.clientlib.resultformat.ResultFormatterDeltaTime

Constructs a new instance with the given time unit and separator

ResultFormatterDeltaTime.Unit - Enum in at.srfg.miner.clientlib.resultformat

Unit for deltaT, either SECOND or MILLISECOND.

ResultFormatterSimple - Class in at.srfg.miner.clientlib.resultformat

A simple ResultFormatter implementation.

ResultFormatterSimple() - Constructor for class at.srfg.miner.clientlib.resultformat.ResultFormatterSimple

Default contructor.

ResultFormatterSimple(String) - Constructor for class at.srfg.miner.clientlib.resultformat.ResultFormatterSimple

Constructs a new instance with the given separator.

ResultHandle - Class in at.srfg.miner.clientlib

A ResultHandle is created via Action.produce(java.lang.String) and is subsequently needed to retrieve results produced by a tool.

Results - Class in at.srfg.miner.clientlib

This class provides static utility methods for printing and saving results.

reuseAsNew() - Method in class at.srfg.miner.clientlib.Scenario

Enables the reuse of the scenario object for the specification of another scenario.

A C D E F G H I L M N P Q R S T U V