public class DumpReplayer extends Object
DumpManager,
Dump| Modifier and Type | Class | Description |
|---|---|---|
static class |
DumpReplayer.Result |
Container for replay results.
|
| Constructor | Description |
|---|---|
DumpReplayer() |
Simple constructor.
|
| Modifier and Type | Method | 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-2019 CS Systèmes d'information. All rights reserved.