/** * Returns true if the given offset represents the boundary between two different elements with * the same name and parent. This is used to determine if the elements can be joined via * joinElementsAt. * * @param int offset The offset to check. */ private boolean isBetweenMatchingElements(int offset) { if (offset <= 1 || offset >= this.getDocument().getLength() - 1) { return false; } VEXElement e1 = this.getDocument().getElementAt(offset - 1); VEXElement e2 = this.getDocument().getElementAt(offset + 1); return e1 != e2 && e1.getParent() == e2.getParent() && e1.getName().equals(e2.getName()); }
/** * Iterate over all rows in the table containing the caret. * * @param vexWidget IVexWidget to iterate over. * @param callback Caller-provided callback that this method calls for each row in the current * table. */ public static void iterateTableRows(IVexWidget vexWidget, ElementOrRangeCallback callback) { final StyleSheet ss = vexWidget.getStyleSheet(); final VEXDocument doc = vexWidget.getDocument(); final int offset = vexWidget.getCaretOffset(); // This may or may not be a table // In any case, it's the element that contains the top-level table // children VEXElement table = doc.getElementAt(offset); while (table != null && !LayoutUtils.isTableChild(ss, table)) { table = table.getParent(); } while (table != null && LayoutUtils.isTableChild(ss, table)) { table = table.getParent(); } if (table == null || table.getParent() == null) { return; } final List<Element> tableChildren = new ArrayList<Element>(); final boolean[] found = new boolean[] {false}; LayoutUtils.iterateChildrenByDisplayStyle( ss, LayoutUtils.TABLE_CHILD_STYLES, table, new ElementOrRangeCallback() { public void onElement(Element child, String displayStyle) { if (offset >= child.getStartOffset() && offset <= child.getEndOffset()) { found[0] = true; } tableChildren.add(child); } public void onRange(VEXElement parent, int startOffset, int endOffset) { if (!found[0]) { tableChildren.clear(); } } }); if (!found[0]) { return; } int startOffset = tableChildren.get(0).getStartOffset(); int endOffset = tableChildren.get(tableChildren.size() - 1).getEndOffset() + 1; LayoutUtils.iterateTableRows(ss, table, startOffset, endOffset, callback); }
public String[] getValidMorphElements() { VEXDocument doc = this.getDocument(); if (doc == null) return new String[0]; Validator validator = doc.getValidator(); if (validator == null) return new String[0]; VEXElement element = doc.getElementAt(this.getCaretOffset()); VEXElement parent = element.getParent(); if (parent == null) { // can't morph the root return new String[0]; } Set<String> validItems = validator.getValidItems(parent.getName()); List<String> result = new ArrayList<String>(validItems); result.remove(Validator.PCDATA); result.remove(element.getName()); // exclude converting to the same // root out those that can't contain the current content EList<String> content = doc.getNodeNames(element.getStartOffset() + 1, element.getEndOffset()); for (Iterator<String> iter = result.iterator(); iter.hasNext(); ) { String candidate = iter.next(); if (!validator.isValidSequence(candidate, content, true)) { iter.remove(); } } Collections.sort(result); return result.toArray(new String[result.size()]); }
public boolean canUnwrap() { VEXDocument doc = this.getDocument(); if (doc == null) { return false; } Validator validator = doc.getValidator(); if (validator == null) { return false; } VEXElement element = doc.getElementAt(this.getCaretOffset()); VEXElement parent = element.getParent(); if (parent == null) { // can't unwrap the root return false; } EList<String> seq1 = doc.getNodeNames(parent.getStartOffset() + 1, element.getStartOffset()); EList<String> seq2 = doc.getNodeNames(element.getStartOffset() + 1, element.getEndOffset()); EList<String> seq3 = doc.getNodeNames(element.getEndOffset() + 1, parent.getEndOffset()); return validator.isValidSequence(parent.getName(), seq1, seq2, seq3, true); }
public void split() throws DocumentValidationException { long start = System.currentTimeMillis(); VEXDocument doc = this.getDocument(); VEXElement element = doc.getElementAt(this.getCaretOffset()); Styles styles = this.getStyleSheet().getStyles(element); while (!styles.isBlock()) { element = element.getParent(); styles = this.getStyleSheet().getStyles(element); } boolean success = false; try { this.beginWork(); if (styles.getWhiteSpace().equals(CSS.PRE)) { // can't call this.insertText() or we'll get an infinite loop int offset = this.getCaretOffset(); doc.insertText(offset, "\n"); this.moveTo(offset + 1); } else { VEXDocumentFragment frag = null; int offset = this.getCaretOffset(); boolean atEnd = (offset == element.getEndOffset()); if (!atEnd) { this.moveTo(element.getEndOffset(), true); frag = this.getSelectedFragment(); this.deleteSelection(); } // either way, we are now at the end offset for the element // let's move just outside this.moveTo(this.getCaretOffset() + 1); this.insertElement(new Element(element.getName())); // TODO: clone attributes if (!atEnd) { offset = this.getCaretOffset(); this.insertFragment(frag); this.moveTo(offset, false); } } success = true; } finally { this.endWork(success); } if (this.isDebugging()) { long end = System.currentTimeMillis(); System.out.println("split() took " + (end - start) + "ms"); } }
/** * Returns the innermost Element with style table-row containing the caret, or null if no such * element exists. * * @param vexWidget IVexWidget to use. */ public static VEXElement getCurrentTableRow(IVexWidget vexWidget) { StyleSheet ss = vexWidget.getStyleSheet(); VEXElement element = vexWidget.getCurrentElement(); while (element != null) { if (ss.getStyles(element).getDisplay().equals(CSS.TABLE_ROW)) { return element; } element = element.getParent(); } return null; }
public void moveTo(int offset, boolean select) { if (offset >= 1 && offset <= this.document.getLength() - 1) { // repaint the selection area, if any this.repaintCaret(); this.repaintRange(this.getSelectionStart(), this.getSelectionEnd()); VEXElement oldElement = this.currentElement; this.caretOffset = offset; this.currentElement = this.document.getElementAt(offset); if (select) { this.selectionStart = Math.min(this.mark, this.caretOffset); this.selectionEnd = Math.max(this.mark, this.caretOffset); // move selectionStart and selectionEnd to make sure we don't // select a partial element VEXElement commonElement = this.document.findCommonElement(this.selectionStart, this.selectionEnd); VEXElement element = this.document.getElementAt(this.selectionStart); while (element != commonElement) { this.selectionStart = element.getStartOffset(); element = this.document.getElementAt(this.selectionStart); } element = this.document.getElementAt(this.selectionEnd); while (element != commonElement) { this.selectionEnd = element.getEndOffset() + 1; element = this.document.getElementAt(this.selectionEnd); } } else { this.mark = offset; this.selectionStart = offset; this.selectionEnd = offset; } if (this.beginWorkCount == 0) { this.relayout(); } Graphics g = this.hostComponent.createDefaultGraphics(); LayoutContext context = this.createLayoutContext(g); this.caret = this.rootBox.getCaret(context, offset); VEXElement element = this.getCurrentElement(); if (element != oldElement) { this.caretColor = Color.BLACK; while (element != null) { Color bgColor = this.styleSheet.getStyles(element).getBackgroundColor(); if (bgColor != null) { int red = ~bgColor.getRed() & 0xff; int green = ~bgColor.getGreen() & 0xff; int blue = ~bgColor.getBlue() & 0xff; this.caretColor = new Color(red, green, blue); break; } element = element.getParent(); } } g.dispose(); this.magicX = -1; this.scrollCaretVisible(); this.hostComponent.fireSelectionChanged(); this.caretVisible = true; this.repaintRange(this.getSelectionStart(), this.getSelectionEnd()); } }