public class OptionValues
extends java.lang.Object
All options are disabled by default.
Constructor and Description |
---|
OptionValues()
Constructs a new
OptionValues object with default settings. |
public OptionValues()
OptionValues
object with default settings.public void checkConsistency() throws org.kohsuke.args4j.CmdLineException
org.kohsuke.args4j.CmdLineException
public OptionValues clone()
clone
in class java.lang.Object
public void disableAanalysisLimitationWarnOnly()
public void disableAjaxReturnsJson()
public void disableAlwaysCanPut()
public void disableBlendedAnalysis()
public void disableCallgraph()
public void disableContextSensitiveHeap()
public void disableContextSpecialization()
public void disableControlSensitivity()
public void disableDebug()
public void disableDeterminacy()
public void disableDoNotExpectOrdinaryExit()
public void disableFlowgraph()
public void disableIgnoreHTMLContent()
public void disableIgnoreLibraries()
public void disableIgnoreUnreached()
public void disableIncludeDom()
public void disableLoopUnrolling()
public void disableLowSeverity()
public void disableMemoryUsage()
public void disableNewflow()
public void disableNoChargedCalls()
public void disableNoCopyOnWrite()
public void disableNodeJS()
public void disableNoForInSpecialization()
public void disableNoGc()
public void disableNoHybridCollections()
public void disableNoLazy()
public void disableNoMessages()
public void disableNoModified()
public void disableNoObjectSensitivity()
public void disableNoPolymorphic()
public void disableNoRecency()
public void disableNoUserEvents()
public void disableParameterSensitivity()
public void disablePropagateDeadFlow()
public void disableQuiet()
public void disableShowVariableInfo()
public void disableSingleEventHandlerType()
public void disableStates()
public void disableStatistics()
public void disableTest()
public void disableTestFlowGraphBuilder()
public void disableTestSoundness()
public void disableTiming()
public void disableUnevalizer()
public void enableAjaxReturnsJson()
public void enableAlwaysCanPut()
public void enableAnalysisLimitationWarnOnly()
public void enableAsyncEvents()
public void enableBlendedAnalysis()
public void enableCallgraph()
public void enableCommonAsyncPolyfill()
public void enableConsoleModel()
public void enableContextSensitiveHeap()
public void enableContextSpecialization()
public void enableControlSensitivity()
public void enableDebug()
public void enableDeterminacy()
public void enableDeterministicCollections()
public void enableDoNotExpectOrdinaryExit()
public void enableEvalStatistics()
public void enableFlowgraph()
public void enableIgnoreHTMLContent()
public void enableIgnoreUnreached()
public void enableIncludeDom()
public void enableInspector()
public void enableLoopUnrolling(int loopUnrollings)
public void enableLowSeverity()
public void enableMemoryUsage()
public void enableNewflow()
public void enableNoChargedCalls()
public void enableNoCopyOnWrite()
public void enableNodeJS()
public void enableNoForInSpecialization()
public void enableNoGc()
public void enableNoHybridCollections()
public void enableNoLazy()
public void enableNoMessages()
public void enableNoModified()
public void enableNoObjectSensitivity()
public void enableNoPolymorphic()
public void enableNoRecency()
public void enableNoStrict()
public void enableNoStringSets()
public void enableNoUserEvents()
public void enableParameterSensitivity()
public void enablePolyfillES6Collections()
public void enablePolyfillES6Promises()
public void enablePolyfillMDN()
public void enablePolyfillTypedArrays()
public void enablePropagateDeadFlow()
public void enableQuiet()
public void enableShowInternalMessages()
public void enableShowVariableInfo()
public void enableSingleEventHandlerType()
public void enableSpecializeAllBoxedPrimitives()
public void enableStates()
public void enableStatistics()
public void enableTest()
public void enableTestFlowGraphBuiler()
public void enableTestSoundness()
public void enableTiming()
public void enableUnevalizer()
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public int getAnalysisTimeLimit()
public int getAnalysisTransferLimit()
public java.util.List<java.nio.file.Path> getArguments()
public java.lang.String getConfig()
public java.util.Set<java.lang.String> getLibraries()
public int getLoopUnrollings()
public java.util.Map<java.lang.String,java.lang.Object> getOptionValues()
public SoundnessTesterOptions getSoundnessTesterOptions()
public UnsoundnessOptionValues getUnsoundness()
public int hashCode()
hashCode
in class java.lang.Object
public boolean isAlwaysCanPut()
public boolean isAnalysisLimitationWarnOnly()
public boolean isAsyncEventsEnabled()
public boolean isBlendedAnalysisEnabled()
public boolean isCallGraphEnabled()
public boolean isChargedCallsDisabled()
public boolean isCommonAsyncPolyfillEnabled()
public boolean isConcreteNativeDisabled()
public boolean isConsoleModelEnabled()
public boolean isContextSensitiveHeapEnabled()
public boolean isContextSpecializationEnabled()
public boolean isControlSensitivityDisabled()
public boolean isCopyOnWriteDisabled()
public boolean isDebugEnabled()
public boolean isDebugOrTestEnabled()
public boolean isDeterminacyEnabled()
public boolean isDeterministicCollectionsEnabled()
public boolean isDOMEnabled()
public boolean isDoNotExpectOrdinaryExitEnabled()
public boolean isEvalStatistics()
public boolean isFlowGraphEnabled()
public boolean isForInSpecializationDisabled()
public boolean isGCDisabled()
public boolean isHybridCollectionsDisabled()
public boolean isIgnoreHTMLContent()
public boolean isIgnoreLibrariesEnabled()
public boolean isIgnoreUnreachedEnabled()
public boolean isInspectorEnabled()
public boolean isIntermediateStatesEnabled()
public boolean isLazyDisabled()
public boolean isLoopUnrollingEnabled()
public boolean isLowSeverityEnabled()
public boolean isMemoryMeasurementEnabled()
public boolean isModifiedDisabled()
public boolean isNewFlowEnabled()
public boolean isNodeJS()
public boolean isNoMessages()
public boolean isNoStrictEnabled()
public boolean isNoStringSets()
public boolean isObjectSensitivityDisabled()
public boolean isParameterSensitivityEnabled()
public boolean isPolyfillES6CollectionsEnabled()
public boolean isPolyfillES6PromisesEnabled()
public boolean isPolyfillMDNEnabled()
public boolean isPolyfillTypedArraysEnabled()
public boolean isPolymorphicDisabled()
public boolean isPropagateDeadFlow()
public boolean isQuietEnabled()
public boolean isRecencyDisabled()
public boolean isReturnJSON()
public boolean isShowInternalMessagesEnabled()
public boolean isShowVariableInfoEnabled()
public boolean isSingleEventHandlerType()
public boolean isSpecializeAllBoxedPrimitivesEnabled()
public boolean isStatisticsEnabled()
public boolean isTestEnabled()
public boolean isTestFlowGraphBuilderEnabled()
public boolean isTimingEnabled()
public boolean isUnevalizerEnabled()
public boolean isUserEventsDisabled()
public void parse(java.lang.String[] args) throws org.kohsuke.args4j.CmdLineException
org.kohsuke.args4j.CmdLineException
public void setAnalysisTimeLimit(int seconds)
public void setAnalysisTransferLimit(int transfers)
public void setUnsoundness(UnsoundnessOptionValues unsoundness)
public java.lang.String toString()
toString
in class java.lang.Object
Copyright © 2009-2019 Aarhus University