519992 – [SonarLint] Use isEmpty() to check whether the collection is empty or not in org.eclipse.pde.ui

Bug 519992 - [SonarLint] Use isEmpty() to check whether the collection is empty or not in org.eclipse.pde.ui

Summary: [SonarLint] Use isEmpty() to check whether the collection is empty or not in ...

Status:	VERIFIED FIXED

Alias:	None

Product:	PDE
Classification:	Eclipse Project
Component:	UI (show other bugs)
Version:	4.7
Hardware:	PC Linux

Importance:	P3 normal (vote)
Target Milestone:	4.10 M3
Assignee:	Julian Honnen
QA Contact:

URL:
Whiteboard:
Keywords:	bugday, helpwanted

Depends on:
Blocks:

Reported:	2017-07-21 04:59 EDT by Lars Vogel
Modified:	2018-11-19 14:47 EST (History)
CC List:	5 users (show)

See Also:	Gerrit Change Gerrit Change Gerrit Change Git Commit Git Commit Git Commit

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.

Description Lars Vogel

2017-07-21 04:59:47 EDT

Comment 1 Lars Vogel

2017-07-21 05:22:19 EDT

Easiest to find all occurrences, install SonarLint (see http://www.sonarlint.org/eclipse/index.html) and run the analysis for org.eclipse.pde.ui via the SonarLint tooling.

See http://www.vogella.com/tutorials/SonarQube/article.html#using-sonarlint-in-eclipse

Comment 2 Vikas Chandra

2018-03-13 04:54:07 EDT

Moving out of 4.8

If planning for 4.8, please re-triage with a patch.

Comment 3 Eclipse Genie

2018-11-14 10:59:21 EST

New Gerrit change created: https://git.eclipse.org/r/132436

Comment 4 Eclipse Genie

2018-11-16 05:27:52 EST

New Gerrit change created: https://git.eclipse.org/r/132540

Comment 5 Eclipse Genie

2018-11-16 05:27:56 EST

New Gerrit change created: https://git.eclipse.org/r/132541

Comment 6 Eclipse Genie

2018-11-16 06:33:09 EST

Gerrit change https://git.eclipse.org/r/132541 was merged to [master].
Commit: http://git.eclipse.org/c/pde/eclipse.pde.ui.git/commit/?id=e7c8a5c7d6058c65dd92ed546e3b59143f46b106

Comment 7 Eclipse Genie

2018-11-16 06:33:32 EST

Gerrit change https://git.eclipse.org/r/132540 was merged to [master].
Commit: http://git.eclipse.org/c/pde/eclipse.pde.ui.git/commit/?id=aa29498e04ed541a040dfdca07e1b997faa2184d

Comment 8 Eclipse Genie

2018-11-16 16:37:11 EST

Gerrit change https://git.eclipse.org/r/132436 was merged to [master].
Commit: http://git.eclipse.org/c/pde/eclipse.pde.ui.git/commit/?id=93bc3f3dbdcc9232d578887bf86346596654414f

Comment 9 Lars Vogel

2018-11-17 02:24:59 EST

Thanks, Julian.