package net.sourceforge.phpdt.ui.text;

/*
 * (c) Copyright IBM Corp. 2000, 2001.
 * All Rights Reserved.
 */

import net.sourceforge.phpdt.internal.ui.text.FastJavaPartitionScanner;
import net.sourceforge.phpdt.internal.ui.text.IPHPPartitions;
import net.sourceforge.phpdt.internal.ui.text.JavaColorManager;
import net.sourceforge.phpdt.internal.ui.text.phpdoc.PHPDocCodeScanner;
import net.sourceforge.phpeclipse.IPreferenceConstants;
import net.sourceforge.phpeclipse.PHPeclipsePlugin;
import net.sourceforge.phpeclipse.phpeditor.php.HTMLPartitionScanner;
import net.sourceforge.phpeclipse.phpeditor.php.PHPDocumentPartitioner;
import net.sourceforge.phpeclipse.phpeditor.php.PHPPartitionScanner;
import net.sourceforge.phpeclipse.phpeditor.php.PHPCodeScanner;
import net.sourceforge.phpeclipse.phpeditor.php.SmartyCodeScanner;
import net.sourceforge.phpeclipse.phpeditor.php.SmartyDocCodeScanner;
import net.sourceforge.phpeclipse.xml.ui.XMLPlugin;
import net.sourceforge.phpeclipse.xml.ui.internal.text.SingleTokenScanner;
import net.sourceforge.phpeclipse.xml.ui.internal.text.XMLPartitionScanner;
import net.sourceforge.phpeclipse.xml.ui.text.XMLTextTools;

import org.eclipse.core.runtime.Preferences;
import org.eclipse.jface.preference.IPreferenceStore;
import org.eclipse.jface.text.IDocument;
import org.eclipse.jface.text.IDocumentExtension3;
import org.eclipse.jface.text.IDocumentPartitioner;
import org.eclipse.jface.text.rules.DefaultPartitioner;
import org.eclipse.jface.text.rules.IPartitionTokenScanner;
import org.eclipse.jface.text.rules.RuleBasedScanner;
import org.eclipse.jface.text.rules.Token;
import org.eclipse.jface.util.IPropertyChangeListener;
import org.eclipse.jface.util.PropertyChangeEvent;

//
//import org.phpeclipse.phpdt.internal.ui.text.FastJavaPartitionScanner;
//import org.phpeclipse.phpdt.internal.ui.text.JavaColorManager;
//import org.phpeclipse.phpdt.internal.ui.text.JavaPartitionScanner;
//import org.phpeclipse.phpdt.internal.ui.text.SingleTokenJavaScanner;
//import org.phpeclipse.phpdt.internal.ui.text.php.JavaCodeScanner;
//import org.phpeclipse.phpdt.internal.ui.text.phpdoc.JavaDocScanner;

/**
 * Tools required to configure a Java text viewer. The color manager and all scanner exist only one time, i.e. the same instances
 * are returned to all clients. Thus, clients share those tools.
 * <p>
 * This class may be instantiated; it is not intended to be subclassed.
 * </p>
 */
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 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 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;
  /** The Smarty scanner */
  private SmartyCodeScanner fSmartyScanner;

  /** The SmartyDoc scanner */
  private SmartyDocCodeScanner fSmartyDocScanner;
  
  /** 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 general <code>PreferenceConstants.
   *			getPreferenceStore()</code>
   *          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.
   * 
   * @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 <code>PreferenceConstants.
   *			getPreferenceStore()</code>
   *          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 <code>true</code> 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, 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);

    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() {

    fCodeScanner = null;
    fMultilineCommentScanner = null;
    fSinglelineCommentScanner = null;
    fStringScanner = null;
    fPHPDocScanner = null;
    //    fPartitionScanner = 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.
   * 
   * @return the color manager to be used for Java text viewers
   */
  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() {
    return fCodeScanner;
  }

  /**
   * Returns a scanner which is configured to scan Java multiline comments.
   * 
   * @return a Java multiline comment scanner
   * 
   * @since 2.0
   */
  public RuleBasedScanner getMultilineCommentScanner() {
    return fMultilineCommentScanner;
  }

  /**
   * Returns a scanner which is configured to scan HTML code.
   * 
   * @return a HTML scanner
   * 
   * @since 2.0
   */
  //  public RuleBasedScanner getHTMLScanner() {
  //    return fHTMLScanner;
  //  }
  /**
   * Returns a scanner which is configured to scan Smarty code.
   * 
   * @return a Smarty scanner
   * 
   * @since 2.0
   */
  public RuleBasedScanner getSmartyScanner() {
    return fSmartyScanner;
  }

  /**
   * 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
   */
  public RuleBasedScanner getSinglelineCommentScanner() {
    return fSinglelineCommentScanner;
  }

  /**
   * Returns a scanner which is configured to scan Java strings.
   * 
   * @return a Java string scanner
   * 
   * @since 2.0
   */
  public RuleBasedScanner getStringScanner() {
    return fStringScanner;
  }

  /**
   * 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() {
    return fPHPDocScanner;
  }

  /**
   * 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;
  //  }
  /**
   * 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 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(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);
//  }

  public void setupHTMLDocumentPartitioner(IDocument document, String partitioning, Object element) {
    IDocumentPartitioner partitioner = createDocumentPartitioner(".html");

    //		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 <code>null</code>.
   * 
   * @return the partition managing position categories or <code>null</code> 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.
	 * 
	 * @param event the event to be investigated
	 * @return <code>true</code> if event causes a behavioral change
	 * @since 2.0
	 * @deprecated As of 3.0, replaced by {@link org.eclipse.jdt.ui.text.JavaSourceViewerConfiguration#affectsTextPresentation(PropertyChangeEvent)}
	 */
//  public boolean affectsBehavior(PropertyChangeEvent 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.
   * 
   * @param event
   *          the event to which to adapt
   * @since 2.0
   */
  protected void adaptToPreferenceChange(PropertyChangeEvent event) {
    if (fCodeScanner.affectsBehavior(event))
      fCodeScanner.adaptToPreferenceChange(event);
    if (fMultilineCommentScanner.affectsBehavior(event))
      fMultilineCommentScanner.adaptToPreferenceChange(event);
    if (fSinglelineCommentScanner.affectsBehavior(event))
      fSinglelineCommentScanner.adaptToPreferenceChange(event);
//    if (fStringScanner.affectsBehavior(event))
//      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);
//    if (XMLPlugin.getDefault().getXMLTextTools().affectsBehavior(event)) {
//      XMLPlugin.getDefault().getXMLTextTools().adaptToPreferenceChange(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;
	}
}