/tutorial/backtracking/expand_expression/tree/string_node.e

 1class STRING_NODE
 2
 3inherit
 4	BACKTRACKING_NODE
 5
 6creation {ANY}
 7	make
 8
 9feature {ANY}
10	value: STRING
11
12	make (val: STRING) is
13		do
14			value := val
15		ensure
16			definition: value = val
17		end
18
19	explore (expander: EXPAND_EXPRESSION) is
20		do
21			expander.stack.add_last(value)
22			expander.continue
23		end
24
25end -- class STRING_NODE