1 19 20 package ca.mcgill.sable.soot.editors; 21 22 import org.eclipse.core.runtime.CoreException; 23 import org.eclipse.jface.text.IDocument; 24 import org.eclipse.jface.text.IDocumentPartitioner; 25 import org.eclipse.jface.text.rules.DefaultPartitioner; 26 import org.eclipse.ui.editors.text.FileDocumentProvider; 27 28 29 public class JimpleDocumentProvider extends FileDocumentProvider { 30 31 32 public JimpleDocumentProvider() { 33 super(); 34 } 35 36 39 protected IDocument createDocument(Object element) throws CoreException { 40 IDocument document = super.createDocument(element); 41 if (document != null) { 42 IDocumentPartitioner partitioner = 43 new DefaultPartitioner( 44 new JimplePartitionScanner(), 45 new String [] { JimplePartitionScanner.JIMPLE_STRING}); 46 partitioner.connect(document); 47 document.setDocumentPartitioner(partitioner); 48 } 49 return document; 50 } 51 } 52 | Popular Tags |