public static class UninterruptibleAnnotationChecker.Options extends Object
Modifier and Type | Field and Description |
---|---|
static HostedOptionKey<Boolean> |
PrintUninterruptibleCalleeDOTGraph |
static HostedOptionKey<Boolean> |
PrintUninterruptibleWarnings |
static HostedOptionKey<Boolean> |
UninterruptibleWarningsAreFatal |
Constructor and Description |
---|
Options() |
public static final HostedOptionKey<Boolean> PrintUninterruptibleWarnings
public static final HostedOptionKey<Boolean> UninterruptibleWarningsAreFatal
public static final HostedOptionKey<Boolean> PrintUninterruptibleCalleeDOTGraph