Package randoop.generation
Class CoverageTracker.DummySessionInfoVisitor
- java.lang.Object
-
- randoop.generation.CoverageTracker.DummySessionInfoVisitor
-
- All Implemented Interfaces:
org.jacoco.core.data.ISessionInfoVisitor
- Enclosing class:
- CoverageTracker
private static class CoverageTracker.DummySessionInfoVisitor extends Object implements org.jacoco.core.data.ISessionInfoVisitor
AnISessionInfoVisitor
that does nothing.
-
-
Field Summary
Fields Modifier and Type Field Description static CoverageTracker.DummySessionInfoVisitor
instance
Singleton instance of this class.
-
Constructor Summary
Constructors Modifier Constructor Description private
DummySessionInfoVisitor()
Initializes the session info visitor.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
visitSessionInfo(org.jacoco.core.data.SessionInfo info)
Required by theISessionInfoVisitor
but the session information is not used by this class.
-
-
-
Field Detail
-
instance
public static final CoverageTracker.DummySessionInfoVisitor instance
Singleton instance of this class.
-
-
Method Detail
-
visitSessionInfo
public void visitSessionInfo(org.jacoco.core.data.SessionInfo info)
Required by theISessionInfoVisitor
but the session information is not used by this class.- Specified by:
visitSessionInfo
in interfaceorg.jacoco.core.data.ISessionInfoVisitor
- Parameters:
info
- session information
-
-