dk.brics.tajs.options

Class SoundnessTesterOptions

java.lang.Object

dk.brics.tajs.options.SoundnessTesterOptions

public class SoundnessTesterOptions
extends java.lang.Object

Options to be used for soundness testing.

Constructor Summary

Constructors

Constructor and Description
SoundnessTesterOptions()

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object o)
boolean	generateBeforeAnalysis()
java.util.Optional<java.nio.file.Path>	getExplicitSoundnessLogFile()
java.util.Optional<dk.au.cs.casa.jer.Logger.Environment>	getGeneratorEnvironmentExplicitly()
java.util.Optional<java.lang.Integer>	getInstrumentationTimeLimitExplicitly()
static java.nio.file.Path	getJalangiLogger()
java.util.Optional<java.util.Set<java.nio.file.Path>>	getOnlyIncludesForInstrumentation()
java.nio.file.Path	getRootDirFromMainDirectory()
java.util.Optional<java.lang.Integer>	getTimeLimitExplicitly()
int	hashCode()
boolean	isForceUpdateSha()
boolean	isGenerate()
boolean	isGenerateOnlyIncludeAutomaticallyForHTMLFiles()
boolean	isIgnoreShaDifference()
static boolean	isLogCreationPossible()
boolean	isNonInteractive()
boolean	isPrintErrorsWithoutThrowingException()
boolean	isRegenerate()
boolean	isTest()
boolean	isUseUncompressedLogFileForInference()
void	setExplicitSoundnessLogFile(java.util.Optional<java.nio.file.Path> file)
void	setForceUpdateSha(boolean forceUpdateSha)
void	setGenerate(boolean generate)
void	setGenerateBeforeAnalysis(boolean b)
void	setGenerateOnlyIncludeAutomaticallyForHTMLFiles(boolean generateOnlyIncludeAutomaticallyForHTMLFiles)
void	setGeneratorEnvironmentExplicitly(java.util.Optional<dk.au.cs.casa.jer.Logger.Environment> generatorEnvironmentExplicitly)
void	setInstrumentationTimeLimitExplicitly(java.util.Optional<java.lang.Integer> instrumentationTimeLimitExplicitly)
void	setNonInteractive(boolean nonInteractive)
void	setOnlyIncludesForInstrumentation(java.util.Optional<java.util.Set<java.nio.file.Path>> onlyIncludesForInstrumentation)
void	setPrintErrorsWithoutThrowingException(boolean printErrorsWithoutThrowingException)
void	setRegenerate(boolean regenerate)
void	setRootDirFromMainDirectory(java.nio.file.Path rootDirFromMainDirectory)
void	setTest(boolean test)
void	setTimeLimitExplicitly(java.util.Optional<java.lang.Integer> timeLimitExplicitly)
void	setUseUncompressedLogFileForInference(boolean useUncompressedLogFileForInference)

Methods inherited from class java.lang.Object

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

Constructor Detail

SoundnessTesterOptions

public SoundnessTesterOptions()

Method Detail

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

generateBeforeAnalysis

public boolean generateBeforeAnalysis()

getExplicitSoundnessLogFile

public java.util.Optional<java.nio.file.Path> getExplicitSoundnessLogFile()

getGeneratorEnvironmentExplicitly

public java.util.Optional<dk.au.cs.casa.jer.Logger.Environment> getGeneratorEnvironmentExplicitly()

getInstrumentationTimeLimitExplicitly

public java.util.Optional<java.lang.Integer> getInstrumentationTimeLimitExplicitly()

getJalangiLogger

public static java.nio.file.Path getJalangiLogger()

getOnlyIncludesForInstrumentation

public java.util.Optional<java.util.Set<java.nio.file.Path>> getOnlyIncludesForInstrumentation()

getRootDirFromMainDirectory

public java.nio.file.Path getRootDirFromMainDirectory()

getTimeLimitExplicitly

public java.util.Optional<java.lang.Integer> getTimeLimitExplicitly()

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

isForceUpdateSha

public boolean isForceUpdateSha()

isGenerate

public boolean isGenerate()

isGenerateOnlyIncludeAutomaticallyForHTMLFiles

public boolean isGenerateOnlyIncludeAutomaticallyForHTMLFiles()

isIgnoreShaDifference

public boolean isIgnoreShaDifference()

isLogCreationPossible

public static boolean isLogCreationPossible()

isNonInteractive

public boolean isNonInteractive()

isPrintErrorsWithoutThrowingException

public boolean isPrintErrorsWithoutThrowingException()

isRegenerate

public boolean isRegenerate()

isTest

public boolean isTest()

isUseUncompressedLogFileForInference

public boolean isUseUncompressedLogFileForInference()

setExplicitSoundnessLogFile

public void setExplicitSoundnessLogFile(java.util.Optional<java.nio.file.Path> file)

setForceUpdateSha

public void setForceUpdateSha(boolean forceUpdateSha)

setGenerate

public void setGenerate(boolean generate)

setGenerateBeforeAnalysis

public void setGenerateBeforeAnalysis(boolean b)

setGenerateOnlyIncludeAutomaticallyForHTMLFiles

public void setGenerateOnlyIncludeAutomaticallyForHTMLFiles(boolean generateOnlyIncludeAutomaticallyForHTMLFiles)

setGeneratorEnvironmentExplicitly

public void setGeneratorEnvironmentExplicitly(java.util.Optional<dk.au.cs.casa.jer.Logger.Environment> generatorEnvironmentExplicitly)

setInstrumentationTimeLimitExplicitly

public void setInstrumentationTimeLimitExplicitly(java.util.Optional<java.lang.Integer> instrumentationTimeLimitExplicitly)

setNonInteractive

public void setNonInteractive(boolean nonInteractive)

setOnlyIncludesForInstrumentation

public void setOnlyIncludesForInstrumentation(java.util.Optional<java.util.Set<java.nio.file.Path>> onlyIncludesForInstrumentation)

setPrintErrorsWithoutThrowingException

public void setPrintErrorsWithoutThrowingException(boolean printErrorsWithoutThrowingException)

setRegenerate

public void setRegenerate(boolean regenerate)

setRootDirFromMainDirectory

public void setRootDirFromMainDirectory(java.nio.file.Path rootDirFromMainDirectory)

setTest

public void setTest(boolean test)

setTimeLimitExplicitly

public void setTimeLimitExplicitly(java.util.Optional<java.lang.Integer> timeLimitExplicitly)

setUseUncompressedLogFileForInference

public void setUseUncompressedLogFileForInference(boolean useUncompressedLogFileForInference)