mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-09-04 22:23:28 +02:00
Code Issues Wiki Activity

[193394] Kevin's patch for Changed mentions of Vector to java.util.List as passed child is an ArrayList not a Vector

Browse source
This commit is contained in:
David McKnight 2007-07-09 20:43:48 +00:00
parent e61ee3b271
commit 0cdd389469
1 changed files with 11 additions and 11 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

22
rse/plugins/org.eclipse.rse.ui/UI/org/eclipse/rse/internal/ui/view/SystemTableViewPart.java
View file

@ -1570,9 +1570,9 @@ public class SystemTableViewPart extends ViewPart
for (int i = 0; i < _browseHistory.size(); i++) for (int i = 0; i < _browseHistory.size(); i++)
{ {
HistoryItem hist = (HistoryItem)_browseHistory.get(i); HistoryItem hist = (HistoryItem)_browseHistory.get(i);
if (hist.getObject() == c) Object historyObj = hist.getObject();
if (historyObj == c || historyObj.equals(c))
{ {
_browseHistory.remove(hist); _browseHistory.remove(hist);
if (_browsePosition >= i) if (_browsePosition >= i)
{ {
@ -1610,11 +1610,11 @@ public class SystemTableViewPart extends ViewPart
{ {
int eventType = event.getEventType(); int eventType = event.getEventType();
Object remoteResource = event.getResource(); Object remoteResource = event.getResource();
Vector remoteResourceNames = null; java.util.List remoteResourceNames = null;
if (remoteResource instanceof Vector) if (remoteResource instanceof java.util.List)
{ {
remoteResourceNames = (Vector) remoteResource; remoteResourceNames = (java.util.List) remoteResource;
remoteResource = remoteResourceNames.elementAt(0); remoteResource = remoteResourceNames.get(0);
} }
Object child = event.getResource(); Object child = event.getResource();
@ -1630,7 +1630,7 @@ public class SystemTableViewPart extends ViewPart
referToSameObject = ((SystemRegistry)registry).isSameObjectByAbsoluteName(input, null, child, event.getOldName()); referToSameObject = ((SystemRegistry)registry).isSameObjectByAbsoluteName(input, null, child, event.getOldName());
} }
if (input == child || child instanceof Vector || referToSameObject) if (input == child || child instanceof java.util.List || referToSameObject)
{ {
switch (eventType) switch (eventType)
{ {
@ -1651,12 +1651,12 @@ public class SystemTableViewPart extends ViewPart
// -------------------------- // --------------------------
case ISystemRemoteChangeEvents.SYSTEM_REMOTE_RESOURCE_DELETED : case ISystemRemoteChangeEvents.SYSTEM_REMOTE_RESOURCE_DELETED :
{ {
if (child instanceof Vector) if (child instanceof java.util.List)
{ {
Vector vec = (Vector)child; java.util.List list = (java.util.List)child;
for (int v = 0; v < vec.size(); v++) for (int v = 0; v < list.size(); v++)
{ {
Object c = vec.get(v); Object c = list.get(v);
removeFromHistory(c); removeFromHistory(c);
/* /*