import java.io.IOException;
import java.io.InputStream;
import java.net.URL;
+import java.util.Arrays;
import java.util.ArrayList;
import java.util.zip.ZipEntry;
import java.util.zip.ZipFile;
+import net.sourceforge.phpeclipse.phpmanual.PHPManualUiMessages;
+//import net.sourceforge.phpdt.internal.debug.ui.PHPDebugUiMessages;
import net.sourceforge.phpdt.internal.ui.text.JavaWordFinder;
import net.sourceforge.phpdt.internal.ui.viewsupport.ISelectionListenerWithAST;
import net.sourceforge.phpdt.internal.ui.viewsupport.SelectionListenerWithASTManager;
*/
public void createPartControl(Composite parent) {
browser = new Browser(parent, SWT.NONE);
- browser.addLocationListener(new LocationAdapter(){
- public void changing(LocationEvent event){
+ browser.addLocationListener(new LocationAdapter() {
+ public void changing(LocationEvent event) {
String loc = event.location.toString();
- if(!loc.equalsIgnoreCase("about:blank")){
- String func = loc.replace("file:///", "");
+ if(!loc.equalsIgnoreCase("about:blank") && !loc.startsWith("jar:")) {
+ String func = loc.replaceAll("file:///", "");
func = func.replaceAll("#.+$", "");
String[] afunc = loc.split("\\.");
if(!afunc[1].equalsIgnoreCase(lastOccurrence)) {
lastOccurrence = afunc[1];
- // TODO find a better way of not showing the location error page. This is a cheap trick
- // to keep the page from showing.
- // ed_mann
- browser.setText("<html></html>");
- showLinkReference(func);
+ showReference(func);
+ event.doit = false;
}
}
}
getSite().getWorkbenchWindow().getSelectionService()
.addPostSelectionListener(PHPeclipsePlugin.EDITOR_ID, this);
}
-
/**
* Cleanup to remove the selection listener
*/
if (part != null && !((PHPEditor)part).equals(lastEditor)) {
SelectionListenerWithASTManager.getDefault().addListener((PHPEditor)part, this);
lastEditor = (PHPEditor)part;
- } else {
- System.out.println(part);
}
}
}
/**
- * Updates the browser with the reference page for a given function
- *
- * @param funcName Function name
- */
- private void showLinkReference(final String funcName) {
- new Thread(new Runnable() {
- public void run() {
- Display.getDefault().asyncExec(new Runnable() {
- public void run() {
- String html = getLinkHtmlSource(funcName);
- browser.setText(html);
- }
- });
- }
- }).start();
- }
-
- /**
- * Filters the function's reference page extracting only parts of it
- *
- * @param source HTML source of the reference page
- * @return HTML source of reference page
- */
- private String filterIniHtmlSource(String source) {
- try {
- Parser parser = new Parser(source);
- String [] tagsToBeFound = {"DIV"};
- ArrayList classList = new ArrayList(8);
- classList.add("section");
- classList.add("title");
- classList.add("refsect1 parameters");
- classList.add("refsect1 returnvalues");
- classList.add("refsect1 examples");
- classList.add("refsect1 seealso");
- classList.add("refsect1 u");
- TagFindingVisitor visitor = new TagFindingVisitor(tagsToBeFound);
- parser.visitAllNodesWith(visitor);
- Node [] allPTags = visitor.getTags(0);
- StringBuffer output = new StringBuffer();
- for (int i = 0; i < allPTags.length; i++) {
- String tagClass = ((Div)allPTags[i]).getAttribute("class");
- if (classList.contains(tagClass)) {
- output.append(allPTags[i].toHtml());
- }
- }
- return output.toString().replaceAll("—", "-");
- //.replace("<h3 class=\"title\">Description</h3>", " ");
- } catch (ParserException e) {
- e.printStackTrace();
- }
- return "";
- }
-
- /**
- * Filters the function's reference page extracting only parts of it
- *
- * @param source HTML source of the reference page
- * @return HTML source of reference page
- */
- private String filterLangHtmlSource(String source) {
- try {
- Parser parser = new Parser(source);
- String [] tagsToBeFound = {"DIV"};
- ArrayList classList = new ArrayList(8);
- classList.add("sect1");
- classList.add("title");
- classList.add("refsect1 parameters");
- classList.add("refsect1 returnvalues");
- classList.add("refsect1 examples");
- classList.add("refsect1 seealso");
- classList.add("refsect1 u");
- TagFindingVisitor visitor = new TagFindingVisitor(tagsToBeFound);
- parser.visitAllNodesWith(visitor);
- Node [] allPTags = visitor.getTags(0);
- StringBuffer output = new StringBuffer();
- for (int i = 0; i < allPTags.length; i++) {
- String tagClass = ((Div)allPTags[i]).getAttribute("class");
- if (classList.contains(tagClass)) {
- output.append(allPTags[i].toHtml());
- }
- }
- return output.toString().replaceAll("—", "-");
- //.replace("<h3 class=\"title\">Description</h3>", " ");
- } catch (ParserException e) {
- e.printStackTrace();
- }
- return "";
- }
-
- /**
- * Filters the function's reference page extracting only parts of it
- *
- * @param source HTML source of the reference page
- * @return HTML source of reference page
- */
- private String filterRefHtmlSource(String source) {
- try {
- Parser parser = new Parser(source);
- String [] tagsToBeFound = {"DIV"};
- ArrayList classList = new ArrayList(8);
- classList.add("partintro");
- classList.add("section");
- classList.add("title");
- classList.add("refsect1 parameters");
- classList.add("refsect1 returnvalues");
- classList.add("refsect1 examples");
- classList.add("refsect1 seealso");
- classList.add("refsect1 u");
- TagFindingVisitor visitor = new TagFindingVisitor(tagsToBeFound);
- parser.visitAllNodesWith(visitor);
- Node [] allPTags = visitor.getTags(0);
- StringBuffer output = new StringBuffer();
- for (int i = 0; i < allPTags.length; i++) {
- String tagClass = ((Div)allPTags[i]).getAttribute("class");
- if (classList.contains(tagClass)) {
- output.append(allPTags[i].toHtml());
- }
- }
- return output.toString().replaceAll("—", "-");
- //.replace("<h3 class=\"title\">Description</h3>", " ");
- } catch (ParserException e) {
- e.printStackTrace();
- }
- return "";
- }
-
- /**
* Filters the function's reference page extracting only parts of it
*
* @param source HTML source of the reference page
private String filterHtmlSource(String source) {
try {
Parser parser = new Parser(source);
- String [] tagsToBeFound = {"DIV"};
- ArrayList classList = new ArrayList(8);
- classList.add("refnamediv");
- classList.add("refsect1 description");
- classList.add("refsect1 parameters");
- classList.add("refsect1 returnvalues");
- classList.add("refsect1 examples");
- classList.add("refsect1 seealso");
- classList.add("refsect1 u");
+ String[] tagsToBeFound = { "DIV" };
+ // Common classes to be included for all page types
+ ArrayList classList = new ArrayList(Arrays.asList(new String[] {
+ "section", "sect1", "title", "partintro", "refnamediv",
+ "refsect1 description", "refsect1 parameters",
+ "refsect1 returnvalues", "refsect1 examples",
+ "refsect1 seealso", "refsect1 u", "example-contents" }));
+ // Grab all the tags for processing
TagFindingVisitor visitor = new TagFindingVisitor(tagsToBeFound);
parser.visitAllNodesWith(visitor);
Node [] allPTags = visitor.getTags(0);
* @return HTML source of reference page
*/
public String getHtmlSource(String funcName) {
- Bundle bundle = Platform.getBundle(PHPHelpPlugin.PLUGIN_ID);
- URL fileURL = FileLocator.find(bundle, docPath, null);
- ZipEntry entry;
- byte[] b = null;
- try {
- URL resolve = FileLocator.resolve(fileURL);
- ZipFile docFile = new ZipFile(resolve.getPath());
- entry = docFile.getEntry("doc/function."+funcName.replace('_', '-')+".html");
- if(entry == null){
- entry = docFile.getEntry("doc/ini."+funcName.replace('_', '-')+".html");
- }
- InputStream ref = docFile.getInputStream(entry);
- b = new byte[(int)entry.getSize()];
- ref.read(b, 0, (int)entry.getSize());
- if (b != null) {
- String reference = filterHtmlSource(new String(b));
- String refPageTpl = getRefPageTemplate();
- refPageTpl = refPageTpl.replaceAll("%title%", funcName);
- refPageTpl = replace(refPageTpl, "%reference%", reference);
- return refPageTpl;
- }
- } catch (IOException e) {
- return "<html></html>";
- } catch (Exception e) {
+ if (funcName.length() == 0) {
+ // Don't bother ;-)
return null;
}
- return "<html></html>";
- }
-
- /**
- * Looks for the function's reference page inside the doc.zip file and
- * returns a filtered HTML source of it embedded in the template
- *
- * @param funcName
- * Function name
- * @return HTML source of reference page
- */
- public String getLinkHtmlSource(String funcName) {
Bundle bundle = Platform.getBundle(PHPHelpPlugin.PLUGIN_ID);
URL fileURL = FileLocator.find(bundle, docPath, null);
- ZipEntry entry;
+ ZipEntry entry = null;
+ // List of prefixes to lookup HTML files by, ordered so that looping
+ // is as minimal as possible. The empty value matches links passed,
+ // rather than function
+ String[] prefixes = { "", "function", "control-structures", "ref", "http", "imagick", "ming" };
byte[] b = null;
+ if (funcName.matches("^[a-z-]+\\.[a-z-0-9]+\\.html$")) {
+ // funcName is actually a page reference, strip the prefix and suffix
+ funcName = funcName.substring(0, funcName.lastIndexOf('.'));
+ }
try {
URL resolve = FileLocator.resolve(fileURL);
ZipFile docFile = new ZipFile(resolve.getPath());
- entry = docFile.getEntry("doc/"+funcName);
- InputStream ref = docFile.getInputStream(entry);
- b = new byte[(int)entry.getSize()];
- ref.read(b, 0, (int)entry.getSize());
- if (b != null) {
- String reference = null;
- String aFuncName = funcName.toString();
- if(aFuncName.startsWith("function")){
- reference = filterHtmlSource(new String(b));
- } else if (aFuncName.startsWith("ini")){
- reference = filterIniHtmlSource(new String(b));
- } else if (aFuncName.startsWith("install")){
- reference = filterIniHtmlSource(new String(b));
- } else if (aFuncName.startsWith("language")){
- reference = filterLangHtmlSource(new String(b));
- } else if (aFuncName.startsWith("ref")){
- reference = filterRefHtmlSource(new String(b));
+ for (int i = 0; i < prefixes.length; i++) {
+ if ((entry = docFile.getEntry("doc/" + prefixes[i] +
+ (prefixes[i].length() == 0 ? "" : ".") +
+ funcName.replace('_', '-') + ".html")) != null) {
+ // Document was matched
+ InputStream ref = docFile.getInputStream(entry);
+ b = new byte[(int)entry.getSize()];
+ ref.read(b, 0, (int)entry.getSize());
+ if (b != null) {
+ String reference = filterHtmlSource(new String(b));
+ String refPageTpl = getRefPageTemplate();
+ refPageTpl = refPageTpl.replaceAll("%title%", funcName);
+ refPageTpl = replace(refPageTpl, "%reference%", reference);
+ return refPageTpl;
+ }
}
- String refPageTpl = getRefPageTemplate();
- refPageTpl = refPageTpl.replaceAll("%title%", funcName);
- refPageTpl = replace(refPageTpl, "%reference%", reference);
- return refPageTpl;
}
} catch (IOException e) {
- return "<html></html>";
+ return "<html>" + PHPManualUIPlugin.getString("LookupException") + "</html>";
} catch (Exception e) {
return null;
}
- return "<html></html>";
+ return null; // Keeps the last reference
}
+
/**
* Returns the currently active java editor, or <code>null</code> if it
* cannot be determined.
git://git.phpeclipse.com / phpeclipse.git / blobdiff