Class BranchTraceIterator

  • All Implemented Interfaces:
    ru.ispras.testbase.knowledge.iterator.Iterator<java.util.List<BranchEntry>>

    public final class BranchTraceIterator
    extends java.lang.Object
    implements ru.ispras.testbase.knowledge.iterator.Iterator<java.util.List<BranchEntry>>
    BranchTraceIterator implements an iterator of execution traces for a given branch structure.
    • Constructor Detail

      • BranchTraceIterator

        public BranchTraceIterator​(java.util.List<BranchEntry> branchStructure,
                                   int maxBranchExecutions,
                                   int maxBlockExecutions,
                                   int maxExecutionTraces)
      • BranchTraceIterator

        public BranchTraceIterator​(java.util.List<BranchEntry> branchStructure,
                                   int maxExecutionTraces)
      • BranchTraceIterator

        public BranchTraceIterator​(java.util.List<BranchEntry> branchStructure)
    • Method Detail

      • init

        public void init()
        Specified by:
        init in interface ru.ispras.testbase.knowledge.iterator.Iterator<java.util.List<BranchEntry>>
      • hasValue

        public boolean hasValue()
        Specified by:
        hasValue in interface ru.ispras.testbase.knowledge.iterator.Iterator<java.util.List<BranchEntry>>
      • value

        public java.util.List<BranchEntry> value()
        Specified by:
        value in interface ru.ispras.testbase.knowledge.iterator.Iterator<java.util.List<BranchEntry>>
      • trace

        public java.util.List<java.lang.Integer> trace()
      • next

        public void next()
        Specified by:
        next in interface ru.ispras.testbase.knowledge.iterator.Iterator<java.util.List<BranchEntry>>
      • stop

        public void stop()
        Specified by:
        stop in interface ru.ispras.testbase.knowledge.iterator.Iterator<java.util.List<BranchEntry>>
      • clone

        public BranchTraceIterator clone()
        Specified by:
        clone in interface ru.ispras.testbase.knowledge.iterator.Iterator<java.util.List<BranchEntry>>
        Overrides:
        clone in class java.lang.Object