[13] | 1 | package com.framsticks.framclipse.editors.hover;
|
---|
| 2 |
|
---|
| 3 | import java.util.List;
|
---|
| 4 |
|
---|
| 5 | import org.eclipse.jface.internal.text.html.BrowserInformationControl;
|
---|
| 6 | import org.eclipse.jface.internal.text.html.HTMLTextPresenter;
|
---|
[56] | 7 | import org.eclipse.jface.resource.JFaceResources;
|
---|
[13] | 8 | import org.eclipse.jface.text.AbstractReusableInformationControlCreator;
|
---|
| 9 | import org.eclipse.jface.text.BadLocationException;
|
---|
| 10 | import org.eclipse.jface.text.DefaultInformationControl;
|
---|
| 11 | import org.eclipse.jface.text.IDocument;
|
---|
| 12 | import org.eclipse.jface.text.IInformationControl;
|
---|
| 13 | import org.eclipse.jface.text.IInformationControlCreator;
|
---|
| 14 | import org.eclipse.jface.text.IInformationControlExtension4;
|
---|
| 15 | import org.eclipse.jface.text.IRegion;
|
---|
| 16 | import org.eclipse.jface.text.ITextHover;
|
---|
| 17 | import org.eclipse.jface.text.ITextHoverExtension;
|
---|
| 18 | import org.eclipse.jface.text.ITextViewer;
|
---|
| 19 | import org.eclipse.jface.text.Region;
|
---|
| 20 | import org.eclipse.jface.text.information.IInformationProviderExtension2;
|
---|
| 21 | import org.eclipse.swt.SWT;
|
---|
| 22 | import org.eclipse.swt.widgets.Shell;
|
---|
| 23 | import org.eclipse.ui.editors.text.EditorsUI;
|
---|
| 24 | import org.jdom.Document;
|
---|
| 25 | import org.jdom.Element;
|
---|
| 26 | import org.jdom.JDOMException;
|
---|
| 27 | import org.jdom.xpath.XPath;
|
---|
| 28 |
|
---|
| 29 | import com.framsticks.framclipse.Framclipse;
|
---|
| 30 | import com.framsticks.framclipse.editors.codeCompletion.SyntaxUtils;
|
---|
| 31 |
|
---|
| 32 |
|
---|
| 33 | public class FramscriptTextHover implements ITextHover, ITextHoverExtension, IInformationProviderExtension2 {
|
---|
| 34 |
|
---|
| 35 | private static final class PresenterControlCreator extends AbstractReusableInformationControlCreator {
|
---|
| 36 |
|
---|
| 37 | public IInformationControl doCreateInformationControl(Shell parent) {
|
---|
[56] | 38 | // int shellStyle= SWT.RESIZE | SWT.TOOL;
|
---|
| 39 | // int style= SWT.V_SCROLL | SWT.H_SCROLL;
|
---|
| 40 | // if (BrowserInformationControl.isAvailable(parent)) {
|
---|
| 41 | // return new BrowserInformationControl(parent, JFaceResources.DIALOG_FONT, true);
|
---|
| 42 | // return new BrowserInformationControl(parent, shellStyle, style);
|
---|
| 43 | // } else
|
---|
| 44 | // return new DefaultInformationControl(parent, shellStyle, style, new HTMLTextPresenter(false));
|
---|
| 45 | return new DefaultInformationControl(parent, true);
|
---|
[13] | 46 | }
|
---|
| 47 | }
|
---|
| 48 |
|
---|
| 49 | private static final class HoverControlCreator extends AbstractReusableInformationControlCreator {
|
---|
| 50 |
|
---|
| 51 | public IInformationControl doCreateInformationControl(Shell parent) {
|
---|
[56] | 52 | // if (BrowserInformationControl.isAvailable(parent)) {
|
---|
| 53 | // return new BrowserInformationControl(parent, JFaceResources.DIALOG_FONT, true);
|
---|
| 54 | // return new BrowserInformationControl(parent, SWT.TOOL | SWT.NO_TRIM, SWT.NONE, EditorsUI.getTooltipAffordanceString());
|
---|
| 55 | // } else {
|
---|
| 56 | // return new DefaultInformationControl(parent, SWT.NONE, new HTMLTextPresenter(true), EditorsUI.getTooltipAffordanceString());
|
---|
| 57 | return new DefaultInformationControl(parent, true);
|
---|
| 58 | // }
|
---|
[13] | 59 | }
|
---|
| 60 |
|
---|
| 61 | /*
|
---|
| 62 | * @see org.eclipse.jdt.internal.ui.text.java.hover.AbstractReusableInformationControlCreator#canReuse(org.eclipse.jface.text.IInformationControl)
|
---|
| 63 | */
|
---|
| 64 | public boolean canReuse(IInformationControl control) {
|
---|
| 65 | if (!super.canReuse(control))
|
---|
| 66 | return false;
|
---|
| 67 |
|
---|
| 68 | if (control instanceof IInformationControlExtension4)
|
---|
| 69 | ((IInformationControlExtension4)control).setStatusText(EditorsUI.getTooltipAffordanceString());
|
---|
| 70 |
|
---|
| 71 | return true;
|
---|
| 72 | }
|
---|
| 73 | }
|
---|
| 74 |
|
---|
| 75 |
|
---|
| 76 |
|
---|
| 77 | private static final int DESCRIPTION_LENGTH = 60;
|
---|
| 78 |
|
---|
| 79 | private IInformationControlCreator fHoverControlCreator;
|
---|
| 80 |
|
---|
| 81 | private IInformationControlCreator fPresenterControlCreator;
|
---|
| 82 |
|
---|
| 83 | public IInformationControlCreator getInformationPresenterControlCreator() {
|
---|
| 84 | if (fPresenterControlCreator == null)
|
---|
| 85 | fPresenterControlCreator= new PresenterControlCreator();
|
---|
| 86 | return fPresenterControlCreator;
|
---|
| 87 | }
|
---|
| 88 |
|
---|
| 89 | public IInformationControlCreator getHoverControlCreator() {
|
---|
| 90 | if (fHoverControlCreator == null)
|
---|
| 91 | fHoverControlCreator= new HoverControlCreator();
|
---|
| 92 | return fHoverControlCreator;
|
---|
| 93 | }
|
---|
| 94 |
|
---|
| 95 | public String getHoverInfo(ITextViewer textViewer, IRegion hoverRegion) {
|
---|
| 96 | int offset = hoverRegion.getOffset() + hoverRegion.getLength();
|
---|
| 97 | IDocument document = textViewer.getDocument();
|
---|
| 98 |
|
---|
| 99 | List<String> elements = SyntaxUtils.getElementsAt(document, offset);
|
---|
| 100 |
|
---|
| 101 | if (elements.size() == 0) {
|
---|
| 102 | return null;
|
---|
| 103 | }
|
---|
| 104 |
|
---|
| 105 | String name = elements.remove(elements.size() - 1);
|
---|
| 106 | String elementFormat = "%s[@" + SyntaxUtils.NAME_ATTRIBUTE + "='%s']/";
|
---|
| 107 | String query = SyntaxUtils.ROOT + "/";
|
---|
| 108 |
|
---|
| 109 | if (elements.size() == 0) {
|
---|
| 110 | query += String.format(elementFormat, SyntaxUtils.TYPE_ELEMENT, name);
|
---|
| 111 | } else { // elements.size() > 1
|
---|
| 112 | String parent;
|
---|
| 113 | try {
|
---|
| 114 | parent = SyntaxUtils.getLastElementType(elements);
|
---|
| 115 | } catch (JDOMException e) {
|
---|
| 116 | e.printStackTrace();
|
---|
| 117 | return null;
|
---|
| 118 | }
|
---|
| 119 | query += String.format(elementFormat, SyntaxUtils.TYPE_ELEMENT, parent)
|
---|
| 120 | + String.format(elementFormat, SyntaxUtils.ELEMENT_ELEMENT, name);
|
---|
| 121 | }
|
---|
| 122 | query += SyntaxUtils.DESCRIPTION_ELEMENT;
|
---|
| 123 |
|
---|
| 124 | Document syntax = Framclipse.getDefault().getFramscriptSyntax();
|
---|
| 125 | try {
|
---|
| 126 | XPath xpath = XPath.newInstance(query);
|
---|
| 127 | Element element = (Element) xpath.selectSingleNode(syntax);
|
---|
| 128 | if (element == null) {
|
---|
| 129 | return null;
|
---|
| 130 | }
|
---|
| 131 |
|
---|
| 132 | return formatDescription(element.getValue());
|
---|
| 133 | } catch (Exception e) {
|
---|
| 134 | e.printStackTrace();
|
---|
| 135 | }
|
---|
| 136 |
|
---|
| 137 | return null;
|
---|
| 138 | }
|
---|
| 139 |
|
---|
| 140 | public IRegion getHoverRegion(ITextViewer textViewer, int offset) {
|
---|
| 141 | IDocument document = textViewer.getDocument();
|
---|
| 142 | String after = SyntaxUtils.getElementAfter(document, offset);
|
---|
| 143 |
|
---|
| 144 | int line = 0;
|
---|
| 145 | try {
|
---|
| 146 | line = document.getLineOfOffset(offset);
|
---|
| 147 | } catch (BadLocationException e) {
|
---|
| 148 | e.printStackTrace();
|
---|
| 149 | }
|
---|
| 150 |
|
---|
| 151 | int lineStart = offset;
|
---|
| 152 | try {
|
---|
| 153 | lineStart = document.getLineInformation(line).getOffset();
|
---|
| 154 | } catch (BadLocationException e) {
|
---|
| 155 | e.printStackTrace();
|
---|
| 156 | }
|
---|
| 157 | IRegion region = new Region(lineStart, offset + after.length() - lineStart);
|
---|
| 158 |
|
---|
| 159 | return region;
|
---|
| 160 | }
|
---|
| 161 |
|
---|
| 162 | private static String formatDescription(String description) {
|
---|
| 163 | String result = "";
|
---|
| 164 | int offset = 0;
|
---|
| 165 | while (offset < description.length()) {
|
---|
| 166 | int length = DESCRIPTION_LENGTH;
|
---|
| 167 | if (offset + length > description.length()) {
|
---|
| 168 | result += description.substring(offset);
|
---|
| 169 | return result;
|
---|
| 170 | }
|
---|
| 171 |
|
---|
| 172 | for (int i = length; i > 0; i--) {
|
---|
| 173 | if (Character.isWhitespace(description.charAt(offset + i))) {
|
---|
| 174 | length = i;
|
---|
| 175 | i = 0;
|
---|
| 176 | }
|
---|
| 177 | }
|
---|
| 178 |
|
---|
| 179 | result += description.substring(offset, offset + length) + "\n";
|
---|
| 180 | offset += length + 1;
|
---|
| 181 | }
|
---|
| 182 | return result;
|
---|
| 183 | }
|
---|
| 184 | }
|
---|