Class InstructionScannerDriver


  • public class InstructionScannerDriver
    extends java.lang.Object
    Drive an InstructionScannerGenerator over the instructions of a simple path. The generator will create scanners at certain instructions. Each instruction and edge is fed to all scanners so created.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void execute​(InstructionScannerGenerator generator)
      Execute by driving the InstructionScannerGenerator over all instructions.
      • Methods inherited from class java.lang.Object

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

      • InstructionScannerDriver

        public InstructionScannerDriver​(java.util.Iterator<Edge> edgeIter)
        Constructor.
        Parameters:
        edgeIter - iterator over Edges specifying path to be scanned
    • Method Detail

      • execute

        public void execute​(InstructionScannerGenerator generator)
        Execute by driving the InstructionScannerGenerator over all instructions. Each generated InstructionScanner is driven over all instructions and edges.
        Parameters:
        generator - the InstructionScannerGenerator