From d42cbfb9d09cb95850aa113dfc48f1d81a2d5c9f Mon Sep 17 00:00:00 2001 From: axelcl Date: Tue, 3 May 2005 10:32:54 +0000 Subject: [PATCH] *** empty log message *** --- .../phpeclipse/phpeditor/php/PHPPartition.java | 82 -------------------- .../phpeditor/php/PHPPartition_delete_it.java | 82 ++++++++++++++++++++ 2 files changed, 82 insertions(+), 82 deletions(-) delete mode 100644 net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/php/PHPPartition.java create mode 100644 net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/php/PHPPartition_delete_it.java diff --git a/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/php/PHPPartition.java b/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/php/PHPPartition.java deleted file mode 100644 index bbb45e4..0000000 --- a/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/php/PHPPartition.java +++ /dev/null @@ -1,82 +0,0 @@ -/* - * Created on 28.04.2003 - * - */ -package net.sourceforge.phpeclipse.phpeditor.php; - -import net.sourceforge.phpdt.internal.ui.text.*; - -import org.eclipse.jface.text.IDocument; - -/** - * @author slanger - * @version $Revision: 1.4 $ - */ -public class PHPPartition extends Partition -{ - private boolean fShortTagsEnabled = true; - - /** - * @param document - * @param delim - * @param contentType - * @param parentPartition - */ - public PHPPartition(IDocument document, String parentPartition) - { - super( - document, - new char[] { '<', '>' }, - IPHPPartitions.PHP_PARTITIONING, - parentPartition); - } - - - - /* (non-Javadoc) - * @see net.sourceforge.phpeclipse.phpeditor.php.Partition#allowedPartition(java.lang.String) - */ - protected boolean allowedPartition(String type) - { - if(type.equals(IPHPPartitions.PHP_PHPDOC_COMMENT)) - return true; - - return false; - } - - /* (non-Javadoc) - * @see net.sourceforge.phpeclipse.phpeditor.php.Partition#scan() - */ - protected boolean scan() - { - int ch; - if(fShortTagsEnabled && checkPattern("", true)) - { - int offset = getOffset(); - if(checkPattern("/*", true)) - { - unread(2); - return; - } - } - } -} diff --git a/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/php/PHPPartition_delete_it.java b/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/php/PHPPartition_delete_it.java new file mode 100644 index 0000000..3938769 --- /dev/null +++ b/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/php/PHPPartition_delete_it.java @@ -0,0 +1,82 @@ +/* + * Created on 28.04.2003 + * + */ +package net.sourceforge.phpeclipse.phpeditor.php; + +import net.sourceforge.phpdt.internal.ui.text.*; + +import org.eclipse.jface.text.IDocument; + +/** + * @author slanger + * @version $Revision: 1.1 $ + */ +public class PHPPartition_delete_it extends Partition +{ + private boolean fShortTagsEnabled = true; + + /** + * @param document + * @param delim + * @param contentType + * @param parentPartition + */ + public PHPPartition_delete_it(IDocument document, String parentPartition) + { + super( + document, + new char[] { '<', '>' }, + IPHPPartitions.PHP_PARTITIONING, + parentPartition); + } + + + + /* (non-Javadoc) + * @see net.sourceforge.phpeclipse.phpeditor.php.Partition#allowedPartition(java.lang.String) + */ + protected boolean allowedPartition(String type) + { + if(type.equals(IPHPPartitions.PHP_PHPDOC_COMMENT)) + return true; + + return false; + } + + /* (non-Javadoc) + * @see net.sourceforge.phpeclipse.phpeditor.php.Partition#scan() + */ + protected boolean scan() + { + int ch; + if(fShortTagsEnabled && checkPattern("", true)) + { + int offset = getOffset(); + if(checkPattern("/*", true)) + { + unread(2); + return; + } + } + } +} -- 1.7.1