Manu Sridharan

@alxhill yes this would be suitable for a contribution! And I don't think it should be too difficult to implement. You'd want to add an appropriate method to `com.uber.nullaway.handlers.StreamNullabilityPropagatorFactory` (see...

Related: #1007 #674 #853 My rough plan here is as follows. In an upcoming NullAway release, if you are using type-use annotations like JSpecify's, by default NullAway will only recognize...

@jlerbsc thanks for taking a look. I'm curious, is this just an issue with the lexical preservation printer? I.e., would the standard pretty printer allow for inserting annotations at both...

Thanks, @jlerbsc, for the responses. We will think about workarounds on our end.

We have no workaround at the moment, but I will certainly comment if we find one.

Following up here, our "workaround" for this issue was that we still use JavaParser for parsing, but we insert annotations using string manipulation rather than manipulating the AST and using...

Hi there, we've run into this issue now on multiple projects. Our workaround for the moment is to set the language level to 11, but of course that won't work...

Thanks for the report! I will take a look.

WALA does not support class or nearly any JavaScript features beyond ES 5.1. For now, you will need to use a tool like Babel to translate this code before analyzing...

Sorry this is not better documented. I was looking at this code to create Modules when there is a single file: https://github.com/wala/WALA/blob/130b92c444c206572682f2e007cca64670e3b03e/cast/js/src/main/java/com/ibm/wala/cast/js/util/JSCallGraphBuilderUtil.java#L143-L143 It also adds a Module for the prologue...