-/*\r
-GNU Lesser General Public License\r
-\r
-HTMLUtilities - Special Utility Functions For Ekit\r
-Copyright (C) 2003 Rafael Cieplinski, modified by Howard Kistler\r
-\r
-This library is free software; you can redistribute it and/or\r
-modify it under the terms of the GNU Lesser General Public\r
-License as published by the Free Software Foundation; either\r
-version 2.1 of the License, or (at your option) any later version.\r
-\r
-This library is distributed in the hope that it will be useful,\r
-but WITHOUT ANY WARRANTY; without even the implied warranty of\r
-MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU\r
-Lesser General Public License for more details.\r
-\r
-You should have received a copy of the GNU Lesser General Public\r
-License along with this library; if not, write to the Free Software\r
-Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA\r
-*/\r
-\r
-package com.hexidec.ekit.component;\r
-\r
-import java.io.*;\r
-import java.lang.reflect.*;\r
-import java.util.*;\r
-import javax.swing.*;\r
-import javax.swing.text.*;\r
-import javax.swing.text.html.*;\r
-\r
-import com.hexidec.ekit.EkitCore;\r
-import com.hexidec.ekit.component.*;\r
-\r
-public class HTMLUtilities\r
-{\r
- EkitCore parent;\r
- Hashtable tags = new Hashtable();\r
-\r
- public HTMLUtilities(EkitCore newParent)\r
- {\r
- parent = newParent;\r
- HTML.Tag[] tagList = HTML.getAllTags();\r
- for(int i = 0; i < tagList.length; i++)\r
- {\r
- tags.put(tagList[i].toString(), tagList[i]);\r
- }\r
-/*\r
- HTML.Tag classTag = new HTML.Tag();\r
- Field[] fields = classTag.getClass().getDeclaredFields();\r
- for(int i = 0; i < fields.length; i++)\r
- {\r
- try\r
- {\r
- System.out.println("Adding " + (String)fields[i].get(null).toString() + " => " + (HTML.Tag)fields[i].get(null));\r
- tags.put((String)fields[i].get(null).toString(), (HTML.Tag)fields[i].get(null));\r
- }\r
- catch (IllegalAccessException iae)\r
- {\r
- }\r
- }\r
-*/\r
- }\r
-\r
- /** Diese Methode fügt durch String-Manipulation in jtpSource\r
- * ein neues Listenelement hinzu, content ist dabei der Text der in dem neuen\r
- * Element stehen soll\r
- */\r
- public void insertListElement(String content)\r
- {\r
- int pos = parent.getCaretPosition();\r
- String source = parent.getSourcePane().getText();\r
- boolean hit = false;\r
- String idString;\r
- int counter = 0;\r
- do\r
- {\r
- hit = false;\r
- idString = "diesisteineidzumsuchenimsource" + counter;\r
- if(source.indexOf(idString) > -1)\r
- {\r
- counter++;\r
- hit = true;\r
- if(counter > 10000)\r
- {\r
- return;\r
- }\r
- }\r
- } while(hit);\r
- Element element = getListItemParent();\r
- if(element == null)\r
- {\r
- return;\r
- }\r
- SimpleAttributeSet sa = new SimpleAttributeSet(element.getAttributes());\r
- sa.addAttribute("id", idString);\r
- parent.getExtendedHtmlDoc().replaceAttributes(element, sa, HTML.Tag.LI);\r
- parent.refreshOnUpdate();\r
- source = parent.getSourcePane().getText();\r
- StringBuffer newHtmlString = new StringBuffer();\r
- int[] positions = getPositions(element, source, true, idString);\r
- newHtmlString.append(source.substring(0, positions[3]));\r
- newHtmlString.append("<li>");\r
- newHtmlString.append(content);\r
- newHtmlString.append("</li>");\r
- newHtmlString.append(source.substring(positions[3] + 1, source.length()));\r
- parent.getTextPane().setText(newHtmlString.toString());\r
- parent.refreshOnUpdate();\r
- parent.setCaretPosition(pos - 1);\r
- element = getListItemParent();\r
- sa = new SimpleAttributeSet(element.getAttributes());\r
- sa = removeAttributeByKey(sa, "id");\r
- parent.getExtendedHtmlDoc().replaceAttributes(element, sa, HTML.Tag.LI);\r
- }\r
-\r
- /** Diese Methode löscht durch Stringmanipulation in jtpSource das übergebene Element,\r
- * Alternative für removeElement in ExtendedHTMLDocument, mit closingTag wird angegeben\r
- * ob es ein schließenden Tag gibt\r
- */\r
- public void removeTag(Element element, boolean closingTag)\r
- {\r
- if(element == null)\r
- {\r
- return;\r
- }\r
- int pos = parent.getCaretPosition();\r
- HTML.Tag tag = getHTMLTag(element);\r
- // Versieht den Tag mit einer einmaligen ID\r
- String source = parent.getSourcePane().getText();\r
- boolean hit = false;\r
- String idString;\r
- int counter = 0;\r
- do\r
- {\r
- hit = false;\r
- idString = "diesisteineidzumsuchenimsource" + counter;\r
- if(source.indexOf(idString) > -1)\r
- {\r
- counter++;\r
- hit = true;\r
- if(counter > 10000)\r
- {\r
- return;\r
- }\r
- }\r
- } while(hit);\r
- SimpleAttributeSet sa = new SimpleAttributeSet(element.getAttributes());\r
- sa.addAttribute("id", idString);\r
- parent.getExtendedHtmlDoc().replaceAttributes(element, sa, tag);\r
- parent.refreshOnUpdate();\r
- source = parent.getSourcePane().getText();\r
- StringBuffer newHtmlString = new StringBuffer();\r
- int[] position = getPositions(element, source, closingTag, idString);\r
- if(position == null)\r
- {\r
- return;\r
- }\r
- for(int i = 0; i < position.length; i++)\r
- {\r
- if(position[i] < 0)\r
- {\r
- return;\r
- }\r
- }\r
- int beginStartTag = position[0];\r
- int endStartTag = position[1];\r
- if(closingTag)\r
- {\r
- int beginEndTag = position[2];\r
- int endEndTag = position[3];\r
- newHtmlString.append(source.substring(0, beginStartTag));\r
- newHtmlString.append(source.substring(endStartTag, beginEndTag));\r
- newHtmlString.append(source.substring(endEndTag, source.length()));\r
- }\r
- else\r
- {\r
- newHtmlString.append(source.substring(0, beginStartTag));\r
- newHtmlString.append(source.substring(endStartTag, source.length()));\r
- }\r
- parent.getTextPane().setText(newHtmlString.toString());\r
- parent.refreshOnUpdate();\r
- }\r
-\r
- /** Diese Methode gibt jeweils den Start- und Endoffset des Elements\r
- * sowie dem entsprechenden schließenden Tag zurück\r
- */\r
- private int[] getPositions(Element element, String source, boolean closingTag, String idString)\r
- {\r
- HTML.Tag tag = getHTMLTag(element);\r
- int[] position = new int[4];\r
- for(int i = 0; i < position.length; i++)\r
- {\r
- position[i] = -1;\r
- }\r
- String searchString = "<" + tag.toString();\r
- int caret = -1; // aktuelle Position im sourceString\r
- if((caret = source.indexOf(idString)) != -1)\r
- {\r
- position[0] = source.lastIndexOf("<",caret);\r
- position[1] = source.indexOf(">",caret)+1;\r
- }\r
- if(closingTag)\r
- {\r
- String searchEndTagString = "</" + tag.toString() + ">";\r
- int hitUp = 0;\r
- int beginEndTag = -1;\r
- int endEndTag = -1;\r
- caret = position[1];\r
- boolean end = false;\r
- // Position des 1. Treffer auf den End-Tag wird bestimmt\r
- beginEndTag = source.indexOf(searchEndTagString, caret);\r
- endEndTag = beginEndTag + searchEndTagString.length();\r
- // Schleife läuft solange, bis keine neuen StartTags mehr gefunden werden\r
- int interncaret = position[1];\r
- do\r
- {\r
- int temphitpoint = -1;\r
- boolean flaghitup = false;\r
- // Schleife sucht zwischen dem Start- und End-Tag nach neuen Start-Tags\r
- hitUp = 0;\r
- do\r
- {\r
- flaghitup = false;\r
- temphitpoint = source.indexOf(searchString, interncaret);\r
- if(temphitpoint > 0 && temphitpoint < beginEndTag)\r
- {\r
- hitUp++;\r
- flaghitup = true;\r
- interncaret = temphitpoint + searchString.length();\r
- }\r
- } while(flaghitup);\r
- // hitUp enthält die Anzahl der neuen Start-Tags\r
- if(hitUp == 0)\r
- {\r
- end = true;\r
- }\r
- else\r
- {\r
- for(int i = 1; i <= hitUp; i++)\r
- {\r
- caret = endEndTag;\r
- beginEndTag = source.indexOf(searchEndTagString, caret);\r
- endEndTag = beginEndTag + searchEndTagString.length();\r
- }\r
- end = false;\r
- }\r
- } while(!end);\r
- if(beginEndTag < 0 | endEndTag < 0)\r
- {\r
- return null;\r
- }\r
- position[2] = beginEndTag;\r
- position[3] = endEndTag;\r
- }\r
- return position;\r
- }\r
-\r
- /* Diese Methode prüft ob der übergebene Tag sich in der Hierachie nach oben befindet */\r
- public boolean checkParentsTag(HTML.Tag tag)\r
- {\r
- Element e = parent.getExtendedHtmlDoc().getParagraphElement(parent.getCaretPosition());\r
- String tagString = tag.toString();\r
- if(e.getName().equalsIgnoreCase(tag.toString()))\r
- {\r
- return true;\r
- }\r
- do\r
- {\r
- if((e = e.getParentElement()).getName().equalsIgnoreCase(tagString))\r
- {\r
- return true;\r
- }\r
- } while(!(e.getName().equalsIgnoreCase("html")));\r
- return false;\r
- }\r
-\r
- /* Diese Methoden geben das erste gefundende dem übergebenen tags entsprechende Element zurück */\r
- public Element getListItemParent()\r
- {\r
- String listItemTag = HTML.Tag.LI.toString();\r
- Element eleSearch = parent.getExtendedHtmlDoc().getCharacterElement(parent.getCaretPosition());\r
- do\r
- {\r
- if(listItemTag.equals(eleSearch.getName()))\r
- {\r
- return eleSearch;\r
- }\r
- eleSearch = eleSearch.getParentElement();\r
- } while(eleSearch.getName() != HTML.Tag.HTML.toString());\r
- return null;\r
- }\r
-\r
- /* Diese Methoden entfernen Attribute aus dem SimpleAttributeSet, gemäß den übergebenen Werten, und\r
- geben das Ergebnis als SimpleAttributeSet zurück*/\r
- public SimpleAttributeSet removeAttributeByKey(SimpleAttributeSet sourceAS, String removeKey)\r
- {\r
- SimpleAttributeSet temp = new SimpleAttributeSet();\r
- temp.addAttribute(removeKey, "NULL");\r
- return removeAttribute(sourceAS, temp);\r
- }\r
-\r
- public SimpleAttributeSet removeAttribute(SimpleAttributeSet sourceAS, SimpleAttributeSet removeAS)\r
- {\r
- try\r
- {\r
- String[] sourceKeys = new String[sourceAS.getAttributeCount()];\r
- String[] sourceValues = new String[sourceAS.getAttributeCount()];\r
- Enumeration sourceEn = sourceAS.getAttributeNames();\r
- int i = 0;\r
- while(sourceEn.hasMoreElements())\r
- {\r
- Object temp = new Object();\r
- temp = sourceEn.nextElement();\r
- sourceKeys[i] = (String) temp.toString();\r
- sourceValues[i] = new String();\r
- sourceValues[i] = (String) sourceAS.getAttribute(temp).toString();\r
- i++;\r
- }\r
- String[] removeKeys = new String[removeAS.getAttributeCount()];\r
- String[] removeValues = new String[removeAS.getAttributeCount()];\r
- Enumeration removeEn = removeAS.getAttributeNames();\r
- int j = 0;\r
- while(removeEn.hasMoreElements())\r
- {\r
- removeKeys[j] = (String) removeEn.nextElement().toString();\r
- removeValues[j] = (String) removeAS.getAttribute(removeKeys[j]).toString();\r
- j++;\r
- }\r
- SimpleAttributeSet result = new SimpleAttributeSet();\r
- boolean hit = false;\r
- for(int countSource = 0; countSource < sourceKeys.length; countSource++)\r
- {\r
- hit = false;\r
- if(sourceKeys[countSource] == "name" | sourceKeys[countSource] == "resolver")\r
- {\r
- hit = true;\r
- }\r
- else\r
- {\r
- for(int countRemove = 0; countRemove < removeKeys.length; countRemove++)\r
- {\r
- if(removeKeys[countRemove] != "NULL")\r
- {\r
- if(sourceKeys[countSource].toString() == removeKeys[countRemove].toString())\r
- {\r
- if(removeValues[countRemove] != "NULL")\r
- {\r
- if(sourceValues[countSource].toString() == removeValues[countRemove].toString())\r
- {\r
- hit = true;\r
- }\r
- }\r
- else if(removeValues[countRemove] == "NULL")\r
- {\r
- hit = true;\r
- }\r
- }\r
- }\r
- else if(removeKeys[countRemove] == "NULL")\r
- {\r
- if(sourceValues[countSource].toString() == removeValues[countRemove].toString())\r
- {\r
- hit = true;\r
- }\r
- }\r
- }\r
- }\r
- if(!hit)\r
- {\r
- result.addAttribute(sourceKeys[countSource].toString(), sourceValues[countSource].toString());\r
- }\r
- }\r
- return result;\r
- }\r
- catch (ClassCastException cce)\r
- {\r
- return null;\r
- }\r
- }\r
-\r
- /* liefert den entsprechenden HTML.Tag zum Element zurück */\r
- public HTML.Tag getHTMLTag(Element e)\r
- {\r
- if(tags.containsKey(e.getName()))\r
- {\r
- return (HTML.Tag)tags.get(e.getName());\r
- }\r
- else\r
- {\r
- return null;\r
- }\r
- }\r
-\r
- public String[] getUniString(int strings)\r
- {\r
- parent.refreshOnUpdate();\r
- String[] result = new String[strings];\r
- String source = parent.getSourcePane().getText();\r
- for(int i=0; i<strings; i++)\r
- {\r
- int start = -1, end = -1;\r
- boolean hit = false;\r
- String idString;\r
- int counter = 0;\r
- do\r
- {\r
- hit = false;\r
- idString = "diesisteineidzumsuchen" + counter + "#" + i;\r
- if(source.indexOf(idString) > -1)\r
- {\r
- counter++;\r
- hit = true;\r
- if(counter > 10000)\r
- {\r
- return null;\r
- }\r
- }\r
- } while(hit);\r
- result[i] = idString;\r
- }\r
- return result;\r
- }\r
-\r
- public void delete()\r
- throws BadLocationException,IOException\r
- {\r
- JTextPane jtpMain = parent.getTextPane();\r
- JTextPane jtpSource = parent.getSourcePane();\r
- ExtendedHTMLDocument htmlDoc = parent.getExtendedHtmlDoc();\r
- int selStart = jtpMain.getSelectionStart();\r
- int selEnd = jtpMain.getSelectionEnd();\r
- String[] posStrings = getUniString(2);\r
- if(posStrings == null)\r
- {\r
- return;\r
- }\r
- htmlDoc.insertString(selStart,posStrings[0],null);\r
- htmlDoc.insertString(selEnd+posStrings[0].length(),posStrings[1],null);\r
- parent.refreshOnUpdate();\r
- int start = jtpSource.getText().indexOf(posStrings[0]);\r
- int end = jtpSource.getText().indexOf(posStrings[1]);\r
- if(start == -1 || end == -1)\r
- {\r
- return;\r
- }\r
- String htmlString = new String();\r
- htmlString += jtpSource.getText().substring(0,start);\r
- htmlString += jtpSource.getText().substring(start + posStrings[0].length(), end);\r
- htmlString += jtpSource.getText().substring(end + posStrings[1].length(), jtpSource.getText().length());\r
- String source = htmlString;\r
- end = end - posStrings[0].length();\r
- htmlString = new String();\r
- htmlString += source.substring(0,start);\r
- htmlString += getAllTableTags(source.substring(start, end));\r
- htmlString += source.substring(end, source.length());\r
- parent.getTextPane().setText(htmlString);\r
- parent.refreshOnUpdate();\r
- }\r
-\r
- private String getAllTableTags(String source)\r
- throws BadLocationException,IOException\r
- {\r
- StringBuffer result = new StringBuffer();\r
- int caret = -1;\r
- do\r
- {\r
- caret++;\r
- int[] tableCarets = new int[6];\r
- tableCarets[0] = source.indexOf("<table",caret);\r
- tableCarets[1] = source.indexOf("<tr",caret);\r
- tableCarets[2] = source.indexOf("<td",caret);\r
- tableCarets[3] = source.indexOf("</table",caret);\r
- tableCarets[4] = source.indexOf("</tr",caret);\r
- tableCarets[5] = source.indexOf("</td",caret);\r
- java.util.Arrays.sort(tableCarets);\r
- caret = -1;\r
- for(int i=0; i<tableCarets.length; i++)\r
- {\r
- if(tableCarets[i] >= 0)\r
- {\r
- caret = tableCarets[i];\r
- break;\r
- }\r
- }\r
- if(caret != -1)\r
- {\r
- result.append(source.substring(caret,source.indexOf(">",caret)+1));\r
- }\r
- } while(caret != -1);\r
- return result.toString();\r
- }\r
-\r
+/*
+GNU Lesser General Public License
+
+HTMLUtilities - Special Utility Functions For Ekit
+Copyright (C) 2003 Rafael Cieplinski & Howard Kistler
+
+This library is free software; you can redistribute it and/or
+modify it under the terms of the GNU Lesser General Public
+License as published by the Free Software Foundation; either
+version 2.1 of the License, or (at your option) any later version.
+
+This library is distributed in the hope that it will be useful,
+but WITHOUT ANY WARRANTY; without even the implied warranty of
+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
+Lesser General Public License for more details.
+
+You should have received a copy of the GNU Lesser General Public
+License along with this library; if not, write to the Free Software
+Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
+*/
+
+package com.hexidec.ekit.component;
+
+import java.io.*;
+import java.lang.reflect.*;
+import java.util.*;
+import javax.swing.*;
+import javax.swing.text.*;
+import javax.swing.text.html.*;
+
+import com.hexidec.ekit.EkitCore;
+import com.hexidec.ekit.component.*;
+
+public class HTMLUtilities
+{
+ EkitCore parent;
+ Hashtable tags = new Hashtable();
+
+ public HTMLUtilities(EkitCore newParent)
+ {
+ parent = newParent;
+ HTML.Tag[] tagList = HTML.getAllTags();
+ for(int i = 0; i < tagList.length; i++)
+ {
+ tags.put(tagList[i].toString(), tagList[i]);
+ }
+/*
+ HTML.Tag classTag = new HTML.Tag();
+ Field[] fields = classTag.getClass().getDeclaredFields();
+ for(int i = 0; i < fields.length; i++)
+ {
+ try
+ {
+ System.out.println("Adding " + (String)fields[i].get(null).toString() + " => " + (HTML.Tag)fields[i].get(null));
+ tags.put((String)fields[i].get(null).toString(), (HTML.Tag)fields[i].get(null));
+ }
+ catch (IllegalAccessException iae)
+ {
+ }
+ }
+*/
+ }
+
+ /** Diese Methode fügt durch String-Manipulation in jtpSource
+ * ein neues Listenelement hinzu, content ist dabei der Text der in dem neuen
+ * Element stehen soll
+ */
+ public void insertListElement(String content)
+ {
+ int pos = parent.getCaretPosition();
+ String source = parent.getSourcePane().getText();
+ boolean hit = false;
+ String idString;
+ int counter = 0;
+ do
+ {
+ hit = false;
+ idString = "diesisteineidzumsuchenimsource" + counter;
+ if(source.indexOf(idString) > -1)
+ {
+ counter++;
+ hit = true;
+ if(counter > 10000)
+ {
+ return;
+ }
+ }
+ } while(hit);
+ Element element = getListItemParent();
+ if(element == null)
+ {
+ return;
+ }
+ SimpleAttributeSet sa = new SimpleAttributeSet(element.getAttributes());
+ sa.addAttribute("id", idString);
+ parent.getExtendedHtmlDoc().replaceAttributes(element, sa, HTML.Tag.LI);
+ parent.refreshOnUpdate();
+ source = parent.getSourcePane().getText();
+ StringBuffer newHtmlString = new StringBuffer();
+ int[] positions = getPositions(element, source, true, idString);
+ newHtmlString.append(source.substring(0, positions[3]));
+ newHtmlString.append("<li>");
+ newHtmlString.append(content);
+ newHtmlString.append("</li>");
+ newHtmlString.append(source.substring(positions[3] + 1, source.length()));
+ parent.getTextPane().setText(newHtmlString.toString());
+ parent.refreshOnUpdate();
+ parent.setCaretPosition(pos - 1);
+ element = getListItemParent();
+ sa = new SimpleAttributeSet(element.getAttributes());
+ sa = removeAttributeByKey(sa, "id");
+ parent.getExtendedHtmlDoc().replaceAttributes(element, sa, HTML.Tag.LI);
+ }
+
+ /** Diese Methode löscht durch Stringmanipulation in jtpSource das übergebene Element,
+ * Alternative für removeElement in ExtendedHTMLDocument, mit closingTag wird angegeben
+ * ob es ein schließenden Tag gibt
+ */
+ public void removeTag(Element element, boolean closingTag)
+ {
+ if(element == null)
+ {
+ return;
+ }
+ int pos = parent.getCaretPosition();
+ HTML.Tag tag = getHTMLTag(element);
+ // Versieht den Tag mit einer einmaligen ID
+ String source = parent.getSourcePane().getText();
+ boolean hit = false;
+ String idString;
+ int counter = 0;
+ do
+ {
+ hit = false;
+ idString = "diesisteineidzumsuchenimsource" + counter;
+ if(source.indexOf(idString) > -1)
+ {
+ counter++;
+ hit = true;
+ if(counter > 10000)
+ {
+ return;
+ }
+ }
+ } while(hit);
+ SimpleAttributeSet sa = new SimpleAttributeSet(element.getAttributes());
+ sa.addAttribute("id", idString);
+ parent.getExtendedHtmlDoc().replaceAttributes(element, sa, tag);
+ parent.refreshOnUpdate();
+ source = parent.getSourcePane().getText();
+ StringBuffer newHtmlString = new StringBuffer();
+ int[] position = getPositions(element, source, closingTag, idString);
+ if(position == null)
+ {
+ return;
+ }
+ for(int i = 0; i < position.length; i++)
+ {
+ if(position[i] < 0)
+ {
+ return;
+ }
+ }
+ int beginStartTag = position[0];
+ int endStartTag = position[1];
+ if(closingTag)
+ {
+ int beginEndTag = position[2];
+ int endEndTag = position[3];
+ newHtmlString.append(source.substring(0, beginStartTag));
+ newHtmlString.append(source.substring(endStartTag, beginEndTag));
+ newHtmlString.append(source.substring(endEndTag, source.length()));
+ }
+ else
+ {
+ newHtmlString.append(source.substring(0, beginStartTag));
+ newHtmlString.append(source.substring(endStartTag, source.length()));
+ }
+ parent.getTextPane().setText(newHtmlString.toString());
+ parent.refreshOnUpdate();
+ }
+
+ /** Diese Methode gibt jeweils den Start- und Endoffset des Elements
+ * sowie dem entsprechenden schließenden Tag zurück
+ */
+ private int[] getPositions(Element element, String source, boolean closingTag, String idString)
+ {
+ HTML.Tag tag = getHTMLTag(element);
+ int[] position = new int[4];
+ for(int i = 0; i < position.length; i++)
+ {
+ position[i] = -1;
+ }
+ String searchString = "<" + tag.toString();
+ int caret = -1; // aktuelle Position im sourceString
+ if((caret = source.indexOf(idString)) != -1)
+ {
+ position[0] = source.lastIndexOf("<",caret);
+ position[1] = source.indexOf(">",caret)+1;
+ }
+ if(closingTag)
+ {
+ String searchEndTagString = "</" + tag.toString() + ">";
+ int hitUp = 0;
+ int beginEndTag = -1;
+ int endEndTag = -1;
+ caret = position[1];
+ boolean end = false;
+ // Position des 1. Treffer auf den End-Tag wird bestimmt
+ beginEndTag = source.indexOf(searchEndTagString, caret);
+ endEndTag = beginEndTag + searchEndTagString.length();
+ // Schleife läuft solange, bis keine neuen StartTags mehr gefunden werden
+ int interncaret = position[1];
+ do
+ {
+ int temphitpoint = -1;
+ boolean flaghitup = false;
+ // Schleife sucht zwischen dem Start- und End-Tag nach neuen Start-Tags
+ hitUp = 0;
+ do
+ {
+ flaghitup = false;
+ temphitpoint = source.indexOf(searchString, interncaret);
+ if(temphitpoint > 0 && temphitpoint < beginEndTag)
+ {
+ hitUp++;
+ flaghitup = true;
+ interncaret = temphitpoint + searchString.length();
+ }
+ } while(flaghitup);
+ // hitUp enthält die Anzahl der neuen Start-Tags
+ if(hitUp == 0)
+ {
+ end = true;
+ }
+ else
+ {
+ for(int i = 1; i <= hitUp; i++)
+ {
+ caret = endEndTag;
+ beginEndTag = source.indexOf(searchEndTagString, caret);
+ endEndTag = beginEndTag + searchEndTagString.length();
+ }
+ end = false;
+ }
+ } while(!end);
+ if(beginEndTag < 0 | endEndTag < 0)
+ {
+ return null;
+ }
+ position[2] = beginEndTag;
+ position[3] = endEndTag;
+ }
+ return position;
+ }
+
+ /* Diese Methode prüft ob der übergebene Tag sich in der Hierachie nach oben befindet */
+ public boolean checkParentsTag(HTML.Tag tag)
+ {
+ Element e = parent.getExtendedHtmlDoc().getParagraphElement(parent.getCaretPosition());
+ String tagString = tag.toString();
+ if(e.getName().equalsIgnoreCase(tag.toString()))
+ {
+ return true;
+ }
+ do
+ {
+ if((e = e.getParentElement()).getName().equalsIgnoreCase(tagString))
+ {
+ return true;
+ }
+ } while(!(e.getName().equalsIgnoreCase("html")));
+ return false;
+ }
+
+ /* Diese Methoden geben das erste gefundende dem übergebenen tags entsprechende Element zurück */
+ public Element getListItemParent()
+ {
+ String listItemTag = HTML.Tag.LI.toString();
+ Element eleSearch = parent.getExtendedHtmlDoc().getCharacterElement(parent.getCaretPosition());
+ do
+ {
+ if(listItemTag.equals(eleSearch.getName()))
+ {
+ return eleSearch;
+ }
+ eleSearch = eleSearch.getParentElement();
+ } while(eleSearch.getName() != HTML.Tag.HTML.toString());
+ return null;
+ }
+
+ /* Diese Methoden entfernen Attribute aus dem SimpleAttributeSet, gemäß den übergebenen Werten, und
+ geben das Ergebnis als SimpleAttributeSet zurück*/
+ public SimpleAttributeSet removeAttributeByKey(SimpleAttributeSet sourceAS, String removeKey)
+ {
+ SimpleAttributeSet temp = new SimpleAttributeSet();
+ temp.addAttribute(removeKey, "NULL");
+ return removeAttribute(sourceAS, temp);
+ }
+
+ public SimpleAttributeSet removeAttribute(SimpleAttributeSet sourceAS, SimpleAttributeSet removeAS)
+ {
+ try
+ {
+ String[] sourceKeys = new String[sourceAS.getAttributeCount()];
+ String[] sourceValues = new String[sourceAS.getAttributeCount()];
+ Enumeration sourceEn = sourceAS.getAttributeNames();
+ int i = 0;
+ while(sourceEn.hasMoreElements())
+ {
+ Object temp = new Object();
+ temp = sourceEn.nextElement();
+ sourceKeys[i] = (String) temp.toString();
+ sourceValues[i] = new String();
+ sourceValues[i] = (String) sourceAS.getAttribute(temp).toString();
+ i++;
+ }
+ String[] removeKeys = new String[removeAS.getAttributeCount()];
+ String[] removeValues = new String[removeAS.getAttributeCount()];
+ Enumeration removeEn = removeAS.getAttributeNames();
+ int j = 0;
+ while(removeEn.hasMoreElements())
+ {
+ removeKeys[j] = (String) removeEn.nextElement().toString();
+ removeValues[j] = (String) removeAS.getAttribute(removeKeys[j]).toString();
+ j++;
+ }
+ SimpleAttributeSet result = new SimpleAttributeSet();
+ boolean hit = false;
+ for(int countSource = 0; countSource < sourceKeys.length; countSource++)
+ {
+ hit = false;
+ if(sourceKeys[countSource] == "name" | sourceKeys[countSource] == "resolver")
+ {
+ hit = true;
+ }
+ else
+ {
+ for(int countRemove = 0; countRemove < removeKeys.length; countRemove++)
+ {
+ if(removeKeys[countRemove] != "NULL")
+ {
+ if(sourceKeys[countSource].toString() == removeKeys[countRemove].toString())
+ {
+ if(removeValues[countRemove] != "NULL")
+ {
+ if(sourceValues[countSource].toString() == removeValues[countRemove].toString())
+ {
+ hit = true;
+ }
+ }
+ else if(removeValues[countRemove] == "NULL")
+ {
+ hit = true;
+ }
+ }
+ }
+ else if(removeKeys[countRemove] == "NULL")
+ {
+ if(sourceValues[countSource].toString() == removeValues[countRemove].toString())
+ {
+ hit = true;
+ }
+ }
+ }
+ }
+ if(!hit)
+ {
+ result.addAttribute(sourceKeys[countSource].toString(), sourceValues[countSource].toString());
+ }
+ }
+ return result;
+ }
+ catch (ClassCastException cce)
+ {
+ return null;
+ }
+ }
+
+ /* liefert den entsprechenden HTML.Tag zum Element zurück */
+ public HTML.Tag getHTMLTag(Element e)
+ {
+ if(tags.containsKey(e.getName()))
+ {
+ return (HTML.Tag)tags.get(e.getName());
+ }
+ else
+ {
+ return null;
+ }
+ }
+
+ public String[] getUniString(int strings)
+ {
+ parent.refreshOnUpdate();
+ String[] result = new String[strings];
+ String source = parent.getSourcePane().getText();
+ for(int i=0; i<strings; i++)
+ {
+ int start = -1, end = -1;
+ boolean hit = false;
+ String idString;
+ int counter = 0;
+ do
+ {
+ hit = false;
+ idString = "diesisteineidzumsuchen" + counter + "#" + i;
+ if(source.indexOf(idString) > -1)
+ {
+ counter++;
+ hit = true;
+ if(counter > 10000)
+ {
+ return null;
+ }
+ }
+ } while(hit);
+ result[i] = idString;
+ }
+ return result;
+ }
+
+ public void delete()
+ throws BadLocationException,IOException
+ {
+ JTextPane jtpMain = parent.getTextPane();
+ JTextArea jtpSource = parent.getSourcePane();
+ ExtendedHTMLDocument htmlDoc = parent.getExtendedHtmlDoc();
+ int selStart = jtpMain.getSelectionStart();
+ int selEnd = jtpMain.getSelectionEnd();
+ String[] posStrings = getUniString(2);
+ if(posStrings == null)
+ {
+ return;
+ }
+ htmlDoc.insertString(selStart,posStrings[0],null);
+ htmlDoc.insertString(selEnd+posStrings[0].length(),posStrings[1],null);
+ parent.refreshOnUpdate();
+ int start = jtpSource.getText().indexOf(posStrings[0]);
+ int end = jtpSource.getText().indexOf(posStrings[1]);
+ if(start == -1 || end == -1)
+ {
+ return;
+ }
+ String htmlString = new String();
+ htmlString += jtpSource.getText().substring(0,start);
+ htmlString += jtpSource.getText().substring(start + posStrings[0].length(), end);
+ htmlString += jtpSource.getText().substring(end + posStrings[1].length(), jtpSource.getText().length());
+ String source = htmlString;
+ end = end - posStrings[0].length();
+ htmlString = new String();
+ htmlString += source.substring(0,start);
+ htmlString += getAllTableTags(source.substring(start, end));
+ htmlString += source.substring(end, source.length());
+ parent.getTextPane().setText(htmlString);
+ parent.refreshOnUpdate();
+ }
+
+ private String getAllTableTags(String source)
+ throws BadLocationException,IOException
+ {
+ StringBuffer result = new StringBuffer();
+ int caret = -1;
+ do
+ {
+ caret++;
+ int[] tableCarets = new int[6];
+ tableCarets[0] = source.indexOf("<table",caret);
+ tableCarets[1] = source.indexOf("<tr",caret);
+ tableCarets[2] = source.indexOf("<td",caret);
+ tableCarets[3] = source.indexOf("</table",caret);
+ tableCarets[4] = source.indexOf("</tr",caret);
+ tableCarets[5] = source.indexOf("</td",caret);
+ java.util.Arrays.sort(tableCarets);
+ caret = -1;
+ for(int i=0; i<tableCarets.length; i++)
+ {
+ if(tableCarets[i] >= 0)
+ {
+ caret = tableCarets[i];
+ break;
+ }
+ }
+ if(caret != -1)
+ {
+ result.append(source.substring(caret,source.indexOf(">",caret)+1));
+ }
+ } while(caret != -1);
+ return result.toString();
+ }
+
}
\ No newline at end of file
projects / old-projects.git / blobdiff