PageRenderTime 20ms CodeModel.GetById 14ms app.highlight 2ms RepoModel.GetById 1ms app.codeStats 0ms

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

http://github.com/tybor/Liberty
Specman e | 25 lines | 19 code | 6 blank | 0 comment | 0 complexity | e41126a840b8db33079ae8a025bebdcd MD5 | raw file
 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