Community
Participate
Working Groups
Build Identifier: This came out from the https://bugs.eclipse.org/bugs/show_bug.cgi?id=323820. Please see the last comment i.e. The indexed resources should be checked for timestamp, to identify if re-indexing is needed. The indexer also have mechanism of dumping. It should be used to quickly load index on restart, if the timestamp of resources have not changed This part to be solved in this bug. Reproducible: Always
Created attachment 184922 [details] Prevents the problem of Full build of Workspace everytime the IDE is started. To prevent full build of workspace, everytime the IDE is started, dumping and loading of indices was activated. The Scenarios which were kept in mind while creating this patch were:- 1)A fresh workspace is created and no resources exist:- Indexing is not required in such a case. 2) Resources exist and IDE is shut down normally:- The indices are dumped and then at IDE start they are loaded. 3) Resources exist and IDE is shut down improperly:- The indices are not dumped. At the start of IDE a Full Build is done to build the indices. Since this is rare scenario and also due improper shutdown workspace has to be refreshed and hence Full build is needed. 4) Clean Build:- All resources will be reindexed.
Patch submitted. Hence closing the bug