/** * Sets the visibility of this text element to the specified boolean. * * @param isVisible boolean */ public void setVisible(boolean isVisible) { this.isVisible = isVisible; if (isVisible) { element.setAttribute("visibility", VISIBLE); } else { element.setAttribute("visibility", INVISIBLE); } // taint setTaintMode(TextElement.TAINTED); for (int i = 0; i < nodeElement.getDaughterVector().size(); i++) nodeElement.getDaughterVector().elementAt(i).setTaintMode(NodeElement.TAINTED); NodeElement iteratorElement = nodeElement; while (iteratorElement != null) { iteratorElement.setTaintMode(NodeElement.TAINTED); iteratorElement = iteratorElement.getMother(); } }