VdmViewerComparator.java

package org.overture.ide.ui.navigator;

import org.eclipse.core.resources.IFile;
import org.eclipse.core.resources.IFolder;
import org.eclipse.jface.viewers.ViewerSorter;

public class VdmViewerComparator extends ViewerSorter {

	@Override
	public int category(Object element) {
		if (element instanceof IFile) {
			return 2;
		}
		if (element instanceof IFolder) {
			return 1;
		}
		return super.category(element);
	}

}