Oops! This revision actually contains the bug fix mentioned in the pr… · chmodawk/drjava@dcb0647 · GitHub

1. chmodawk
2. drjava

Repository navigation

• Code
• Pull requests
• Actions
• Projects
• Security and quality
• Insights

Commit dcb0647

Browse filesBrowse the repository at this point in the historyBrowse files

ponderosaTX

committed

Oops! This revision actually contains the bug fix mentioned in the previous commit and nothing else.

The following file was modified: modified: src/edu/rice/cs/drjava/model/definitions/DefinitionsDocument.java

1 parent 385f969 commit dcb0647
Copy full SHA for dcb0647

1 file changed

+3-2Lines changed: 3 additions & 2 deletions

File tree

Expand file treeCollapse file tree

Open diff view settings

Filter options

• drjava/src/edu/rice/cs/drjava/model/definitions
  • DefinitionsDocument.java

Expand file treeCollapse file tree

Open diff view settings

Collapse file

‎drjava/src/edu/rice/cs/drjava/model/definitions/DefinitionsDocument.java‎

Copy file name to clipboardExpand all lines: drjava/src/edu/rice/cs/drjava/model/definitions/DefinitionsDocument.java

+3-2Lines changed: 3 additions & 2 deletions

Original file line number	Diff line number	Diff line change
@@ -1204,10 +1204,11 @@ public WeakHashMap<WrappedPosition, Integer> getWrappedPositionOffsets() {
1204	1204	WeakHashMap<WrappedPosition, Integer> ret = new WeakHashMap<WrappedPosition, Integer>(_wrappedPosList.size());
1205	1205
1206	1206	for (WeakReference<WrappedPosition> wr: _wrappedPosList) {
1207		- if (wr.get() != null) {
	1207	+ WrappedPosition ref = wr.get();
	1208	+ if (ref != null) {
1208	1209	// hasn't been garbage-collected yet
1209	1210	newList.add(wr);
1210		- ret.put(wr.get(), wr.get().getOffset());
	1211	+ ret.put(ref, ref.getOffset());
1211	1212	}
1212	1213	}
1213	1214	_wrappedPosList.clear();

0 commit comments

Comments

0 (0)