Skip to content

Erasure raw matches#1544

Open
mickaelistria wants to merge 1228 commits into
eclipse-jdtls:dom-with-javacfrom
mickaelistria:erasure-raw-matches
Open

Erasure raw matches#1544
mickaelistria wants to merge 1228 commits into
eclipse-jdtls:dom-with-javacfrom
mickaelistria:erasure-raw-matches

Conversation

@mickaelistria
Copy link
Copy Markdown

No description provided.

mickaelistria and others added 30 commits June 25, 2025 10:28
Reconciling or other routines may receive a CompletionFailure in some
-more or less valid- cases. Instead of letting the exception bubble up
to user land, we simply log it and continue anyway.
- consolidate logic for `CatchClause` into one place
- figure out which types are thrown in the body of the try statement,
  prioritize them
- figure out which types are already caught, deprioritize them
  ("uninteresting bindings")
- handle bug related to classes declared with type declaration statements
  - their bindings are still wrong, so that needs work

Signed-off-by: David Thompson <davthomp@redhat.com>
eg.
```java
pub|
```

eg.
```java
package test;
import java.util.List;

abst|
```

- Detect that aren't connected to a type declaration using the text content
  of the CU
- Apply the rules regarding which modifiers prevent others from being
  used
- Prevent statement-like keywords in import or package declarations

Signed-off-by: David Thompson <davthomp@redhat.com>
eg.

```java
switch (i) {
  cas|
}
```

Signed-off-by: David Thompson <davthomp@redhat.com>
Signed-off-by: David Thompson <davthomp@redhat.com>
- Add a bunch more statement-like keywords
- Handle completion for `default` in switch statements and expressions

Should fix around 43 cases

Signed-off-by: David Thompson <davthomp@redhat.com>
- Completion for `new`, `final`, `true`, `false`, and `null` keywords
- Improve logic for checking if only expression-like keywords should be
  suggested
- Prevent default completions in switches without a case label/default
  label

Signed-off-by: David Thompson <davthomp@redhat.com>
Signed-off-by: Rob Stryker <stryker@redhat.com>
Signed-off-by: Rob Stryker <stryker@redhat.com>
Signed-off-by: Rob Stryker <stryker@redhat.com>
Signed-off-by: Rob Stryker <stryker@redhat.com>
- Disable default completion in completion after a try statement without
  a catch or finally
- Complete `catch` and `finally` after try statements
  (do not suggest `finally` if there's already a `finally` statement)
- Suggest `while` after a do-while statement if it's missing
- Prevent default completion after a do-while statement if it's missing
  the `while` keyword

Signed-off-by: David Thompson <davthomp@redhat.com>
- Completion for `instanceof` keyword
  - Since it's sort of like an infix operator,
    I needed to write some more involved logic to get it to work properly.
- Suggest all type-declaration like keywords instead of just `class`
  - eg. `enum`, `interface`, `record`
- Complete the `import` keyword
  - See eclipse-jdt#3799,
    I won't fix that test case
- fix module import completion (only show it when `import module` is used)
- fix replace range on package completion
  - It uses the nested engine currently and the root cause was us not
    modifying the internal state correctly.
    I think using nested engine is bad,
    but I did the lazy hack instead of replacing the nested engine
    with our own `ISearchRequestor` implementation

Signed-off-by: David Thompson <davthomp@redhat.com>
…er bugs

Signed-off-by: Rob Stryker <stryker@redhat.com>
Signed-off-by: Rob Stryker <stryker@redhat.com>
Speeds up completion of types significantly,
since the type hierarchy of `java.lang.Exception` is only created once
every completion invocation.

Signed-off-by: David Thompson <davthomp@redhat.com>
- Handle qualifying types referenced in the method declaration
  - eg. do not qualify imported types
  - eg. do not qualify types from the same package
  - eg. do not qualify inner classes nor inherited inner classes
- Fix parameter names
  - get them from the `IMethod`, which has more accurate
- Handle completion in anonymous classes
- Do not suggest overriding a method that's already overriden

Signed-off-by: David Thompson <davthomp@redhat.com>
Signed-off-by: David Thompson <davthomp@redhat.com>
Should improve a couple tests
+ Added a Timer utility class to help profiling
(for expected types purposes)

Signed-off-by: David Thompson <davthomp@redhat.com>
- Prevent NPE when completing name of the last parameter in a method
  declaration
  - This uses the existing "suggest a name for this variable" logic
- Prevent various NPEs when completing the first parameter of a
  parameterized type
  - eg.
    ```java
    List<| asdf = new ArrayList<>();
    ```
- move private check before deprecated check to avoid NPE trying to
  access the `IMethod` for a private JDK class member.
  (I think the root cause is that the private method doesn't exist in the
  stubbed jar, so we can't access the associated `IMethod`, but it does
  exist in javac's internal bindings, since javac has access to the real
  JDK class)
- when completing throws clause, add null checks when accessing the
  return type and name to compute the scanning index
  - constructors don't have a return type node, and an incomplete method
    declaration might not have a name
- replace a use of "Ljava/lang/Object;" with the constant from KeyUtils

Should fix 5 cases, and switch several test errors over to failures.

Signed-off-by: David Thompson <davthomp@redhat.com>
Signed-off-by: Rob Stryker <stryker@redhat.com>
- handle completing package-qualified method parameter type
- do not suggest overriding existing or declaring new methods in
  annotation type declarations
- when building override method completions, if the `IMethod` of a given
  method binding cannot be found, use the parameter names from
  the bindings instead
- prevent NPE when attempting to suggest completion for a method with
  an incomplete parameter type

Signed-off-by: David Thompson <davthomp@redhat.com>
getKey can be very expensive, so we should only have it computed on
demand.
This saves ~30% when executing completion tests with Javac.
- Add api filter for JLS_Latest

Signed-off-by: Roland Grunberg <rgrunber@redhat.com>
Signed-off-by: Roland Grunberg <rgrunber@redhat.com>
Co-Authored-by: David Thompson <davthomp@redhat.com>
- Undo `@since` and cosmetic changes
- Remove changes from CompletionEngine

Signed-off-by: David Thompson <davthomp@redhat.com>
rgrunber and others added 6 commits June 25, 2025 11:08
Signed-off-by: Roland Grunberg <rgrunber@redhat.com>
Signed-off-by: David Thompson <davthomp@redhat.com>
Signed-off-by: David Thompson <davthomp@redhat.com>
Fixes 2 Javadoc-related test cases

Signed-off-by: David Thompson <davthomp@redhat.com>
@robstryker robstryker force-pushed the dom-with-javac branch 3 times, most recently from b1b4e0e to 309f390 Compare September 8, 2025 20:48
@robstryker robstryker force-pushed the dom-with-javac branch 2 times, most recently from 5738537 to 9962d57 Compare December 2, 2025 20:28
@robstryker robstryker force-pushed the dom-with-javac branch 2 times, most recently from dd7aa18 to fbe5e1a Compare March 6, 2026 18:59
@robstryker robstryker force-pushed the dom-with-javac branch 2 times, most recently from 2fcc4f8 to b7970ce Compare April 23, 2026 17:03
@robstryker robstryker force-pushed the dom-with-javac branch 2 times, most recently from 86c88a2 to 4ccbd95 Compare May 7, 2026 17:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants