@Override public Object findSourceElement(String name) throws CoreException { if (fRootLocations != null) { for (int i = 0; i < fRootLocations.length; i++) { Object element = fRootLocations[i].findSourceElement(name); if (element != null) { return element; } } } return null; }
@Override public String getMemento() throws CoreException { Document doc = DebugPlugin.newDocument(); Element node = doc.createElement("javaSourceLocator"); //$NON-NLS-1$ doc.appendChild(node); IJavaSourceLocation[] locations = getSourceLocations(); for (int i = 0; i < locations.length; i++) { Element child = doc.createElement("javaSourceLocation"); //$NON-NLS-1$ child.setAttribute("class", locations[i].getClass().getName()); //$NON-NLS-1$ child.setAttribute("memento", locations[i].getMemento()); //$NON-NLS-1$ node.appendChild(child); } return DebugPlugin.serializeDocument(doc); }
abort(LaunchingMessages.JavaSourceLocator_Unable_to_restore_source_location__12, e); location.initializeFrom(data); sourceLocations.add(location); } else {
abort(LaunchingMessages.JavaSourceLocator_Unable_to_restore_source_location__12, e); location.initializeFrom(data); sourceLocations.add(location); } else {
@Override public Object findSourceElement(String name) throws CoreException { if (fRootLocations != null) { for (int i = 0; i < fRootLocations.length; i++) { Object element = fRootLocations[i].findSourceElement(name); if (element != null) { return element; } } } return null; }
@Override public String getMemento() throws CoreException { Document doc = DebugPlugin.newDocument(); Element node = doc.createElement("javaSourceLocator"); //$NON-NLS-1$ doc.appendChild(node); IJavaSourceLocation[] locations = getSourceLocations(); for (int i = 0; i < locations.length; i++) { Element child = doc.createElement("javaSourceLocation"); //$NON-NLS-1$ child.setAttribute("class", locations[i].getClass().getName()); //$NON-NLS-1$ child.setAttribute("memento", locations[i].getMemento()); //$NON-NLS-1$ node.appendChild(child); } return DebugPlugin.serializeDocument(doc); }
for (int i = 0; i < locations.length; i++) { try { Object sourceElement = locations[i].findSourceElement(name); if (sourceElement != null) { list.add(sourceElement);
for (int i = 0; i < locations.length; i++) { try { Object sourceElement = locations[i].findSourceElement(name); if (sourceElement != null) { list.add(sourceElement);
for (int i = 0; i < locations.length; i++) { try { Object sourceElement = locations[i].findSourceElement(name); if (sourceElement != null) { return sourceElement;
for (int i = 0; i < locations.length; i++) { try { Object sourceElement = locations[i].findSourceElement(name); if (sourceElement != null) { return sourceElement;