Daniil Tiganov

makeSymbol in CAstWrapper appears to be implemented incorrectly

1

In `CAstWrapper.cpp`, it appears that `makeSymbol` is not implemented correctly as it does not pass a `CAstType` to the constructor it calls. e.g. [Here](https://github.com/wala/WALA/blob/master/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp#L219) a constructor is declared which takes...

I am using the following: - ES6 (babel) - jQuery for loading the `p5.js` script - npm for mappa It displays the tilemap just fine, but I cannot draw anything...

Improve diagnostic support for jakarta.annotation.PostConstruct/PreDestroy checked exception condition

5

Improve support for #181 and #184. We currently do not know whether the exceptions specified after the `throw` keyword are checked or unchecked exceptions. To determine whether an exception type...

The fix for #159 (PR #214) ignores tests in `JakartaServletTest` (for the `@WebServlet` annotation) because `ITypeHierarchy.getAllSupertypes()` returns nothing for tests. In this case, `TypeHierarchyUtils.doesITypeHaveSuperType()` returns `-1`, and thus a diagnostic...

WebServlet annotation type check is unsound

2

The [ServletDiagnosticsCollector.java](https://github.com/eclipse/lsp4jakarta/blob/f828839a94d9fac3a355905ee6d807861eae4d76/jakarta.jdt/org.eclipse.lsp4jakarta.jdt.core/src/main/java/org/eclipse/lsp4jakarta/jdt/core/servlet/ServletDiagnosticsCollector.java#L69) checks if a class annotated with `@WebServlet` extends `HttpServlet`. However, if the user extends a class that extends `HttpServlet` instead of extending `HttpServlet` directly, they will still have...