/****************************************************************************** * Copyright (C) 2013 Fabio Zadrozny * * All rights reserved. This program and the accompanying materials * are made available under the terms of the Eclipse Public License v1.0 * which accompanies this distribution, and is available at * http://www.eclipse.org/legal/epl-v10.html * * Contributors: * Fabio Zadrozny <fabiofz@gmail.com> - initial API and implementation ******************************************************************************/ package org.python.pydev.shared_core.utils; import java.util.Arrays; import java.util.HashSet; import java.util.Set; import org.eclipse.jface.text.BadPartitioningException; import org.eclipse.jface.text.IDocument; import org.eclipse.jface.text.IDocumentExtension3; import org.eclipse.jface.text.ISynchronizable; import org.python.pydev.shared_core.callbacks.ICallback; public class DocUtils { public static Object runWithDocumentSynched(IDocument document, ICallback<Object, IDocument> iCallback) { Object lockObject = null; if (document instanceof ISynchronizable) { ISynchronizable sync = (ISynchronizable) document; lockObject = sync.getLockObject(); } if (lockObject != null) { synchronized (lockObject) { return iCallback.call(document); } } else { //unsynched return iCallback.call(document); } } @SuppressWarnings({ "rawtypes", "unchecked" }) public static String[] getAllDocumentContentTypes(IDocument document) throws BadPartitioningException { if (document instanceof IDocumentExtension3) { IDocumentExtension3 ext = (IDocumentExtension3) document; String[] partitionings = ext.getPartitionings(); Set contentTypes = new HashSet(); contentTypes.add(IDocument.DEFAULT_CONTENT_TYPE); int len = partitionings.length; for (int i = 0; i < len; i++) { String[] legalContentTypes = ext.getLegalContentTypes(partitionings[i]); int len2 = legalContentTypes.length; for (int j = 0; j < len2; j++) { contentTypes.add(legalContentTypes[j]); } contentTypes.addAll(Arrays.asList(legalContentTypes)); } return (String[]) contentTypes.toArray(new String[contentTypes.size()]); } return document.getLegalContentTypes(); } }