/**
* 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();
}
}
