Class BranchExecutionIterator

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

    public final class BranchExecutionIterator
    extends java.lang.Object
    implements ru.ispras.testbase.knowledge.iterator.Iterator<java.util.List<BranchEntry>>
    BranchExecutionIterator implements a composite iterator of branch structures and execution traces.
    • Constructor Detail

      • BranchExecutionIterator

        public BranchExecutionIterator​(ru.ispras.testbase.knowledge.iterator.Iterator<java.util.List<BranchEntry>> branchStructureIterator,
                                       int maxBranchExecutions,
                                       int maxBlockExecutions,
                                       int maxExecutionTraces)
    • 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 BranchExecutionIterator clone()
        Specified by:
        clone in interface ru.ispras.testbase.knowledge.iterator.Iterator<java.util.List<BranchEntry>>
        Overrides:
        clone in class java.lang.Object