/src/lib/backtracking/node/backtracking_node_or_pair.e
Specman e | 54 lines | 21 code | 5 blank | 28 comment | 0 complexity | 439952822c997b68e638cc60820f6a84 MD5 | raw file
1-- This file is part of a Liberty Eiffel library. 2-- See the full copyright at the end. 3-- 4class BACKTRACKING_NODE_OR_PAIR 5 -- 6 -- Node for an alternative of 2 nodes 7 -- 8 9inherit 10 BACKTRACKING_NODE_BINARY 11 12create {ANY} 13 make 14 15feature {ANY} 16 explore (explorer: BACKTRACKING) 17 do 18 -- Tell to evaluate 'first' now. 19 explorer.set_current_node(first) 20 -- Push 'second' in front of the possible alternatives. 21 explorer.push_or(second) 22 end 23 24feature {} 25 do_fill_tagged_out_memory 26 do 27 tagged_out_memory.append(once "(") 28 first.fill_tagged_out_memory 29 tagged_out_memory.append(once ") or (") 30 second.fill_tagged_out_memory 31 tagged_out_memory.append(once ")") 32 end 33 34end -- class BACKTRACKING_NODE_OR_PAIR 35-- 36-- Copyright (C) 2009-2017: by all the people cited in the AUTHORS file. 37-- 38-- Permission is hereby granted, free of charge, to any person obtaining a copy 39-- of this software and associated documentation files (the "Software"), to deal 40-- in the Software without restriction, including without limitation the rights 41-- to use, copy, modify, merge, publish, distribute, sublicense, and/or sell 42-- copies of the Software, and to permit persons to whom the Software is 43-- furnished to do so, subject to the following conditions: 44-- 45-- The above copyright notice and this permission notice shall be included in 46-- all copies or substantial portions of the Software. 47-- 48-- THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR 49-- IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 50-- FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE 51-- AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER 52-- LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, 53-- OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN 54-- THE SOFTWARE.