/library/extras/visitor/json_visitor.e

 1note
 2	description:
 3
 4		"JSON Visitor"
 5
 6	pattern: "Visitor"
 7	author: "Javier Velilla"
 8	license:"MIT (see http://www.opensource.org/licenses/mit-license.php)"
 9	date: "2008/08/24"
10	revision: "Revision 0.1"
11
12deferred class
13	JSON_VISITOR
14
15feature -- Visitor Pattern
16
17	visit_json_array (a_json_array: JSON_ARRAY)
18			-- Visit `a_json_array'.
19		require
20			a_json_array_not_void: a_json_array /= Void
21		deferred
22		end
23
24	visit_json_boolean (a_json_boolean: JSON_BOOLEAN)
25			-- Visit `a_json_boolean'.
26		require
27			a_json_boolean_not_void: a_json_boolean /= Void
28		deferred
29		end
30
31	visit_json_null (a_json_null: JSON_NULL)
32			-- Visit `a_json_null'.
33		require
34			a_json_null_not_void: a_json_null /= Void
35		deferred
36		end
37
38	visit_json_number (a_json_number: JSON_NUMBER)
39			-- Visit `a_json_number'.
40		require
41			a_json_number_not_void: a_json_number /= Void
42		deferred
43		end
44
45	visit_json_object (a_json_object: JSON_OBJECT)
46			-- Visit `a_json_object'.
47		require
48			a_json_object_not_void: a_json_object /= Void
49		deferred
50		end
51
52    visit_json_string (a_json_string: JSON_STRING)
53			-- Visit `a_json_string'.
54		require
55			a_json_string_not_void: a_json_string /= Void
56		deferred
57		end
58
59end