1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-08-10 17:55:39 +02:00

[187736] event handling to check for List not vector

This commit is contained in:
David McKnight 2007-05-23 19:36:30 +00:00
parent 1d9e074af1
commit 4034c5bfca

View file

@ -20,6 +20,7 @@ import java.util.ArrayList;
import java.util.Enumeration; import java.util.Enumeration;
import java.util.Hashtable; import java.util.Hashtable;
import java.util.Iterator; import java.util.Iterator;
import java.util.List;
import java.util.Vector; import java.util.Vector;
import org.eclipse.core.runtime.IAdaptable; import org.eclipse.core.runtime.IAdaptable;
@ -974,12 +975,12 @@ public class SystemTableView
int eventType = event.getEventType(); int eventType = event.getEventType();
Object remoteResourceParent = event.getResourceParent(); Object remoteResourceParent = event.getResourceParent();
Object remoteResource = event.getResource(); Object remoteResource = event.getResource();
Vector remoteResourceNames = null; List remoteResourceNames = null;
if (remoteResource instanceof Vector) if (remoteResource instanceof List) {
{ remoteResourceNames = (List) remoteResource;
remoteResourceNames = (Vector) remoteResource; remoteResource = remoteResourceNames.get(0);
remoteResource = remoteResourceNames.elementAt(0);
} }
String remoteResourceParentName = getRemoteResourceAbsoluteName(remoteResourceParent); String remoteResourceParentName = getRemoteResourceAbsoluteName(remoteResourceParent);
String remoteResourceName = getRemoteResourceAbsoluteName(remoteResource); String remoteResourceName = getRemoteResourceAbsoluteName(remoteResource);
if (remoteResourceName == null) if (remoteResourceName == null)