Attachment #41789 for bug #142326

View | Details | Raw Unified | Return to bug 142326
Collapse All | Expand All




	 *  or a new pathmap URI otherwise.
	 */
	public static URI denormalizeURI(URI uri) {
		if (!uri.isFile()) {
			if (!uri.scheme().equals("platform")) { //$NON-NLS-1$
				return uri;
			} else if (!uri.segment(0).equals("resource")) { //$NON-NLS-1$
				return uri;
			}
		}
		
		String uriAsString = uri.toString();
		
		String maxValueString = null;

Return to bug 142326

Lines 715-728 Link Here

(-)src/org/eclipse/gmf/runtime/emf/core/internal/resources/PathmapManager.java (-8 lines)
715	* or a new pathmap URI otherwise.	715	* or a new pathmap URI otherwise.
716	*/	716	*/
717	public static URI denormalizeURI(URI uri) {	717	public static URI denormalizeURI(URI uri) {
718	if (!uri.isFile()) {
719	if (!uri.scheme().equals("platform")) { //$NON-NLS-1$
720	return uri;
721	} else if (!uri.segment(0).equals("resource")) { //$NON-NLS-1$
722	return uri;
723	}
724	}
725
726	String uriAsString = uri.toString();	718	String uriAsString = uri.toString();
727		719
728	String maxValueString = null;	720	String maxValueString = null;