public class DumpReplayer extends Object
DumpManager,
Dump| Modifier and Type | Class and Description |
|---|---|
static class |
DumpReplayer.Result
Container for replay results.
|
| Constructor and Description |
|---|
DumpReplayer()
Simple constructor.
|
| Modifier and Type | Method and Description |
|---|---|
Rugged |
createRugged()
Create a Rugged instance from parsed data.
|
DumpReplayer.Result[] |
execute(Rugged rugged)
Execute all dumped calls.
|
void |
parse(File file)
Parse a dump file.
|
public void parse(File file)
file - dump file to parsepublic Rugged createRugged()
public DumpReplayer.Result[] execute(Rugged rugged)
The dumped calls correspond to computation methods like direct or inverse location.
rugged - Rugged instance on which calls will be performedCopyright © 2014-2020 CS GROUP. All rights reserved.