public class BlendedAnalysisOptionValues
extends java.lang.Object
implements java.io.Serializable
Constructor and Description |
---|
BlendedAnalysisOptionValues() |
Modifier and Type | Method and Description |
---|---|
boolean |
isBlendedAnalysisAtSourceLocationAllowed(SourceLocation sl) |
boolean |
isDisableRefineToBottom() |
void |
reset() |
void |
setAllowedBlendedAnalysisSourceLocations(java.util.Set<SourceLocation> allowedBlendedAnalysisSourceLocations) |
void |
setDisallowRefineToBottom(boolean disallowRefineToBottom) |
java.lang.String |
toString() |
public boolean isBlendedAnalysisAtSourceLocationAllowed(SourceLocation sl)
public boolean isDisableRefineToBottom()
public void reset()
public void setAllowedBlendedAnalysisSourceLocations(java.util.Set<SourceLocation> allowedBlendedAnalysisSourceLocations)
public void setDisallowRefineToBottom(boolean disallowRefineToBottom)
public java.lang.String toString()
toString
in class java.lang.Object
Copyright © 2009-2019 Aarhus University