Skip to content

Drop stale event-type count from IResourceChangeEvent class Javadoc#2665

Merged
vogella merged 1 commit into
eclipse-platform:masterfrom
vogella:fix-resource-change-event-types-javadoc
May 18, 2026
Merged

Drop stale event-type count from IResourceChangeEvent class Javadoc#2665
vogella merged 1 commit into
eclipse-platform:masterfrom
vogella:fix-resource-change-event-types-javadoc

Conversation

@vogella
Copy link
Copy Markdown
Contributor

@vogella vogella commented May 18, 2026

The class Javadoc on IResourceChangeEvent claims "There are currently five different types of resource change events", but the bullet list immediately below it enumerates six (PRE_BUILD, POST_BUILD, POST_CHANGE, PRE_CLOSE, PRE_DELETE, PRE_REFRESH). The count went stale when PRE_REFRESH was added and will keep drifting, so the fix replaces it with a count-free phrasing.

The class Javadoc claimed "There are currently five different types of
resource change events" but the bullet list immediately below it
enumerates six (PRE_BUILD, POST_BUILD, POST_CHANGE, PRE_CLOSE, PRE_DELETE,
PRE_REFRESH). The count drifted when PRE_REFRESH was added and would
drift again whenever a new type is introduced, so replace the count with
"The following types of resource change events are reported:".
@github-actions
Copy link
Copy Markdown
Contributor

Test Results

    54 files  ±0      54 suites  ±0   34m 54s ⏱️ - 1m 52s
 4 667 tests ±0   4 645 ✅ ±0   22 💤 ±0  0 ❌ ±0 
11 895 runs  ±0  11 742 ✅ ±0  153 💤 ±0  0 ❌ ±0 

Results for commit af384ae. ± Comparison against base commit 4149373.

@vogella
Copy link
Copy Markdown
Contributor Author

vogella commented May 18, 2026

Just a Javadoc change.

@vogella vogella merged commit b885e3b into eclipse-platform:master May 18, 2026
18 checks passed
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.

1 participant