* This class may be instantiated; it is not intended to be subclassed. *
*/ -public class JavaTextTools { +public class JavaTextTools implements IPHPPartitions { +// private static final String[] TOKENS = { +// JSPScriptScanner.JSP_DEFAULT, +// JSPScriptScanner.JSP_BRACKET }; + private final static String[] LEGAL_CONTENT_TYPES = new String[] { + PHP_PHPDOC_COMMENT, + PHP_MULTILINE_COMMENT, + PHP_SINGLELINE_COMMENT, + PHP_STRING_DQ, + PHP_STRING_SQ }; + + private static XMLPartitionScanner HTML_PARTITION_SCANNER = null; + + private static FastJavaPartitionScanner PHP_PARTITION_SCANNER = null; + + private static HTMLPartitionScanner SMARTY_PARTITION_SCANNER = null; + + private static XMLPartitionScanner XML_PARTITION_SCANNER = null; - private class PreferenceListener implements IPropertyChangeListener { + // private final static String[] TYPES= new String[] { PHPPartitionScanner.PHP, PHPPartitionScanner.JAVA_DOC, + // PHPPartitionScanner.JAVA_MULTILINE_COMMENT }; +// private final static String[] TYPES = new String[] { +// IPHPPartitions.PHP_PARTITIONING, +// IPHPPartitions.PHP_PHPDOC_COMMENT, +// // IPHPPartitions.HTML, +// // IPHPPartitions.HTML_MULTILINE_COMMENT, +// IPHPPartitions.JAVASCRIPT, +// IPHPPartitions.CSS, +// IPHPPartitions.SMARTY, +// IPHPPartitions.SMARTY_MULTILINE_COMMENT }; + + /** + * This tools' preference listener. + */ + private class PreferenceListener implements IPropertyChangeListener, Preferences.IPropertyChangeListener { public void propertyChange(PropertyChangeEvent event) { adaptToPreferenceChange(event); } + + public void propertyChange(Preferences.PropertyChangeEvent event) { + adaptToPreferenceChange(new PropertyChangeEvent(event.getSource(), event.getProperty(), event.getOldValue(), event + .getNewValue())); + } }; - /** The color manager */ - private JavaColorManager fColorManager; + // /** The color manager */ + private JavaColorManager colorManager; + /** The PHP source code scanner */ private PHPCodeScanner fCodeScanner; + /** The PHP multiline comment scanner */ private SingleTokenPHPScanner fMultilineCommentScanner; + /** The Java singleline comment scanner */ private SingleTokenPHPScanner fSinglelineCommentScanner; + /** The Java string scanner */ private SingleTokenPHPScanner fStringScanner; + /** The PHPDoc scanner */ private PHPDocCodeScanner fPHPDocScanner; + /** The HTML scanner */ - private HTMLCodeScanner fHTMLScanner; + // private HTMLCodeScanner fHTMLScanner; /** The Smarty scanner */ private SmartyCodeScanner fSmartyScanner; + /** The SmartyDoc scanner */ private SmartyDocCodeScanner fSmartyDocScanner; - /** The Java partitions scanner */ - private FastJavaPartitionScanner fPartitionScanner; - + + /** The Java partitions scanner. */ + private FastJavaPartitionScanner fPartitionScanner; + /** The preference store */ private IPreferenceStore fPreferenceStore; + + /** The XML Language text tools */ + private XMLTextTools xmlTextTools; + /** + * The core preference store. + * + * @since 2.1 + */ + private Preferences fCorePreferenceStore; + /** The preference change listener */ private PreferenceListener fPreferenceListener = new PreferenceListener(); + /** The JSP partitions scanner */ + private PHPPartitionScanner jspPartitionScanner = null; + + /** The JSP script subpartitions scanner */ +// private JSPScriptScanner jspScriptScanner; + + /** The PHP plain text scanner */ +// private RuleBasedScanner jspTextScanner; + + /** The PHP brackets scanner */ +// private RuleBasedScanner jspBracketScanner; + /** * Creates a new Java text tools collection. * - * @param store the preference store to initialize the text tools. The text tool - * instance installs a listener on the passed preference store to adapt itself to - * changes in the preference store. In generalPreferenceConstants.
- * getPreferenceStore() shoould be used to initialize the text tools.
+ * @param store
+ * the preference store to initialize the text tools. The text tool instance installs a listener on the passed preference
+ * store to adapt itself to changes in the preference store. In general PreferenceConstants.
+ * getPreferenceStore()
+ * should be used to initialize the text tools.
+ * @param coreStore
+ * optional preference store to initialize the text tools. The text tool instance installs a listener on the passed
+ * preference store to adapt itself to changes in the preference store.
+ * @see org.eclipse.jdt.ui.PreferenceConstants#getPreferenceStore()
+ * @since 2.1
+ */
+ public JavaTextTools(IPreferenceStore store, Preferences coreStore) {
+ this(store, coreStore, true);
+ }
+
+ /**
+ * Creates a new Java text tools collection.
*
- * @see org.phpeclipse.phpdt.ui.PreferenceConstants#getPreferenceStore()
- * @since 2.0
+ * @param store
+ * the preference store to initialize the text tools. The text tool instance installs a listener on the passed preference
+ * store to adapt itself to changes in the preference store. In general PreferenceConstants.
+ * getPreferenceStore()
+ * shoould be used to initialize the text tools.
+ * @param coreStore
+ * optional preference store to initialize the text tools. The text tool instance installs a listener on the passed
+ * preference store to adapt itself to changes in the preference store.
+ * @param autoDisposeOnDisplayDispose
+ * if true the color manager automatically disposes all managed colors when the current display gets
+ * disposed and all calls to {@link org.eclipse.jface.text.source.ISharedTextColors#dispose()}are ignored.
+ * @see org.eclipse.jdt.ui.PreferenceConstants#getPreferenceStore()
+ * @since 2.1
*/
- public JavaTextTools(IPreferenceStore store) {
+ public JavaTextTools(IPreferenceStore store, Preferences coreStore, boolean autoDisposeOnDisplayDispose) {
+ // super(store, TOKENS, );
+// REVISIT: preference store
+ xmlTextTools = new XMLTextTools(
+ XMLPlugin.getDefault().getPreferenceStore());
+
+ colorManager = new JavaColorManager(autoDisposeOnDisplayDispose);
fPreferenceStore = store;
fPreferenceStore.addPropertyChangeListener(fPreferenceListener);
- fColorManager = new JavaColorManager();
- fCodeScanner = new PHPCodeScanner(fColorManager, store);
- fMultilineCommentScanner = new SingleTokenPHPScanner(fColorManager, store, IPreferenceConstants.PHP_MULTILINE_COMMENT);
- fSinglelineCommentScanner = new SingleTokenPHPScanner(fColorManager, store, IPreferenceConstants.PHP_SINGLELINE_COMMENT);
- fStringScanner = new SingleTokenPHPScanner(fColorManager, store, IPreferenceConstants.PHP_STRING);
- fPHPDocScanner = new PHPDocCodeScanner(fColorManager, store);
- fHTMLScanner = new HTMLCodeScanner(fColorManager, store);
- fSmartyScanner = new SmartyCodeScanner(fColorManager, store);
- fSmartyDocScanner = new SmartyDocCodeScanner(fColorManager, store);
- fPartitionScanner = new FastJavaPartitionScanner();
+ fCorePreferenceStore = coreStore;
+ if (fCorePreferenceStore != null)
+ fCorePreferenceStore.addPropertyChangeListener(fPreferenceListener);
+
+ fCodeScanner = new PHPCodeScanner((JavaColorManager) colorManager, store);
+ fMultilineCommentScanner = new SingleTokenPHPScanner((JavaColorManager) colorManager, store,
+ IPreferenceConstants.PHP_MULTILINE_COMMENT);
+ fSinglelineCommentScanner = new SingleTokenPHPScanner((JavaColorManager) colorManager, store,
+ IPreferenceConstants.PHP_SINGLELINE_COMMENT);
+ fStringScanner = new SingleTokenPHPScanner((JavaColorManager) colorManager, store, IPreferenceConstants.PHP_STRING);
+ fPHPDocScanner = new PHPDocCodeScanner((JavaColorManager) colorManager, store);
+ // fHTMLScanner = new HTMLCodeScanner((JavaColorManager)fColorManager, store);
+ fSmartyScanner = new SmartyCodeScanner((JavaColorManager) colorManager, store);
+ fSmartyDocScanner = new SmartyDocCodeScanner((JavaColorManager) colorManager, store);
+
+ fPartitionScanner= new FastJavaPartitionScanner();
+
+// jspScriptScanner = new JSPScriptScanner();
+ // fPartitionScanner = new FastJavaPartitionScanner();
+ // fPartitionScanner = new PHPPartitionScanner();
+
+// jspBracketScanner = new RuleBasedScanner();
+// jspBracketScanner.setDefaultReturnToken(new Token(JSPScriptScanner.JSP_BRACKET));
+// jspTextScanner = new RuleBasedScanner();
+// jspTextScanner.setDefaultReturnToken(new Token(JSPScriptScanner.JSP_DEFAULT));
}
/**
+ *
+ */
+ public XMLTextTools getXMLTextTools() {
+ return xmlTextTools;
+ }
+ /**
* Disposes all the individual tools of this tools collection.
*/
public void dispose() {
@@ -109,33 +238,38 @@ public class JavaTextTools {
fSinglelineCommentScanner = null;
fStringScanner = null;
fPHPDocScanner = null;
- fPartitionScanner = null;
+ // fPartitionScanner = null;
- if (fColorManager != null) {
- fColorManager.dispose();
- fColorManager = null;
+ if (colorManager != null) {
+ colorManager.dispose();
+ colorManager = null;
}
if (fPreferenceStore != null) {
fPreferenceStore.removePropertyChangeListener(fPreferenceListener);
fPreferenceStore = null;
+
+ if (fCorePreferenceStore != null) {
+ fCorePreferenceStore.removePropertyChangeListener(fPreferenceListener);
+ fCorePreferenceStore = null;
+ }
+
fPreferenceListener = null;
}
}
/**
- * Returns the color manager which is used to manage
- * any Java-specific colors needed for such things like syntax highlighting.
- *
+ * Returns the color manager which is used to manage any Java-specific colors needed for such things like syntax highlighting.
+ *
* @return the color manager to be used for Java text viewers
*/
- public IColorManager getColorManager() {
- return fColorManager;
+ public JavaColorManager getColorManager() {
+ return (JavaColorManager) colorManager;
}
/**
* Returns a scanner which is configured to scan Java source code.
- *
+ *
* @return a Java source code scanner
*/
public RuleBasedScanner getCodeScanner() {
@@ -144,7 +278,7 @@ public class JavaTextTools {
/**
* Returns a scanner which is configured to scan Java multiline comments.
- *
+ *
* @return a Java multiline comment scanner
*
* @since 2.0
@@ -155,18 +289,17 @@ public class JavaTextTools {
/**
* Returns a scanner which is configured to scan HTML code.
- *
+ *
* @return a HTML scanner
*
* @since 2.0
*/
- public RuleBasedScanner getHTMLScanner() {
- return fHTMLScanner;
- }
-
+ // public RuleBasedScanner getHTMLScanner() {
+ // return fHTMLScanner;
+ // }
/**
* Returns a scanner which is configured to scan Smarty code.
- *
+ *
* @return a Smarty scanner
*
* @since 2.0
@@ -176,18 +309,19 @@ public class JavaTextTools {
}
/**
- * Returns a scanner which is configured to scan Smarty code.
- *
- * @return a Smarty scanner
- *
- * @since 2.0
- */
+ * Returns a scanner which is configured to scan Smarty code.
+ *
+ * @return a Smarty scanner
+ *
+ * @since 2.0
+ */
public RuleBasedScanner getSmartyDocScanner() {
return fSmartyDocScanner;
}
+
/**
* Returns a scanner which is configured to scan Java singleline comments.
- *
+ *
* @return a Java singleline comment scanner
*
* @since 2.0
@@ -198,7 +332,7 @@ public class JavaTextTools {
/**
* Returns a scanner which is configured to scan Java strings.
- *
+ *
* @return a Java string scanner
*
* @since 2.0
@@ -208,10 +342,9 @@ public class JavaTextTools {
}
/**
- * Returns a scanner which is configured to scan JavaDoc compliant comments.
- * Notes that the start sequence "/**" and the corresponding end sequence
- * are part of the JavaDoc comment.
- *
+ * Returns a scanner which is configured to scan JavaDoc compliant comments. Notes that the start sequence "/**" and the
+ * corresponding end sequence are part of the JavaDoc comment.
+ *
* @return a JavaDoc scanner
*/
public RuleBasedScanner getJavaDocScanner() {
@@ -219,70 +352,149 @@ public class JavaTextTools {
}
/**
- * Returns a scanner which is configured to scan
- * Java-specific partitions, which are multi-line comments,
- * JavaDoc comments, and regular Java source code.
- *
+ * Returns a scanner which is configured to scan Java-specific partitions, which are multi-line comments, JavaDoc comments, and
+ * regular Java source code.
+ *
* @return a Java partition scanner
*/
- public IPartitionTokenScanner getPartitionScanner() {
- return fPartitionScanner;
+ // public IPartitionTokenScanner getPartitionScanner() {
+ // return fPartitionScanner;
+ // }
+ /**
+ * Factory method for creating a PHP-specific document partitioner using this object's partitions scanner. This method is a
+ * convenience method.
+ *
+ * @return a newly created Java document partitioner
+ */
+ public IDocumentPartitioner createDocumentPartitioner() {
+ return createDocumentPartitioner(".php");
}
/**
- * Factory method for creating a Java-specific document partitioner
- * using this object's partitions scanner. This method is a
+ * Factory method for creating a PHP-specific document partitioner using this object's partitions scanner. This method is a
* convenience method.
- *
+ *
* @return a newly created Java document partitioner
*/
- public IDocumentPartitioner createDocumentPartitioner() {
+ public IDocumentPartitioner createDocumentPartitioner(String extension) {
+
+ // String[] types =
+ // new String[] {
+ // FastJavaPartitionScanner.JAVA_DOC,
+ // FastJavaPartitionScanner.JAVA_MULTI_LINE_COMMENT,
+ // FastJavaPartitionScanner.JAVA_SINGLE_LINE_COMMENT,
+ // FastJavaPartitionScanner.JAVA_STRING };
+ //
+ // return new DefaultPartitioner(getPartitionScanner(), types);
+ IDocumentPartitioner partitioner = null;
+ // System.out.println(extension);
+ if (extension.equalsIgnoreCase(".html") || extension.equalsIgnoreCase(".htm")) {
+ // html
+ partitioner = createHTMLPartitioner();
+ partitioner = createJSPPartitioner();
+ } else if (extension.equalsIgnoreCase(".xml")) {
+ // xml
+ partitioner = createXMLPartitioner();
+// } else if (extension.equalsIgnoreCase(".js")) {
+// // javascript
+// partitioner = createJavaScriptPartitioner();
+// } else if (extension.equalsIgnoreCase(".css")) {
+// // cascading style sheets
+// partitioner = createCSSPartitioner();
+ } else if (extension.equalsIgnoreCase(".tpl")) {
+ // smarty ?
+ partitioner = createSmartyPartitioner();
+// } else if (extension.equalsIgnoreCase(".inc")) {
+// // php include files ?
+// partitioner = createIncludePartitioner();
+ }
+
+ if (partitioner == null) {
+ partitioner = createJSPPartitioner();
+ }
+
+ return partitioner;
+ }
+
+
+ /**
+ * Sets up the Java document partitioner for the given document for the given partitioning.
+ *
+ * @param document
+ * the document to be set up
+ * @param partitioning
+ * the document partitioning
+ * @param element
+ * TODO
+ *
+ * @since 3.0
+ */
+// public void setupJavaDocumentPartitioner(IDocument document, String partitioning, Object element) {
+// IDocumentPartitioner partitioner = createDocumentPartitioner(".php");
+//
+// // if (document instanceof IDocumentExtension3) {
+// // IDocumentExtension3 extension3= (IDocumentExtension3) document;
+// // extension3.setDocumentPartitioner(partitioning, partitioner);
+// // } else {
+// document.setDocumentPartitioner(partitioner);
+// // }
+// partitioner.connect(document);
+// }
- String[] types =
- new String[] {
- FastJavaPartitionScanner.JAVA_DOC,
- FastJavaPartitionScanner.JAVA_MULTI_LINE_COMMENT,
- FastJavaPartitionScanner.JAVA_SINGLE_LINE_COMMENT,
- FastJavaPartitionScanner.JAVA_STRING };
+ public void setupHTMLDocumentPartitioner(IDocument document, String partitioning, Object element) {
+ IDocumentPartitioner partitioner = createDocumentPartitioner(".html");
- return new DefaultPartitioner(getPartitionScanner(), types);
+ // if (document instanceof IDocumentExtension3) {
+ // IDocumentExtension3 extension3= (IDocumentExtension3) document;
+ // extension3.setDocumentPartitioner(partitioning, partitioner);
+ // } else {
+ document.setDocumentPartitioner(partitioner);
+ // }
+ partitioner.connect(document);
+ }
+
+ public void setupSmartyDocumentPartitioner(IDocument document, String partitioning, Object element) {
+ IDocumentPartitioner partitioner = createDocumentPartitioner(".tpl");
+
+ // if (document instanceof IDocumentExtension3) {
+ // IDocumentExtension3 extension3= (IDocumentExtension3) document;
+ // extension3.setDocumentPartitioner(partitioning, partitioner);
+ // } else {
+ document.setDocumentPartitioner(partitioner);
+ // }
+ partitioner.connect(document);
}
/**
- * Returns the names of the document position categories used by the document
- * partitioners created by this object to manage their partition information.
- * If the partitioners don't use document position categories, the returned
- * result is null.
- *
- * @return the partition managing position categories or null
- * if there is none
+ * Returns the names of the document position categories used by the document partitioners created by this object to manage their
+ * partition information. If the partitioners don't use document position categories, the returned result is null.
+ *
+ * @return the partition managing position categories or null if there is none
*/
public String[] getPartitionManagingPositionCategories() {
return new String[] { DefaultPartitioner.CONTENT_TYPES_CATEGORY };
}
/**
- * Determines whether the preference change encoded by the given event
- * changes the behavior of one its contained components.
+ * Determines whether the preference change encoded by the given event changes the behavior of one its contained components.
*
- * @param event the event to be investigated
+ * @param event
+ * the event to be investigated
* @return true if event causes a behavioral change
*
* @since 2.0
*/
public boolean affectsBehavior(PropertyChangeEvent event) {
- return fCodeScanner.affectsBehavior(event)
- || fMultilineCommentScanner.affectsBehavior(event)
- || fSinglelineCommentScanner.affectsBehavior(event)
- || fStringScanner.affectsBehavior(event)
- || fPHPDocScanner.affectsBehavior(event);
+ return fCodeScanner.affectsBehavior(event) || fMultilineCommentScanner.affectsBehavior(event)
+ || fSinglelineCommentScanner.affectsBehavior(event) || fStringScanner.affectsBehavior(event)
+ || fPHPDocScanner.affectsBehavior(event);
}
/**
- * Adapts the behavior of the contained components to the change
- * encoded in the given event.
+ * Adapts the behavior of the contained components to the change encoded in the given event.
*
- * @param event the event to which to adapt
+ * @param event
+ * the event to which to adapt
* @since 2.0
*/
protected void adaptToPreferenceChange(PropertyChangeEvent event) {
@@ -296,5 +508,179 @@ public class JavaTextTools {
fStringScanner.adaptToPreferenceChange(event);
if (fPHPDocScanner.affectsBehavior(event))
fPHPDocScanner.adaptToPreferenceChange(event);
+ // if (fHTMLScanner.affectsBehavior(event))
+ // fHTMLScanner.adaptToPreferenceChange(event);
+ if (fSmartyScanner.affectsBehavior(event))
+ fSmartyScanner.adaptToPreferenceChange(event);
+ if (fSmartyDocScanner.affectsBehavior(event))
+ fSmartyDocScanner.adaptToPreferenceChange(event);
+ XMLPlugin.getDefault().getXMLTextTools().affectsBehavior(event);
+ }
+
+ /**
+ * Return a partitioner for .html files.
+ */
+ public IDocumentPartitioner createHTMLPartitioner() {
+// return new DefaultPartitioner(getHTMLPartitionScanner(), TYPES);
+ return xmlTextTools.createXMLPartitioner();
+ }
+
+// private static IDocumentPartitioner createIncludePartitioner() {
+// // return new DefaultPartitioner(getPHPPartitionScanner(), TYPES);
+// return new DefaultPartitioner(getPHPPartitionScanner(), FastJavaPartitionScanner.PHP_PARTITION_TYPES);
+//
+// }
+
+// private static IDocumentPartitioner createJavaScriptPartitioner() {
+// return new DefaultPartitioner(getHTMLPartitionScanner(), TYPES);
+// }
+
+ /**
+ * Return a partitioner for .php files.
+ */
+ public IDocumentPartitioner createPHPPartitioner() {
+ // return new DefaultPartitioner(getPHPPartitionScanner(), TYPES);
+ return new DefaultPartitioner(getPHPPartitionScanner(), LEGAL_CONTENT_TYPES);
+ }
+
+ private IDocumentPartitioner createJSPPartitioner() {
+ return new PHPDocumentPartitioner(
+ getJSPPartitionScanner(), getPHPPartitionScanner());
+// return new JSPDocumentPartitioner(getJSPPartitionScanner(), jspScriptScanner);
+ }
+
+ /**
+ *
+ */
+// public IPartitionTokenScanner getJSPScriptScanner() {
+// return jspScriptScanner;
+// }
+
+ private IDocumentPartitioner createSmartyPartitioner() {
+ return new DefaultPartitioner(getSmartyPartitionScanner(), XMLTextTools.TYPES);
}
+
+ private IDocumentPartitioner createXMLPartitioner() {
+// return new DefaultPartitioner(getXMLPartitionScanner(), XMLTextTools.TYPES);
+ return xmlTextTools.createXMLPartitioner();
+ }
+
+// private IDocumentPartitioner createCSSPartitioner() {
+// return new DefaultPartitioner(getHTMLPartitionScanner(), XMLTextTools.TYPES);
+// }
+
+ /**
+ * Return a scanner for creating html partitions.
+ */
+// private static XMLPartitionScanner getHTMLPartitionScanner() {
+// // if (HTML_PARTITION_SCANNER == null)
+// // HTML_PARTITION_SCANNER = new HTMLPartitionScanner(IPHPPartitions.HTML_FILE);
+// // return HTML_PARTITION_SCANNER;^
+// if (HTML_PARTITION_SCANNER == null)
+// HTML_PARTITION_SCANNER = new XMLPartitionScanner(false);
+// return HTML_PARTITION_SCANNER;
+// }
+
+ /**
+ * Return a scanner for creating php partitions.
+ */
+ private FastJavaPartitionScanner getPHPPartitionScanner() {
+// if (PHP_PARTITION_SCANNER == null)
+// PHP_PARTITION_SCANNER = new FastJavaPartitionScanner(); //new PHPPartitionScanner(IPHPPartitions.PHP_FILE);
+// return PHP_PARTITION_SCANNER;
+ return fPartitionScanner;
+ }
+
+ /**
+ * Returns a scanner which is configured to scan plain text in JSP.
+ *
+ * @return a JSP text scanner
+ */
+// public RuleBasedScanner getJSPTextScanner() {
+// return jspTextScanner;
+// }
+
+ /**
+ * Returns a scanner which is configured to scan plain text in JSP.
+ *
+ * @return a JSP text scanner
+ */
+// public RuleBasedScanner getJSPBracketScanner() {
+// return jspBracketScanner;
+// }
+
+ /**
+ * Return a scanner for creating smarty partitions.
+ */
+ private static HTMLPartitionScanner getSmartyPartitionScanner() {
+ if (SMARTY_PARTITION_SCANNER == null)
+ SMARTY_PARTITION_SCANNER = new HTMLPartitionScanner(IPHPPartitions.SMARTY_FILE);
+ return SMARTY_PARTITION_SCANNER;
+ }
+
+ /**
+ * Return a scanner for creating xml partitions.
+ */
+ private static XMLPartitionScanner getXMLPartitionScanner() {
+ // if (XML_PARTITION_SCANNER == null)
+ // XML_PARTITION_SCANNER = new HTMLPartitionScanner(IPHPPartitions.XML_FILE);
+ // return XML_PARTITION_SCANNER;
+ if (XML_PARTITION_SCANNER == null)
+ XML_PARTITION_SCANNER = new XMLPartitionScanner(false);
+ return XML_PARTITION_SCANNER;
+ }
+
+ private PHPPartitionScanner getJSPPartitionScanner() {
+ if (jspPartitionScanner == null)
+ jspPartitionScanner = new PHPPartitionScanner();
+ return jspPartitionScanner;
+ }
+
+ /**
+ * Sets up the Java document partitioner for the given document for the default partitioning.
+ *
+ * @param document the document to be set up
+ * @since 3.0
+ */
+ public void setupJavaDocumentPartitioner(IDocument document) {
+ setupJavaDocumentPartitioner(document, IDocumentExtension3.DEFAULT_PARTITIONING);
+ }
+
+ /**
+ * Sets up the Java document partitioner for the given document for the given partitioning.
+ *
+ * @param document the document to be set up
+ * @param partitioning the document partitioning
+ * @since 3.0
+ */
+ public void setupJavaDocumentPartitioner(IDocument document, String partitioning) {
+ IDocumentPartitioner partitioner= createDocumentPartitioner();
+ if (document instanceof IDocumentExtension3) {
+ IDocumentExtension3 extension3= (IDocumentExtension3) document;
+ extension3.setDocumentPartitioner(partitioning, partitioner);
+ } else {
+ document.setDocumentPartitioner(partitioner);
+ }
+ partitioner.connect(document);
+ }
+
+ /**
+ * Returns this text tool's preference store.
+ *
+ * @return the preference store
+ * @since 3.0
+ */
+ protected IPreferenceStore getPreferenceStore() {
+ return fPreferenceStore;
+ }
+
+ /**
+ * Returns this text tool's core preference store.
+ *
+ * @return the core preference store
+ * @since 3.0
+ */
+ protected Preferences getCorePreferenceStore() {
+ return fCorePreferenceStore;
+ }
}
\ No newline at end of file