edu.illinois.nondex.common

类 Configuration

java.lang.Object

edu.illinois.nondex.common.Configuration

public class Configuration
extends Object

字段概要

字段

限定符和类型	字段和说明
long	end
String	executionId
Pattern	filter
Level	loggingLevel
Mode	mode
String	nondexDir
String	nondexJarDir
int	seed
boolean	shouldPrintStackTrace
long	start
String	testName

构造器概要

构造器

限定符	构造器和说明
	Configuration(Mode mode, int seed, Pattern filter, long start, long end, String nondexDir, String nondexJarDir, String testName, String executionId, Level loggingLevel)
	Configuration(Mode mode, int seed, Pattern filter, long start, long end, String nondexDir, String nondexJarDir, String testName, String executionId, Level loggingLevel, boolean printStackTrace)
protected	Configuration(Mode mode, int seed, Pattern filter, String executionId)
	Configuration(String executionId, String nondexDir)

方法概要

限定符和类型	方法和说明
void	createExecutionDirIfNeeded()
void	createNondexDirIfNeeded()
void	filterTests(Collection<String> failedInClean)
Path	getConfigPath()
Path	getDebugPath()
Path	getExecutionDir()
Collection<String>	getFailedTests()
Path	getFailuresPath()
int	getInvocationCount()
Path	getInvocationsPath()
Path	getLatestRunFilePath()
Path	getNondexDir()
Path	getPathToJar()
Path	getRunFilePath()
boolean	hasFewerChoicePoints(Configuration debConfig)
long	numChoices()
static Configuration	parseArgs()
static Configuration	parseArgs(Properties props)
void	setFailures(Set<String> failingTests)
String	toArgLine()
String	toString()

从类继承的方法 java.lang.Object

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

字段详细资料

mode

public final Mode mode

seed

public final int seed

filter

public final Pattern filter

executionId

public final String executionId

start

public final long start

end

public final long end

shouldPrintStackTrace

public final boolean shouldPrintStackTrace

nondexDir

public final String nondexDir

nondexJarDir

public final String nondexJarDir

testName

public final String testName

loggingLevel

public final Level loggingLevel

构造器详细资料

Configuration

protected Configuration(Mode mode,
                        int seed,
                        Pattern filter,
                        String executionId)

Configuration

public Configuration(Mode mode,
                     int seed,
                     Pattern filter,
                     long start,
                     long end,
                     String nondexDir,
                     String nondexJarDir,
                     String testName,
                     String executionId,
                     Level loggingLevel)

Configuration

public Configuration(Mode mode,
                     int seed,
                     Pattern filter,
                     long start,
                     long end,
                     String nondexDir,
                     String nondexJarDir,
                     String testName,
                     String executionId,
                     Level loggingLevel,
                     boolean printStackTrace)

Configuration

public Configuration(String executionId,
                     String nondexDir)

方法详细资料

createNondexDirIfNeeded

public void createNondexDirIfNeeded()

toArgLine

public String toArgLine()

toString

public String toString()

覆盖:

toString 在类中 Object

parseArgs

public static Configuration parseArgs()

parseArgs

public static Configuration parseArgs(Properties props)

createExecutionDirIfNeeded

public void createExecutionDirIfNeeded()

getNondexDir

public Path getNondexDir()

getExecutionDir

public Path getExecutionDir()

getFailuresPath

public Path getFailuresPath()

getInvocationsPath

public Path getInvocationsPath()

getDebugPath

public Path getDebugPath()

getConfigPath

public Path getConfigPath()

getRunFilePath

public Path getRunFilePath()

getLatestRunFilePath

public Path getLatestRunFilePath()

getPathToJar

public Path getPathToJar()

getInvocationCount

public int getInvocationCount()

filterTests

public void filterTests(Collection<String> failedInClean)

getFailedTests

public Collection<String> getFailedTests()

numChoices

public long numChoices()

hasFewerChoicePoints

public boolean hasFewerChoicePoints(Configuration debConfig)

setFailures

public void setFailures(Set<String> failingTests)