public class UnsoundnessOptionValues
extends java.lang.Object
All options are disabled by default.
(Unlike OptionValues
, this is a bean with regular getters and setters.)
Constructor and Description |
---|
UnsoundnessOptionValues(UnsoundnessOptionValues base,
java.lang.String[] args) |
public UnsoundnessOptionValues(UnsoundnessOptionValues base, java.lang.String[] args)
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public java.util.Map<java.lang.String,java.lang.Object> getOptionValues()
public int hashCode()
hashCode
in class java.lang.Object
public boolean isAssumeInOperatorReturnsTrueWhenSoundResultIsMaybeTrueAndPropNameIsNumber()
public boolean isIgnoreAsyncEvals()
public boolean isIgnoreImpreciseEvals()
public boolean isIgnoreImpreciseFunctionConstructor()
public boolean isIgnoreLocale()
public boolean isIgnoreMissingNativeModels()
public boolean isIgnoreSomePrototypesDuringDynamicPropertyReads()
public boolean isIgnoreUnlikelyPropertyReads()
public boolean isIgnoreUnlikelyUndefinedAsFirstArgumentToAddition()
public boolean isNoExceptions()
public boolean isNoImplicitGlobalVarDeclarations()
public boolean isShowUnsoundnessUsage()
public boolean isUseFixedRandom()
public boolean isUseOrderedObjectKeys()
public boolean isUsePreciseFunctionToString()
public boolean isWarnAboutAllStringCoercions()
public void setAssumeInOperatorReturnsTrueWhenSoundResultIsMaybeTrueAndPropNameIsNumber(boolean assumeInOperatorReturnsTrueWhenSoundResultIsMaybeTrueAndPropNameIsNumber)
public void setIgnoreAsyncEvals(boolean ignoreAsyncEvals)
public void setIgnoreImpreciseEvals(boolean ignoreImpreciseEvals)
public void setIgnoreImpreciseFunctionConstructor(boolean ignoreImpreciseFunctionConstructor)
public void setIgnoreLocale(boolean ignoreLocale)
public void setIgnoreMissingNativeModels(boolean ignoreMissingNativeModels)
public void setIgnoreSomePrototypesDuringDynamicPropertyReads(boolean ignoreSomePrototypesDuringDynamicPropertyReads)
public void setIgnoreUnlikelyPropertyReads(boolean ignoreUnlikelyPropertyReads)
public void setIgnoreUnlikelyUndefinedAsFirstArgumentToAddition(boolean ignoreUnlikelyUndefinedAsFirstArgumentToAddition)
public void setNoExceptions(boolean noExceptions)
public void setNoImplicitGlobalVarDeclarations(boolean noImplicitGlobalVarDeclarations)
public void setShowUnsoundnessUsage(boolean showUnsoundnessUsage)
public void setUseFixedRandom(boolean useFixedRandom)
public void setUseOrderedObjectKeys(boolean useOrderedObjectKeys)
public void setUsePreciseFunctionToString(boolean usePreciseFunctionToString)
public void setWarnAboutAllStringCoercions(boolean warnAboutAllStringCoercions)
public java.lang.String toString()
toString
in class java.lang.Object
Copyright © 2009-2019 Aarhus University