/* * Created on 09.08.2003 * */ package net.sourceforge.phpdt.internal.ui.util; import java.util.ArrayList; import java.util.StringTokenizer; import net.sourceforge.phpeclipse.PHPeclipsePlugin; import org.eclipse.core.resources.IFile; import org.eclipse.jface.preference.IPreferenceStore; /** * @author khartlage * */ public class PHPFileUtil { private static String[] PHP_EXTENSIONS = null; // { // "php", // "php3", // "php4", // "php5", // "phtml", // "module", // drupal // "inc", // "class" // }; // public final static String[] HTML_EXTENSIONS = { // "html", // "htm", // "xhtml" // }; public final static String[] SMARTY_EXTENSIONS = { "tpl" }; public static boolean isPHPFile(IFile file) { String extension = file.getFileExtension(); return isPHPFileName(file.getLocation().toString()); } public final static String getFileExtension(String name) { int index = name.lastIndexOf('.'); if (index == -1) return null; if (index == (name.length() - 1)) return null; //$NON-NLS-1$ return name.substring(index + 1); } /** * Returns true iff str.toLowerCase().endsWith(".php") implementation is not creating extra strings. */ public final static boolean isPHPFileName(String name) { String extension = getFileExtension(name); if (extension == null) { return false; } extension = extension.toLowerCase(); PHP_EXTENSIONS = getExtensions(); if (PHP_EXTENSIONS == null) { return false; } for (int i = 0; i < PHP_EXTENSIONS.length; i++) { if (extension.equals(PHP_EXTENSIONS[i])) { return true; } } return false; } /** * Returns true iff str.toLowerCase().endsWith(".html") implementation is not creating extra strings. */ // public final static boolean isHTML_FileName(String name) { // String extension = getFileExtension(name); // if (extension==null) { // return false; // } // extension = extension.toLowerCase(); // for (int i=0;i= 1) { list.add(token); } } if (list.size() != 0) { PHP_EXTENSIONS = new String[list.size()]; for (int i = 0; i < list.size(); i++) { PHP_EXTENSIONS[i] = (String) list.get(i); } } } } return PHP_EXTENSIONS; } /** * @param php_extensions * The PHP extensions to set. */ public static void setExtensins(String[] php_extensions) { PHP_EXTENSIONS = php_extensions; } }