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-2023 CS GROUP. All rights reserved.