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.