Class DumpReplayer


  • public class DumpReplayer
    extends Object
    Replayer for Rugged debug dumps.
    Author:
    Luc Maisonobe, Guylaine Prat
    See Also:
    DumpManager, Dump
    • Constructor Detail

      • DumpReplayer

        public DumpReplayer()
        Simple constructor.
    • Method Detail

      • parse

        public void parse​(File file)
        Parse a dump file.
        Parameters:
        file - dump file to parse
      • createRugged

        public Rugged createRugged()
        Create a Rugged instance from parsed data.
        Returns:
        rugged instance
      • execute

        public DumpReplayer.Result[] execute​(Rugged rugged)
        Execute all dumped calls.

        The dumped calls correspond to computation methods like direct or inverse location.

        Parameters:
        rugged - Rugged instance on which calls will be performed
        Returns:
        results of all dumped calls