/* * Copyright (c) 2012, the Dart project authors. * * Licensed under the Eclipse Public License v1.0 (the "License"); you may not use this file except * in compliance with the License. You may obtain a copy of the License at * * http://www.eclipse.org/legal/epl-v10.html * * Unless required by applicable law or agreed to in writing, software distributed under the License * is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express * or implied. See the License for the specific language governing permissions and limitations under * the License. */ package com.google.dart.tools.ui.web.css; import org.eclipse.core.runtime.CoreException; import org.eclipse.jface.text.IDocument; import org.eclipse.jface.text.IDocumentPartitioner; import org.eclipse.jface.text.rules.FastPartitioner; import org.eclipse.ui.editors.text.TextFileDocumentProvider; /** * A document provider for css content. This tells the editor how to break the document up into * partitions. */ public class CssDocumentProvider extends TextFileDocumentProvider { private CssEditor editor; public CssDocumentProvider(CssEditor editor) { this.editor = editor; } @Override protected FileInfo createFileInfo(Object element) throws CoreException { FileInfo info = super.createFileInfo(element); if (info == null) { info = createEmptyFileInfo(); } IDocument document = info.fTextFileBuffer.getDocument(); if (document != null) { IDocumentPartitioner partitioner = new FastPartitioner( new CssPartitionScanner(editor), new String[] {CssPartitionScanner.CSS_COMMENT}); partitioner.connect(document); document.setDocumentPartitioner(partitioner); } return info; } }