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.ObjectCopyright © 2009-2019 Aarhus University