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) throws RuggedException
file - dump file to parseRuggedException - if file cannot be parsedpublic Rugged createRugged() throws RuggedException
RuggedException - if some data are inconsistent or incompletepublic DumpReplayer.Result[] execute(Rugged rugged) throws RuggedException
The dumped calls correspond to computation methods like direct or inverse location.
rugged - Rugged instance on which calls will be performedRuggedException - if a call failsCopyright © 2014–2016 CS Syst?mes d'Information. All rights reserved.