| Previous CloneSet | Next CloneSet | Back to Main Report |
| Clone Mass | Clones in CloneSet | Parameter Count | Clone Similarity | Syntax Category [Sequence Length] |
|---|---|---|---|---|
| 4 | 5 | 2 | 0.988 | statement_sequence[4] |
| Clone Abstraction | Parameter Bindings |
| Clone Instance (Click to see clone) | Line Count | Source Line | Source File |
|---|---|---|---|
| 1 | 4 | 48 | plugins/org.eclipse.jdt.core/search/org/eclipse/jdt/internal/core/search/indexing/AddFolderToIndex.java |
| 2 | 4 | 51 | plugins/org.eclipse.jdt.core/search/org/eclipse/jdt/internal/core/search/indexing/IndexBinaryFolder.java |
| 3 | 4 | 41 | plugins/org.eclipse.jdt.core/search/org/eclipse/jdt/internal/core/search/indexing/RemoveFolderFromIndex.java |
| 4 | 4 | 29 | plugins/org.eclipse.jdt.core/search/org/eclipse/jdt/internal/core/search/indexing/RemoveFromIndex.java |
| 5 | 4 | 33 | plugins/org.eclipse.jdt.core/search/org/eclipse/jdt/internal/core/search/indexing/SaveIndex.java |
| ||||
/* ensure no concurrent write access to index */
Index index = this.manager.getIndex(this.containerPath, true,
/*reuse index file*/
true
/*create if none*/
);
if (index == null) return true;
ReadWriteMonitor monitor = index.monitor;
if (monitor == null) return true; // index got deleted since acquired
|
| ||||
Index index = this.manager.getIndexForUpdate(this.containerPath, true,
/*reuse index file*/
true
/*create if none*/
);
if (index == null) return true;
ReadWriteMonitor monitor = index.monitor;
if (monitor == null) return true; // index got deleted since acquired
|
| ||||
/* ensure no concurrent write access to index */
Index index = this.manager.getIndex(this.containerPath, true,
/*reuse index file*/
false
/*create if none*/
);
if (index == null) return true;
ReadWriteMonitor monitor = index.monitor;
if (monitor == null) return true; // index got deleted since acquired
|
| ||||
/* ensure no concurrent write access to index */
Index index = this.manager.getIndex(this.containerPath, true,
/*reuse index file*/
false
/*create if none*/
);
if (index == null) return true;
ReadWriteMonitor monitor = index.monitor;
if (monitor == null) return true; // index got deleted since acquired
|
| ||||
/* ensure no concurrent write access to index */
Index index = this.manager.getIndex(this.containerPath, true
/*reuse index file*/
, false
/*don't create if none*/
);
if (index == null) return true;
ReadWriteMonitor monitor = index.monitor;
if (monitor == null) return true; // index got deleted since acquired
|
| |||
/* ensure no concurrent write access to index */
Index index = this.manager. [[#variable97227e60]](this.containerPath, true
/*reuse index file*/
, [[#variable9c094500]]
/*don't create if none*/
/*create if none*/
);
if (index == null)
return true;
ReadWriteMonitor monitor = index.monitor;
if (monitor == null)
return true; // index got deleted since acquired
|
| CloneAbstraction |
| Parameter Index | Clone Instance | Parameter Name | Value |
|---|---|---|---|
| 1 | 1 | [[#97227e60]] | getIndex |
| 1 | 2 | [[#97227e60]] | getIndexForUpdate |
| 1 | 3 | [[#97227e60]] | getIndex |
| 1 | 4 | [[#97227e60]] | getIndex |
| 1 | 5 | [[#97227e60]] | getIndex |
| 2 | 1 | [[#9c094500]] | false |
| 2 | 2 | [[#9c094500]] | /*reuse index file*/ true |
| 2 | 3 | [[#9c094500]] | /*reuse index file*/ true |
| 2 | 4 | [[#9c094500]] | /*reuse index file*/ false |
| 2 | 5 | [[#9c094500]] | /*reuse index file*/ false |