Package mockit.coverage

Class TestRun

java.lang.Object

mockit.coverage.TestRun

public final class TestRun
extends Object

Method Summary

Modifier and Type	Method	Description
static void	branchExecuted(@org.checkerframework.checker.index.qual.NonNegative int fileIndex, @org.checkerframework.checker.index.qual.NonNegative int line, @org.checkerframework.checker.index.qual.NonNegative int branchIndex)
static void	fieldAssigned(Object instance, String file, String classAndFieldNames)
static void	fieldAssigned(String file, String classAndFieldNames)
static void	fieldRead(Object instance, String file, String classAndFieldNames)
static void	fieldRead(String file, String classAndFieldNames)
static boolean	isTerminated()
static void	lineExecuted(@org.checkerframework.checker.index.qual.NonNegative int fileIndex, @org.checkerframework.checker.index.qual.NonNegative int line)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

lineExecuted

public static void lineExecuted(@org.checkerframework.checker.index.qual.NonNegative int fileIndex,
 @org.checkerframework.checker.index.qual.NonNegative int line)

branchExecuted

public static void branchExecuted(@org.checkerframework.checker.index.qual.NonNegative int fileIndex,
 @org.checkerframework.checker.index.qual.NonNegative int line,
 @org.checkerframework.checker.index.qual.NonNegative int branchIndex)

fieldAssigned

public static void fieldAssigned(@NonNull
 String file,
 @NonNull
 String classAndFieldNames)

fieldRead

public static void fieldRead(@NonNull
 String file,
 @NonNull
 String classAndFieldNames)

fieldAssigned

public static void fieldAssigned(@NonNull
 Object instance,
 @NonNull
 String file,
 @NonNull
 String classAndFieldNames)

fieldRead

public static void fieldRead(@NonNull
 Object instance,
 @NonNull
 String file,
 @NonNull
 String classAndFieldNames)

isTerminated

public static boolean isTerminated()