children = [ new DojoTreeNode { id = node_id, text = node_text }, new DojoTreeNode { id = node_id, text = node_name } ]
The following example shows the code and output for a tree diagram that contains two nodes: North America and Europe. The nodes are defined by the TreeNode record, which is pointed to by the treeNodes property.
DojoTree { text="World",onClick ::= handleCity,children=[ DojoTreeNode {id="NA",text="North America",children=[ DojoTreeNode {id="CA",text="Canada"}, DojoTreeNode {id="US",text="USA"} ]}, DojoTreeNode {id="EU",text="Europe",children= [ DojoTreeNode {id="GR",text="Greece"}, DojoTreeNode {id="IT",text="Italy"}]}