<TREE_NODE> : Tree node

Java class : leon.view.LyTreeNode

ROLE

A tree node can contain a set of nodes (this node is then called parent node of these last ones).
It is possible to assign a label and several images to a tree node, and to indicate if it is selected, valid or open. It is also possible to indicate the font and the different colors of the node.

ATTRIBUTES

<!ATTLIST TREE_NODE
	  id CDATA #IMPLIED
	  template CDATA #IMPLIED
	  label CDATA #IMPLIED
	  tooltip CDATA #IMPLIED
	  selected ( true | false) "false"
	  open ( true | false) "false"
	  hidden ( true | false) "false"
	  expandable ( true | false) "false"
	  image CDATA #IMPLIED
	  validity ( VALID | INVALID | PARTIALLY) "VALID"
	  font CDATA #IMPLIED
	  color CDATA #IMPLIED
	  fontColor CDATA #IMPLIED
	  selectedBackgroundColor CDATA #IMPLIED
	  inactiveSelectedBackgroundColor CDATA #IMPLIED
	  selectedFontColor CDATA #IMPLIED
	  emptyCheckboxImage CDATA #IMPLIED
	  selectedCheckboxImage CDATA #IMPLIED
	  openDirImage CDATA #IMPLIED
	  closedDirImage CDATA #IMPLIED>
Attribute Mand. Description Default
id no Identifier of the node of the tree.  
template no TREE_NODE.template  
label no Label of the node of the tree.  
tooltip no Tooltip of a given node.  
selected no Indicates if the node is selected.
This attribute is not used for the NONE selection mode.
false
open no Indicates if the node is open. false
hidden no Indicates if the node is hidden. false
expandable no Specifies if the tree node is expandable or not (can be opened). false
image no Image associated to the node.  
validity no Indicates if the node is valid, invalid or partially valid. VALID
font no Font of the node.  
color no Background color of the node.  
fontColor no TREE_NODE.fontColor  
selectedBackgroundColor no TREE_NODE.selectedBackgroundColor  
inactiveSelectedBackgroundColor no TREE_NODE.inactiveSelectedBackgroundColor  
selectedFontColor no TREE_NODE.selectedFontColor  
emptyCheckboxImage no TREE_NODE.emptyCheckboxImage  
selectedCheckboxImage no TREE_NODE.selectedCheckboxImage  
openDirImage no TREE_NODE.openDirImage  
closedDirImage no TREE_NODE.closedDirImage  

ELEMENTS

<!ELEMENT TREE_NODE 
	  (IMAGE*,
	   TREE_NODE*)>
Element Mand. Mult. Description
IMAGE no yes Images of a tree node.
TREE_NODE no yes Sub-nodes of the tree node.