72164749feee38e2292ec2b4942c2d9c74cdac9e
1 # This file is part of NIT ( http://www.nitlanguage.org ).
3 # Copyright 2012 Jean Privat <jean@pryen.org>
5 # Licensed under the Apache License, Version 2.0 (the "License");
6 # you may not use this file except in compliance with the License.
7 # You may obtain a copy of the License at
9 # http://www.apache.org/licenses/LICENSE-2.0
11 # Unless required by applicable law or agreed to in writing, software
12 # distributed under the License is distributed on an "AS IS" BASIS,
13 # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
14 # See the License for the specific language governing permissions and
15 # limitations under the License.
17 # Manipulation and presentation of ordered trees.
20 # Generic structure to manage and display an ordered tree
22 # Ordered tree are tree where the elements of a same parent are in a specific order
24 # Elements of the trees are added with the `add` method that takes a parent and
26 # If the parent is `null`, then the element is considered a root.
29 # var t = new OrderedTree[String]
31 # t.add("root", "child1")
32 # t.add("root", "child2")
33 # t.add("child1", "grand-child")
34 # assert t.length == 4
37 # By default, the elements with a same parent
38 # are visited in the order they are added.
41 # assert t.to_a == ["root", "child1", "grand-child", "child2"]
42 # assert t.write_to_string == """
50 # The `sort_with` method can be used reorder elements
53 # t.add("root", "aaa")
54 # assert t.to_a == ["root", "child1", "grand-child", "child2", "aaa"]
55 # t.sort_with(alpha_comparator)
56 # assert t.to_a == ["root", "aaa", "child1", "grand-child", "child2"]
59 # This class can be used as it to work with generic trees but can also be specialized to provide more specific
60 # behavior or display. It is why the internal attributes are mutable.
61 class OrderedTree[E
: Object]
66 # The roots of the tree (in sequence)
67 var roots
= new Array[E
]
69 # The branches of the trees.
70 # For each element, the ordered array of its direct sub-elements.
71 var sub
= new HashMap[E
, Array[E
]]
73 # Add a new element `e` in the tree.
74 # `p` is the parent of `e`.
75 # if `p` is null, then `e` is a root element.
76 fun add
(p
: nullable E
, e
: E
)
80 else if sub
.has_key
(p
) then
87 # Append all nodes `es` as children of `p`.
88 fun add_all
(p
: nullable E
, es
: Collection[E
])
90 for e
in es
do add
(p
, e
)
93 # print the full tree on `o`
94 # Write a ASCII-style tree and use the `display` method to label elements
95 redef fun write_to
(stream
: Writer)
98 stream
.write display
(r
)
100 sub_write_to
(stream
, r
, "")
104 private fun sub_write_to
(o
: Writer, e
: E
, prefix
: String)
106 if not sub
.has_key
(e
) then return
111 o
.write
"{prefix}|--{display(e2)}\n"
112 sub_write_to
(o
, e2
, prefix
+"| ")
114 o
.write
"{prefix}`--{display(e2)}\n"
115 sub_write_to
(o
, e2
, prefix
+" ")
120 # Sort roots and other elements using a comparator method
121 # This method basically sorts roots then each group of children
122 fun sort_with
(comparator
: Comparator)
124 comparator
.sort
(roots
)
125 for a
in sub
.values
do
130 # How to display a specific element of the tree
131 # By defaut, uses `to_s`
133 # Subclasses should redefine this method to provide a specific output
134 fun display
(e
: E
): String do return e
.to_s
136 # Get an array of the contained elements
139 # var tree = new OrderedTree[Int]
140 # tree.add_all(null, [1, 2])
141 # tree.add_all(1, [11, 12])
142 # tree.add_all(11, [111, 112])
143 # tree.add_all(12, [121, 122])
144 # tree.add_all(2, [21, 22])
145 # assert tree.to_a == [1, 11, 111, 112, 12, 121, 122, 2, 21, 22]
146 redef fun to_a
: Array[E
] do
147 var res
= new Array[E
]
148 for r
in roots
do sub_to_a
(r
, res
)
152 private fun sub_to_a
(e
: E
, res
: Array[E
]) do
154 if sub
.has_key
(e
) then for e2
in sub
[e
] do sub_to_a
(e2
, res
)
157 # var tree = new OrderedTree[Int]
158 # assert tree.is_empty
160 # assert not tree.is_empty
161 redef fun is_empty
: Bool do return roots
.is_empty
163 # var tree = new OrderedTree[Int]
166 # assert tree.first == 1
167 redef fun first
do return roots
.first
169 # var tree = new OrderedTree[Int]
170 # tree.add_all(null, [1, 2])
171 # tree.add_all(1, [11, 12])
172 # tree.add_all(11, [111, 112])
173 # tree.add_all(12, [121, 122])
174 # tree.add_all(2, [21, 22])
175 # var order = [1, 11, 111, 112, 12, 121, 122, 2, 21, 22]
176 # assert tree.iterator.to_a == order
177 redef fun iterator
do return new OrderedTreeIterator[E
](self)
179 # Two trees are equal if they have the same nodes in the same order
182 # var t1 = new OrderedTree[Int]
183 # t1.add_all(null, [1, 2])
184 # t1.add_all(1, [11, 12])
186 # var t2 = new OrderedTree[Int]
187 # t2.add_all(null, [1, 2])
191 # t2.add_all(1, [11, 12])
197 if not other
isa OrderedTree[Object] then return false
198 return roots
== other
.roots
and sub
== other
.sub
203 return roots
.hash
+ sub
.hash
206 # Shallow clone of the tree.
209 # var t = new OrderedTree[Int]
210 # t.add_all(null, [1, 2])
211 # t.add_all(1, [11, 12])
213 # assert t.clone == t
217 var res
= new OrderedTree[E
]
218 res
.add_all
(null, roots
)
226 # An Iterator over an OrderedTree
227 private class OrderedTreeIterator[E
: Object]
230 var tree
: OrderedTree[E
]
232 var iterators
= new Array[Iterator[E
]]
235 if not tree
.is_empty
then
236 iterators
.add tree
.roots
.iterator
240 redef fun is_ok
do return not iterators
.is_empty
244 return iterators
.last
.item
249 if tree
.sub
.has_key
(item
) then
250 iterators
.add tree
.sub
[item
].iterator
253 while is_ok
and not iterators
.last
.is_ok
do
255 if is_ok
and iterators
.last
.is_ok
then
262 redef fun iterator
do return new OrderedTreeIterator[E
](tree
)