Manu Sridharan
Manu Sridharan
> One issue here is that NullAway treats all `@Nullable` annotations the same, so we would immediately apply JSpecify semantics to `javax` and `android` `@Nullable` too... might be worth thinking...
We could add partial support for Checker Framework nullness method annotations; see [here](https://checkerframework.org/manual/#nullness-method-annotations).
Did you see this used in some code? Seems reasonable to support, just wondering about motivation.
Yeah for the general case we'd need to implement full optional type system like [Checker Framework's system](https://checkerframework.org/manual/#optional-checker). Not worth it for now. As an alternative to a redundant `isPresent`, we...
Thanks for the report. I have just added the `SourceDirCallGraph` example to the `WALA-start` project; see https://github.com/wala/WALA-start/commit/c267645aa7926bca5c8b98630d0d05d23dcce2bf. I can run it using this command: ```bash ./gradlew -PmainClass=com.ibm.wala.examples.drivers.SourceDirCallGraph run --args="-sourceDir /tmp/srcTest...
Ok, dug in and I could reproduce your issue. The core problem here is that Eclipse libraries in Maven Central specify their own dependencies with wide version ranges, and do...
To be clear, you should just add dependencies like: ```xml org.eclipse.platform org.eclipse.equinox.common 3.14.100 ``` And I think that should fix it.
Thanks for the clear bug report, @mattkindy-praetorian!
@juliandolby is this fixed now?