Class RandomAccessTrace

  • All Implemented Interfaces:
    Trace

    public class RandomAccessTrace
    extends java.lang.Object
    implements Trace
    A random access trace

    When run this trace performs random access call to paths passed to its constructor. It logs the current path as additional context.

    • Field Summary

      Fields 
      Modifier and Type Field Description
      static java.lang.String CONTEXT_SPEC  
    • Constructor Summary

      Constructors 
      Constructor Description
      RandomAccessTrace​(@NotNull java.util.List<java.lang.String> paths, long seed, int count, @NotNull java.util.function.Consumer<java.util.List<java.lang.String>> context)
      Create a new instance of a random access trace.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void run​(@NotNull NodeState root)
      Run this trace on the passed node.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • RandomAccessTrace

        public RandomAccessTrace​(@NotNull
                                 @NotNull java.util.List<java.lang.String> paths,
                                 long seed,
                                 int count,
                                 @NotNull
                                 @NotNull java.util.function.Consumer<java.util.List<java.lang.String>> context)
        Create a new instance of a random access trace.
        Parameters:
        paths - the list of paths to access
        seed - seed for randomly picking paths
        count - number of paths to trace
        context - consumer to pass the additional context to
    • Method Detail

      • run

        public void run​(@NotNull
                        @NotNull NodeState root)
        Description copied from interface: Trace
        Run this trace on the passed node.
        Specified by:
        run in interface Trace