|lib:storage/loadpath.se:dictionary/
116 "HASHED_DICTIONARY" l
class-path: "/home/paolo/SmartEiffel/lib/storage/dictionary/hashed_dictionary.e"
class-name: HASHED_DICTIONARY
assertion-level: boost
parent-count: 2 inherit: 117 insert: 119 
#
|Local Loadpath:../loadpath.se:../common/loadpath.se:library/loadpath.se:
56 "POINTER_HANDLING" l
class-path: "/media/TESI ELENA/eiffel-libraries/trunk/common/library/pointer_handling.e"
class-name: POINTER_HANDLING
assertion-level: boost
parent-count: 1 insert: 13 
#
57 "WRAPPER_HANDLER" l
class-path: "/media/TESI ELENA/eiffel-libraries/trunk/common/library/wrapper_handler.e"
class-name: WRAPPER_HANDLER
assertion-level: boost
parent-count: 2 inherit: 13 insert: 58 
#
55 "WRAPPER" l
class-path: "/media/TESI ELENA/eiffel-libraries/trunk/common/library/wrapper.e"
class-name: WRAPPER
assertion-level: boost
parent-count: 4 inherit: 29 13 insert: 57 56 
#
94 "CONST_STRING" l
class-path: "/media/TESI ELENA/eiffel-libraries/trunk/common/library/const_string.e"
class-name: CONST_STRING
assertion-level: boost
parent-count: 1 inherit: 7
#
|lib:string/loadpath.se:low_level/
33 "STRING_HANDLER" l
class-path: "/home/paolo/SmartEiffel/lib/string/low_level/string_handler.e"
class-name: STRING_HANDLER
assertion-level: boost
parent-count: 1 insert: 13 
#
|lib:iterator/loadpath.se:
81 "ITERATOR" l
class-path: "/home/paolo/SmartEiffel/lib/iterator/iterator.e"
class-name: ITERATOR
assertion-level: boost
parent-count: 1 insert: 13 
#
|lib:time/loadpath.se:low_level/
153 "TIME_HANDLER" l
class-path: "/home/paolo/SmartEiffel/lib/time/low_level/time_handler.e"
class-name: TIME_HANDLER
assertion-level: boost
parent-count: 1 insert: 13 
#
|lib:exec/loadpath.se:
164 "SYSTEM" l
class-path: "/home/paolo/SmartEiffel/lib/exec/system.e"
class-name: SYSTEM
assertion-level: boost
parent-count: 1 insert: 13 
#
|lib:string/loadpath.se:
3 "CHARACTER" l
class-path: "/home/paolo/SmartEiffel/lib/string/character.e"
class-name: CHARACTER
assertion-level: boost
parent-count: 3 insert: 37 36 38 
#
7 "STRING" l
class-path: "/home/paolo/SmartEiffel/lib/string/string.e"
class-name: STRING
assertion-level: boost
parent-count: 7 inherit: 13 37 36 35 34 insert: 38 30 
#
72 "UNICODE_STRING" l
class-path: "/home/paolo/SmartEiffel/lib/string/unicode_string.e"
class-name: UNICODE_STRING
assertion-level: boost
parent-count: 4 inherit: 37 36 34 30
#
|lib:time/loadpath.se:
172 "TIME_FORMATTER" l
class-path: "/home/paolo/SmartEiffel/lib/time/time_formatter.e"
class-name: TIME_FORMATTER
assertion-level: boost
parent-count: 1 insert: 153 
#
152 "TIME" l
class-path: "/home/paolo/SmartEiffel/lib/time/time.e"
class-name: TIME
assertion-level: boost
parent-count: 3 insert: 37 36 153 
#
125 "MICROSECOND_TIME" l
class-path: "/home/paolo/SmartEiffel/lib/time/microsecond_time.e"
class-name: MICROSECOND_TIME
assertion-level: boost
parent-count: 2 insert: 37 36 
#
|lib:sorting/
151 "ABSTRACT_SORTER" l
class-path: "/home/paolo/SmartEiffel/lib/sorting/abstract_sorter.e"
class-name: ABSTRACT_SORTER
assertion-level: boost
parent-count: 1 insert: 13 
#
|lib:sequencer/loadpath.se:events/
156 "NETWORK_CONNECTION_OCCURRED" l
class-path: "/home/paolo/SmartEiffel/lib/sequencer/events/network_connection_occurred.e"
class-name: NETWORK_CONNECTION_OCCURRED
assertion-level: boost
parent-count: 1 inherit: 77
#
78 "STREAM_EXCEPTION" l
class-path: "/home/paolo/SmartEiffel/lib/sequencer/events/stream_exception.e"
class-name: STREAM_EXCEPTION
assertion-level: boost
parent-count: 1 inherit: 77
#
91 "CAN_READ_DATA_FROM_STREAM" l
class-path: "/home/paolo/SmartEiffel/lib/sequencer/events/can_read_data_from_stream.e"
class-name: CAN_READ_DATA_FROM_STREAM
assertion-level: boost
parent-count: 1 inherit: 77
#
80 "CAN_WRITE_DATA_TO_STREAM" l
class-path: "/home/paolo/SmartEiffel/lib/sequencer/events/can_write_data_to_stream.e"
class-name: CAN_WRITE_DATA_TO_STREAM
assertion-level: boost
parent-count: 1 inherit: 77
#
|lib:net/loadpath.se:
106 "PROTOCOL" l
class-path: "/home/paolo/SmartEiffel/lib/net/protocol.e"
class-name: PROTOCOL
assertion-level: boost
parent-count: 2 insert: 30 29 
#
143 "ACCESS" l
class-path: "/home/paolo/SmartEiffel/lib/net/access.e"
class-name: ACCESS
assertion-level: boost
parent-count: 1 insert: 128 
#
146 "SOCKET_INPUT_OUTPUT_STREAM" l
class-path: "/home/paolo/SmartEiffel/lib/net/socket_input_output_stream.e"
class-name: SOCKET_INPUT_OUTPUT_STREAM
assertion-level: boost
parent-count: 3 inherit: 43 insert: 128 33 
#
76 "URL_VALIDITY" l
class-path: "/home/paolo/SmartEiffel/lib/net/url_validity.e"
class-name: URL_VALIDITY
assertion-level: boost
parent-count: 1 insert: 13 
#
109 "RESOURCE_LOCATOR" l
class-path: "/home/paolo/SmartEiffel/lib/net/resource_locator.e"
class-name: RESOURCE_LOCATOR
assertion-level: boost
parent-count: 1 insert: 30 
#
145 "ADDRESS" l
class-path: "/home/paolo/SmartEiffel/lib/net/address.e"
class-name: ADDRESS
assertion-level: boost
parent-count: 2 inherit: 37 insert: 13 
#
75 "URL" l
class-path: "/home/paolo/SmartEiffel/lib/net/url.e"
class-name: URL
assertion-level: boost
parent-count: 3 insert: 37 30 76 
#
105 "PROTOCOLS" l
class-path: "/home/paolo/SmartEiffel/lib/net/protocols.e"
class-name: PROTOCOLS
assertion-level: boost
parent-count: 1 insert: 13 
#
|lib:io/loadpath.se:
44 "TERMINAL_INPUT_STREAM" l
class-path: "/home/paolo/SmartEiffel/lib/io/terminal_input_stream.e"
class-name: TERMINAL_INPUT_STREAM
assertion-level: boost
parent-count: 1 inherit: 45
#
158 "PATH_NAME" l
class-path: "/home/paolo/SmartEiffel/lib/io/path_name.e"
class-name: PATH_NAME
assertion-level: boost
parent-count: 1 inherit: 139
#
43 "TERMINAL_INPUT_OUTPUT_STREAM" l
class-path: "/home/paolo/SmartEiffel/lib/io/terminal_input_output_stream.e"
class-name: TERMINAL_INPUT_OUTPUT_STREAM
assertion-level: boost
parent-count: 3 inherit: 44 40 31
#
79 "FILTER_OUTPUT_STREAM" l
class-path: "/home/paolo/SmartEiffel/lib/io/filter_output_stream.e"
class-name: FILTER_OUTPUT_STREAM
assertion-level: boost
parent-count: 2 inherit: 27 insert: 62 
c-type: T79 reference: yes
ref-status: dead 
destination-graph-nodes: none
run-time-set-count: 0
#
40 "TERMINAL_OUTPUT_STREAM" l
class-path: "/home/paolo/SmartEiffel/lib/io/terminal_output_stream.e"
class-name: TERMINAL_OUTPUT_STREAM
assertion-level: boost
parent-count: 1 inherit: 27
#
62 "FILTER" l
class-path: "/home/paolo/SmartEiffel/lib/io/filter.e"
class-name: FILTER
assertion-level: boost
parent-count: 1 insert: 13 
#
90 "FILTER_INPUT_STREAM" l
class-path: "/home/paolo/SmartEiffel/lib/io/filter_input_stream.e"
class-name: FILTER_INPUT_STREAM
assertion-level: boost
parent-count: 2 inherit: 45 insert: 62 
#
27 "OUTPUT_STREAM" l
class-path: "/home/paolo/SmartEiffel/lib/io/output_stream.e"
class-name: OUTPUT_STREAM
assertion-level: boost
parent-count: 3 inherit: 28 insert: 32 31 
#
140 "DIRECTORY_NOTATION" l
class-path: "/home/paolo/SmartEiffel/lib/io/directory_notation.e"
class-name: DIRECTORY_NOTATION
assertion-level: boost
parent-count: 1 insert: 13 
#
28 "STREAM" l
class-path: "/home/paolo/SmartEiffel/lib/io/stream.e"
class-name: STREAM
assertion-level: boost
parent-count: 2 insert: 30 29 
#
163 "FILE_TOOLS" l
class-path: "/home/paolo/SmartEiffel/lib/io/file_tools.e"
class-name: FILE_TOOLS
assertion-level: boost
parent-count: 1 insert: 13 
#
45 "INPUT_STREAM" l
class-path: "/home/paolo/SmartEiffel/lib/io/input_stream.e"
class-name: INPUT_STREAM
assertion-level: boost
parent-count: 3 inherit: 28 insert: 46 31 
#
|Local Loadpath:../loadpath.se:library/loadpath.se:externals/
61 "G_STRING_EXTERNALS" l
class-path: "/media/TESI ELENA/eiffel-libraries/trunk/eiffel-glib/library/externals/g_string_externals.e"
class-name: G_STRING_EXTERNALS
assertion-level: boost
parent-count: 1 inherit: 13
#
|lib:storage/loadpath.se:collection/
101 "FAST_ARRAY" l
class-path: "/home/paolo/SmartEiffel/lib/storage/collection/fast_array.e"
class-name: FAST_ARRAY
assertion-level: boost
parent-count: 3 inherit: 82 insert: 87 86 
#
85 "ARRAY" l
class-path: "/home/paolo/SmartEiffel/lib/storage/collection/array.e"
class-name: ARRAY
assertion-level: boost
parent-count: 3 inherit: 82 insert: 87 86 
#
|Local Loadpath:../loadpath.se:library/loadpath.se:fundamentals/
60 "GLIB_BASIC_TYPES" l
class-path: "/media/TESI ELENA/eiffel-libraries/trunk/eiffel-glib/library/fundamentals/glib_basic_types.e"
class-name: GLIB_BASIC_TYPES
assertion-level: boost
parent-count: 1 insert: 13 
#
|lib:net/loadpath.se:low_level/
154 "SOCKET" l
class-path: "/home/paolo/SmartEiffel/lib/net/low_level/socket.e"
class-name: SOCKET
assertion-level: boost
parent-count: 5 insert: 33 128 127 30 29 
#
126 "SOCKET_SERVER" l
class-path: "/home/paolo/SmartEiffel/lib/net/low_level/socket_server.e"
class-name: SOCKET_SERVER
assertion-level: boost
parent-count: 2 insert: 128 127 
#
128 "SOCKET_HANDLER" l
class-path: "/home/paolo/SmartEiffel/lib/net/low_level/socket_handler.e"
class-name: SOCKET_HANDLER
assertion-level: boost
parent-count: 1 insert: 13 
#
127 "SOCKET_PLUG_IN" l
class-path: "/home/paolo/SmartEiffel/lib/net/low_level/socket_plug_in.e"
class-name: SOCKET_PLUG_IN
assertion-level: boost
parent-count: 1 insert: 13 
#
161 "CLIENT_SOCKET_INPUT_OUTPUT_STREAM" l
class-path: "/home/paolo/SmartEiffel/lib/net/low_level/client_socket_input_output_stream.e"
class-name: CLIENT_SOCKET_INPUT_OUTPUT_STREAM
assertion-level: boost
parent-count: 1 inherit: 146
#
155 "SERVER_SOCKET_INPUT_OUTPUT_STREAM" l
class-path: "/home/paolo/SmartEiffel/lib/net/low_level/server_socket_input_output_stream.e"
class-name: SERVER_SOCKET_INPUT_OUTPUT_STREAM
assertion-level: boost
parent-count: 1 inherit: 146
#
|Local Loadpath:../loadpath.se:library/loadpath.se:utilities/
59 "GLIB_STRING_UTILITY_FUNCTIONS" l
class-path: "/media/TESI ELENA/eiffel-libraries/trunk/eiffel-glib/library/utilities/glib_string_utility_functions.e"
class-name: GLIB_STRING_UTILITY_FUNCTIONS
assertion-level: boost
parent-count: 2 insert: 13 60 
#
|Local Loadpath:
25 "TEST_G_STRING00" l
class-path: "/media/TESI ELENA/eiffel-libraries/trunk/eiffel-glib/test/test_g_string00.e"
class-name: TEST_G_STRING00
assertion-level: boost
parent-count: 1 inherit: 26
c-type: T25 reference: yes
ref-status: live id-field: no 
destination-graph-nodes: none
run-time-set-count: 1
run-time-set:
	TEST_G_STRING00 (25)
#
|lib:io/loadpath.se:path_name/
159 "POSIX_PATH_NAME" l
class-path: "/home/paolo/SmartEiffel/lib/io/path_name/posix_path_name.e"
class-name: POSIX_PATH_NAME
assertion-level: boost
parent-count: 1 inherit: 160
#
169 "WINDOWS_DIRECTORY_NOTATION" l
class-path: "/home/paolo/SmartEiffel/lib/io/path_name/windows_directory_notation.e"
class-name: WINDOWS_DIRECTORY_NOTATION
assertion-level: boost
parent-count: 1 inherit: 138
#
137 "UNIX_DIRECTORY_NOTATION" l
class-path: "/home/paolo/SmartEiffel/lib/io/path_name/unix_directory_notation.e"
class-name: UNIX_DIRECTORY_NOTATION
assertion-level: boost
parent-count: 1 inherit: 138
#
171 "CYGWIN_DIRECTORY_NOTATION" l
class-path: "/home/paolo/SmartEiffel/lib/io/path_name/cygwin_directory_notation.e"
class-name: CYGWIN_DIRECTORY_NOTATION
assertion-level: boost
parent-count: 1 inherit: 140
#
167 "OPENVMS_DIRECTORY_NOTATION" l
class-path: "/home/paolo/SmartEiffel/lib/io/path_name/openvms_directory_notation.e"
class-name: OPENVMS_DIRECTORY_NOTATION
assertion-level: boost
parent-count: 1 inherit: 140
#
138 "PATH_NAME_NOTATION" l
class-path: "/home/paolo/SmartEiffel/lib/io/path_name/path_name_notation.e"
class-name: PATH_NAME_NOTATION
assertion-level: boost
parent-count: 2 inherit: 140 139
#
166 "MACINTOSH_DIRECTORY_NOTATION" l
class-path: "/home/paolo/SmartEiffel/lib/io/path_name/macintosh_directory_notation.e"
class-name: MACINTOSH_DIRECTORY_NOTATION
assertion-level: boost
parent-count: 1 inherit: 140
#
170 "MICROSOFT_PATH_NAME" l
class-path: "/home/paolo/SmartEiffel/lib/io/path_name/microsoft_path_name.e"
class-name: MICROSOFT_PATH_NAME
assertion-level: boost
parent-count: 1 inherit: 160
#
168 "AMIGA_DIRECTORY_NOTATION" l
class-path: "/home/paolo/SmartEiffel/lib/io/path_name/amiga_directory_notation.e"
class-name: AMIGA_DIRECTORY_NOTATION
assertion-level: boost
parent-count: 1 inherit: 140
#
|lib:numeric/loadpath.se:
88 "NUMBER_TOOLS" l
class-path: "/home/paolo/SmartEiffel/lib/numeric/number_tools.e"
class-name: NUMBER_TOOLS
assertion-level: boost
parent-count: 1 insert: 13 
#
4 "REAL_32" l
class-path: "/home/paolo/SmartEiffel/lib/numeric/real_32.e"
class-name: REAL_32
assertion-level: boost
parent-count: 1 insert: 67 
#
70 "NATURAL_64" l
class-path: "/home/paolo/SmartEiffel/lib/numeric/natural_64.e"
class-name: NATURAL_64
assertion-level: boost
parent-count: 1 insert: 66 
#
68 "NATURAL_8" l
class-path: "/home/paolo/SmartEiffel/lib/numeric/natural_8.e"
class-name: NATURAL_8
assertion-level: boost
parent-count: 1 insert: 66 
#
11 "INTEGER_64" l
class-path: "/home/paolo/SmartEiffel/lib/numeric/integer_64.e"
class-name: INTEGER_64
assertion-level: boost
parent-count: 1 insert: 51 
#
71 "NUMBER" l
class-path: "/home/paolo/SmartEiffel/lib/numeric/number.e"
class-name: NUMBER
assertion-level: boost
parent-count: 4 inherit: 37 36 52 insert: 38 
#
5 "REAL_64" l
class-path: "/home/paolo/SmartEiffel/lib/numeric/real_64.e"
class-name: REAL_64
assertion-level: boost
parent-count: 1 insert: 67 
#
66 "NATURAL_GENERAL" l
class-path: "/home/paolo/SmartEiffel/lib/numeric/natural_general.e"
class-name: NATURAL_GENERAL
assertion-level: boost
parent-count: 2 inherit: 36 insert: 38 
#
51 "INTEGER_GENERAL" l
class-path: "/home/paolo/SmartEiffel/lib/numeric/integer_general.e"
class-name: INTEGER_GENERAL
assertion-level: boost
parent-count: 3 inherit: 36 insert: 52 38 
#
52 "NUMERIC" l
class-path: "/home/paolo/SmartEiffel/lib/numeric/numeric.e"
class-name: NUMERIC
assertion-level: boost
parent-count: 1 inherit: 37
#
1 "INTEGER_8" l
class-path: "/home/paolo/SmartEiffel/lib/numeric/integer_8.e"
class-name: INTEGER_8
assertion-level: boost
parent-count: 1 insert: 51 
#
5 "REAL" l
#
2 "INTEGER" l
#
65 "NATURAL_16" l
class-path: "/home/paolo/SmartEiffel/lib/numeric/natural_16.e"
class-name: NATURAL_16
assertion-level: boost
parent-count: 1 insert: 66 
#
12 "REAL_EXTENDED" l
class-path: "/home/paolo/SmartEiffel/lib/numeric/real_extended.e"
class-name: REAL_EXTENDED
assertion-level: boost
parent-count: 1 insert: 67 
#
67 "REAL_GENERAL" l
class-path: "/home/paolo/SmartEiffel/lib/numeric/real_general.e"
class-name: REAL_GENERAL
assertion-level: boost
parent-count: 2 inherit: 52 36
#
69 "NATURAL_32" l
class-path: "/home/paolo/SmartEiffel/lib/numeric/natural_32.e"
class-name: NATURAL_32
assertion-level: boost
parent-count: 1 insert: 66 
#
10 "INTEGER_16" l
class-path: "/home/paolo/SmartEiffel/lib/numeric/integer_16.e"
class-name: INTEGER_16
assertion-level: boost
parent-count: 1 insert: 51 
#
97 "MUTABLE_BIG_INTEGER" l
class-path: "/home/paolo/SmartEiffel/lib/numeric/mutable_big_integer.e"
class-name: MUTABLE_BIG_INTEGER
assertion-level: boost
parent-count: 3 inherit: 37 36 insert: 38 
#
2 "INTEGER_32" l
class-path: "/home/paolo/SmartEiffel/lib/numeric/integer_32.e"
class-name: INTEGER_32
assertion-level: boost
parent-count: 1 insert: 51 
#
|lib:misc/
26 "EIFFELTEST_TOOLS" l
class-path: "/home/paolo/SmartEiffel/lib/misc/eiffeltest_tools.e"
class-name: EIFFELTEST_TOOLS
assertion-level: boost
parent-count: 1 insert: 13 
#
114 "MINI_PARSER_BUFFER" l
class-path: "/home/paolo/SmartEiffel/lib/misc/mini_parser_buffer.e"
class-name: MINI_PARSER_BUFFER
assertion-level: boost
parent-count: 1 insert: 33 
#
53 "COUNTER" l
class-path: "/home/paolo/SmartEiffel/lib/misc/counter.e"
class-name: COUNTER
assertion-level: boost
parent-count: 1 insert: 13 
c-type: T53 reference: yes
ref-status: live id-field: no 
destination-graph-nodes: none
run-time-set-count: 1
run-time-set:
	COUNTER (53)
#
|lib:storage/loadpath.se:low_level/
124 "STRING_RECYCLING_ITEM" l
class-path: "/home/paolo/SmartEiffel/lib/storage/low_level/string_recycling_item.e"
class-name: STRING_RECYCLING_ITEM
assertion-level: boost
parent-count: 1 insert: 13 
#
63 "NATIVE_ARRAY" l
class-path: "/home/paolo/SmartEiffel/lib/storage/low_level/native_array.e"
class-name: NATIVE_ARRAY
assertion-level: boost
parent-count: 1 insert: 64 
#
102 "RECYCLING_POOL" l
class-path: "/home/paolo/SmartEiffel/lib/storage/low_level/recycling_pool.e"
class-name: RECYCLING_POOL
assertion-level: boost
parent-count: 2 insert: 103 13 
#
9 "NATIVE_ARRAY[CHARACTER]" l
#
110 "STRING_RECYCLING_POOL" l
class-path: "/home/paolo/SmartEiffel/lib/storage/low_level/string_recycling_pool.e"
class-name: STRING_RECYCLING_POOL
assertion-level: boost
parent-count: 3 insert: 38 111 33 
#
150 "STRING_RECYCLING_ITEM_SORTER" l
class-path: "/home/paolo/SmartEiffel/lib/storage/low_level/string_recycling_item_sorter.e"
class-name: STRING_RECYCLING_ITEM_SORTER
assertion-level: boost
parent-count: 2 insert: 151 33 
#
|lib:io/loadpath.se:terminal/
73 "TEXT_FILE_READ" l
class-path: "/home/paolo/SmartEiffel/lib/io/terminal/text_file_read.e"
class-name: TEXT_FILE_READ
assertion-level: boost
parent-count: 3 inherit: 74 44 insert: 33 
#
134 "TEXT_FILE_WRITE" l
class-path: "/home/paolo/SmartEiffel/lib/io/terminal/text_file_write.e"
class-name: TEXT_FILE_WRITE
assertion-level: boost
parent-count: 2 inherit: 74 40
#
136 "TEXT_FILE_READ_WRITE" l
class-path: "/home/paolo/SmartEiffel/lib/io/terminal/text_file_read_write.e"
class-name: TEXT_FILE_READ_WRITE
assertion-level: boost
parent-count: 3 inherit: 74 43 insert: 33 
#
39 "STD_ERROR" l
class-path: "/home/paolo/SmartEiffel/lib/io/terminal/std_error.e"
class-name: STD_ERROR
assertion-level: boost
parent-count: 2 inherit: 40 insert: 41 
#
49 "STD_OUTPUT" l
class-path: "/home/paolo/SmartEiffel/lib/io/terminal/std_output.e"
class-name: STD_OUTPUT
assertion-level: boost
parent-count: 2 inherit: 40 insert: 41 
c-type: T49 reference: yes
ref-status: live id-field: no 
destination-graph-nodes: none
run-time-set-count: 1
run-time-set:
	STD_OUTPUT (49)
#
74 "FILE" l
class-path: "/home/paolo/SmartEiffel/lib/io/terminal/file.e"
class-name: FILE
assertion-level: boost
parent-count: 1 insert: 13 
#
50 "STD_INPUT" l
class-path: "/home/paolo/SmartEiffel/lib/io/terminal/std_input.e"
class-name: STD_INPUT
assertion-level: boost
parent-count: 3 inherit: 44 insert: 33 41 
#
42 "STD_INPUT_OUTPUT" l
class-path: "/home/paolo/SmartEiffel/lib/io/terminal/std_input_output.e"
class-name: STD_INPUT_OUTPUT
assertion-level: boost
parent-count: 1 inherit: 43
#
|lib:kernel/
14 "TUPLE" l
class-path: "/home/paolo/SmartEiffel/lib/kernel/tuple.e"
class-name: TUPLE
assertion-level: boost
parent-count: 1 inherit: 13
#
38 "PLATFORM" l
class-path: "/home/paolo/SmartEiffel/lib/kernel/platform.e"
class-name: PLATFORM
assertion-level: boost
parent-count: 1 insert: 13 
#
84 "ROUTINE" l
class-path: "/home/paolo/SmartEiffel/lib/kernel/routine.e"
class-name: ROUTINE
assertion-level: boost
parent-count: 1 insert: 13 
#
83 "FUNCTION" l
class-path: "/home/paolo/SmartEiffel/lib/kernel/function.e"
class-name: FUNCTION
assertion-level: boost
parent-count: 1 inherit: 84
#
6 "BOOLEAN" l
class-path: "/home/paolo/SmartEiffel/lib/kernel/boolean.e"
class-name: BOOLEAN
assertion-level: boost
parent-count: 1 insert: 13 
#
132 "WEAK_REFERENCE" l
class-path: "/home/paolo/SmartEiffel/lib/kernel/weak_reference.e"
class-name: WEAK_REFERENCE
assertion-level: boost
parent-count: 1 inherit: 13
#
8 "POINTER" l
class-path: "/home/paolo/SmartEiffel/lib/kernel/pointer.e"
class-name: POINTER
assertion-level: boost
parent-count: 2 insert: 37 33 
#
15 "TUPLE 1" l
class-path: "/home/paolo/SmartEiffel/lib/kernel/tuple.e"
class-name: TUPLE 1
assertion-level: boost
parent-count: 1 inherit: 14
#
16 "TUPLE 2" l
class-path: "/home/paolo/SmartEiffel/lib/kernel/tuple.e"
class-name: TUPLE 2
assertion-level: boost
parent-count: 1 inherit: 15
#
13 "ANY" l
class-path: "/home/paolo/SmartEiffel/lib/kernel/any.e"
class-name: ANY
assertion-level: boost
parent-count: 0
#
17 "TUPLE 3" l
class-path: "/home/paolo/SmartEiffel/lib/kernel/tuple.e"
class-name: TUPLE 3
assertion-level: boost
parent-count: 1 inherit: 16
#
18 "TUPLE 4" l
class-path: "/home/paolo/SmartEiffel/lib/kernel/tuple.e"
class-name: TUPLE 4
assertion-level: boost
parent-count: 1 inherit: 17
#
19 "TUPLE 5" l
class-path: "/home/paolo/SmartEiffel/lib/kernel/tuple.e"
class-name: TUPLE 5
assertion-level: boost
parent-count: 1 inherit: 18
#
20 "TUPLE 6" l
class-path: "/home/paolo/SmartEiffel/lib/kernel/tuple.e"
class-name: TUPLE 6
assertion-level: boost
parent-count: 1 inherit: 19
#
21 "TUPLE 7" l
class-path: "/home/paolo/SmartEiffel/lib/kernel/tuple.e"
class-name: TUPLE 7
assertion-level: boost
parent-count: 1 inherit: 20
#
22 "TUPLE 8" l
class-path: "/home/paolo/SmartEiffel/lib/kernel/tuple.e"
class-name: TUPLE 8
assertion-level: boost
parent-count: 1 inherit: 21
#
23 "TUPLE 9" l
class-path: "/home/paolo/SmartEiffel/lib/kernel/tuple.e"
class-name: TUPLE 9
assertion-level: boost
parent-count: 1 inherit: 22
#
93 "REFERENCE" l
class-path: "/home/paolo/SmartEiffel/lib/kernel/reference.e"
class-name: REFERENCE
assertion-level: boost
parent-count: 1 inherit: 13
#
64 "SAFE_EQUAL" l
class-path: "/home/paolo/SmartEiffel/lib/kernel/safe_equal.e"
class-name: SAFE_EQUAL
assertion-level: boost
parent-count: 1 insert: 13 
#
24 "TUPLE 10" l
class-path: "/home/paolo/SmartEiffel/lib/kernel/tuple.e"
class-name: TUPLE 10
assertion-level: boost
parent-count: 1 inherit: 23
#
107 "PROCEDURE" l
class-path: "/home/paolo/SmartEiffel/lib/kernel/procedure.e"
class-name: PROCEDURE
assertion-level: boost
parent-count: 1 inherit: 84
#
58 "EXCEPTIONS" l
class-path: "/home/paolo/SmartEiffel/lib/kernel/exceptions.e"
class-name: EXCEPTIONS
assertion-level: boost
parent-count: 1 insert: 13 
#
111 "MEMORY" l
class-path: "/home/paolo/SmartEiffel/lib/kernel/memory.e"
class-name: MEMORY
assertion-level: boost
parent-count: 1 insert: 13 
#
|lib:storage/loadpath.se:
103 "STACK" l
class-path: "/home/paolo/SmartEiffel/lib/storage/stack.e"
class-name: STACK
assertion-level: boost
parent-count: 2 insert: 101 13 
#
118 "DICTIONARY" l
class-path: "/home/paolo/SmartEiffel/lib/storage/dictionary.e"
class-name: DICTIONARY
assertion-level: boost
parent-count: 1 inherit: 34
#
117 "SIMPLE_DICTIONARY" l
class-path: "/home/paolo/SmartEiffel/lib/storage/simple_dictionary.e"
class-name: SIMPLE_DICTIONARY
assertion-level: boost
parent-count: 1 inherit: 118
#
82 "COLLECTION" l
class-path: "/home/paolo/SmartEiffel/lib/storage/collection.e"
class-name: COLLECTION
assertion-level: boost
parent-count: 3 inherit: 13 35 34
#
|lib:abilities/
35 "STORABLE" l
class-path: "/home/paolo/SmartEiffel/lib/abilities/storable.e"
class-name: STORABLE
assertion-level: boost
parent-count: 1 insert: 13 
#
30 "RECYCLABLE" l
class-path: "/home/paolo/SmartEiffel/lib/abilities/recyclable.e"
class-name: RECYCLABLE
assertion-level: boost
parent-count: 1 insert: 13 
#
37 "HASHABLE" l
class-path: "/home/paolo/SmartEiffel/lib/abilities/hashable.e"
class-name: HASHABLE
assertion-level: boost
parent-count: 1 insert: 13 
#
34 "TRAVERSABLE" l
class-path: "/home/paolo/SmartEiffel/lib/abilities/traversable.e"
class-name: TRAVERSABLE
assertion-level: boost
parent-count: 1 insert: 13 
#
29 "DISPOSABLE" l
class-path: "/home/paolo/SmartEiffel/lib/abilities/disposable.e"
class-name: DISPOSABLE
assertion-level: boost
parent-count: 1 insert: 13 
#
36 "COMPARABLE" l
class-path: "/home/paolo/SmartEiffel/lib/abilities/comparable.e"
class-name: COMPARABLE
assertion-level: boost
parent-count: 1 insert: 13 
#
|Local Loadpath:../loadpath.se:library/loadpath.se:data_types/
54 "G_STRING" l
class-path: "/media/TESI ELENA/eiffel-libraries/trunk/eiffel-glib/library/data_types/g_string.e"
class-name: G_STRING
assertion-level: boost
parent-count: 4 inherit: 13 55 insert: 61 59 
c-type: T54 reference: yes
ref-status: live id-field: no 
destination-graph-nodes: none
run-time-set-count: 1
run-time-set:
	G_STRING (54)
#
|lib:net/loadpath.se:resource_locators/
141 "NETWORK_RESOURCE_LOCATOR" l
class-path: "/home/paolo/SmartEiffel/lib/net/resource_locators/network_resource_locator.e"
class-name: NETWORK_RESOURCE_LOCATOR
assertion-level: boost
parent-count: 2 inherit: 109 insert: 123 
#
135 "FILE_RESOURCE_LOCATOR" l
class-path: "/home/paolo/SmartEiffel/lib/net/resource_locators/file_resource_locator.e"
class-name: FILE_RESOURCE_LOCATOR
assertion-level: boost
parent-count: 1 inherit: 109
#
123 "NETWORK_RESOURCE_VALIDITY" l
class-path: "/home/paolo/SmartEiffel/lib/net/resource_locators/network_resource_validity.e"
class-name: NETWORK_RESOURCE_VALIDITY
assertion-level: boost
parent-count: 1 insert: 13 
#
|lib:storage/loadpath.se:internal/
130 "HASHED_DICTIONARY_NODE" l
class-path: "/home/paolo/SmartEiffel/lib/storage/internal/hashed_dictionary_node.e"
class-name: HASHED_DICTIONARY_NODE
assertion-level: boost
parent-count: 1 inherit: 131
#
87 "ARRAYED_COLLECTION" l
class-path: "/home/paolo/SmartEiffel/lib/storage/internal/arrayed_collection.e"
class-name: ARRAYED_COLLECTION
assertion-level: boost
parent-count: 1 insert: 82 
#
131 "ANY_HASHED_DICTIONARY_NODE" l
class-path: "/home/paolo/SmartEiffel/lib/storage/internal/any_hashed_dictionary_node.e"
class-name: ANY_HASHED_DICTIONARY_NODE
assertion-level: boost
parent-count: 1 insert: 13 
#
119 "HASH_TABLE_SIZE" l
class-path: "/home/paolo/SmartEiffel/lib/storage/internal/hash_table_size.e"
class-name: HASH_TABLE_SIZE
assertion-level: boost
parent-count: 1 insert: 38 
#
|lib:kernel/internal/
86 "NATIVE_ARRAY_COLLECTOR" l
class-path: "/home/paolo/SmartEiffel/lib/kernel/internal/native_array_collector.e"
class-name: NATIVE_ARRAY_COLLECTOR
assertion-level: boost
parent-count: 1 insert: 13 
#
115 "NATIVE_ARRAY_INTERNALS" l
class-path: "/home/paolo/SmartEiffel/lib/kernel/internal/native_array_internals.e"
class-name: NATIVE_ARRAY_INTERNALS
assertion-level: boost
parent-count: 1 inherit: 47
#
92 "INTERNALS_HANDLER" l
class-path: "/home/paolo/SmartEiffel/lib/kernel/internal/internals_handler.e"
class-name: INTERNALS_HANDLER
assertion-level: boost
parent-count: 1 insert: 13 
#
47 "TYPED_INTERNALS" l
class-path: "/home/paolo/SmartEiffel/lib/kernel/internal/typed_internals.e"
class-name: TYPED_INTERNALS
assertion-level: boost
parent-count: 1 inherit: 48
#
48 "INTERNALS" l
class-path: "/home/paolo/SmartEiffel/lib/kernel/internal/internals.e"
class-name: INTERNALS
assertion-level: boost
parent-count: 1 insert: 13 
#
|lib:net/loadpath.se:access/
142 "TCP_ACCESS" l
class-path: "/home/paolo/SmartEiffel/lib/net/access/tcp_access.e"
class-name: TCP_ACCESS
assertion-level: boost
parent-count: 2 inherit: 143 insert: 127 
#
|lib:net/loadpath.se:protocols/
147 "HTTP_PROXY" l
class-path: "/home/paolo/SmartEiffel/lib/net/protocols/http_proxy.e"
class-name: HTTP_PROXY
assertion-level: boost
parent-count: 1 insert: 13 
#
122 "TCP_PROTOCOL" l
class-path: "/home/paolo/SmartEiffel/lib/net/protocols/tcp_protocol.e"
class-name: TCP_PROTOCOL
assertion-level: boost
parent-count: 2 inherit: 106 insert: 123 
#
120 "FILE_PROTOCOL" l
class-path: "/home/paolo/SmartEiffel/lib/net/protocols/file_protocol.e"
class-name: FILE_PROTOCOL
assertion-level: boost
parent-count: 1 inherit: 106
#
148 "HTTP_CLIENT_INPUT_STREAM" l
class-path: "/home/paolo/SmartEiffel/lib/net/protocols/http_client_input_stream.e"
class-name: HTTP_CLIENT_INPUT_STREAM
assertion-level: boost
parent-count: 1 inherit: 90
#
121 "HTTP_PROTOCOL" l
class-path: "/home/paolo/SmartEiffel/lib/net/protocols/http_protocol.e"
class-name: HTTP_PROTOCOL
assertion-level: boost
parent-count: 1 inherit: 122
#
149 "HTTP_CLIENT_OUTPUT_STREAM" l
class-path: "/home/paolo/SmartEiffel/lib/net/protocols/http_client_output_stream.e"
class-name: HTTP_CLIENT_OUTPUT_STREAM
assertion-level: boost
parent-count: 1 inherit: 79
#
108 "STREAM_PROTOCOL" l
class-path: "/home/paolo/SmartEiffel/lib/net/protocols/stream_protocol.e"
class-name: STREAM_PROTOCOL
assertion-level: boost
parent-count: 1 inherit: 106
#
|lib:iterator/loadpath.se:internal/
104 "ITERATOR_ON_UNICODE_STRING" l
class-path: "/home/paolo/SmartEiffel/lib/iterator/internal/iterator_on_unicode_string.e"
class-name: ITERATOR_ON_UNICODE_STRING
assertion-level: boost
parent-count: 1 inherit: 81
#
89 "ITERATOR_ON_STRING" l
class-path: "/home/paolo/SmartEiffel/lib/iterator/internal/iterator_on_string.e"
class-name: ITERATOR_ON_STRING
assertion-level: boost
parent-count: 1 inherit: 81
#
129 "ITERATOR_ON_DICTIONARY_ITEMS" l
class-path: "/home/paolo/SmartEiffel/lib/iterator/internal/iterator_on_dictionary_items.e"
class-name: ITERATOR_ON_DICTIONARY_ITEMS
assertion-level: boost
parent-count: 1 inherit: 81
#
113 "ITERATOR_ON_TRAVERSABLE" l
class-path: "/home/paolo/SmartEiffel/lib/iterator/internal/iterator_on_traversable.e"
class-name: ITERATOR_ON_TRAVERSABLE
assertion-level: boost
parent-count: 1 inherit: 81
#
133 "ITERATOR_ON_DICTIONARY_KEYS" l
class-path: "/home/paolo/SmartEiffel/lib/iterator/internal/iterator_on_dictionary_keys.e"
class-name: ITERATOR_ON_DICTIONARY_KEYS
assertion-level: boost
parent-count: 1 inherit: 81
#
|lib:numeric/loadpath.se:internal/
96 "INTEGER_GENERAL_NUMBER" l
class-path: "/home/paolo/SmartEiffel/lib/numeric/internal/integer_general_number.e"
class-name: INTEGER_GENERAL_NUMBER
assertion-level: boost
parent-count: 1 inherit: 71
#
95 "INTEGER_64_NUMBER" l
class-path: "/home/paolo/SmartEiffel/lib/numeric/internal/integer_64_number.e"
class-name: INTEGER_64_NUMBER
assertion-level: boost
parent-count: 1 inherit: 96
#
98 "FRACTION_WITH_BIG_INTEGER_NUMBER" l
class-path: "/home/paolo/SmartEiffel/lib/numeric/internal/fraction_with_big_integer_number.e"
class-name: FRACTION_WITH_BIG_INTEGER_NUMBER
assertion-level: boost
parent-count: 1 inherit: 99
#
99 "FRACTION_GENERAL_NUMBER" l
class-path: "/home/paolo/SmartEiffel/lib/numeric/internal/fraction_general_number.e"
class-name: FRACTION_GENERAL_NUMBER
assertion-level: boost
parent-count: 1 inherit: 71
#
100 "BIG_INTEGER_NUMBER" l
class-path: "/home/paolo/SmartEiffel/lib/numeric/internal/big_integer_number.e"
class-name: BIG_INTEGER_NUMBER
assertion-level: boost
parent-count: 1 inherit: 96
#
|lib:io/loadpath.se:low_level/
157 "BASIC_DIRECTORY" l
class-path: "/home/paolo/SmartEiffel/lib/io/low_level/basic_directory.e"
class-name: BASIC_DIRECTORY
assertion-level: boost
parent-count: 1 insert: 13 
#
41 "REDIRECTION_TOOLS" l
class-path: "/home/paolo/SmartEiffel/lib/io/low_level/redirection_tools.e"
class-name: REDIRECTION_TOOLS
assertion-level: boost
parent-count: 1 insert: 13 
#
32 "OUTPUT_STREAM_TOOLS" l
class-path: "/home/paolo/SmartEiffel/lib/io/low_level/output_stream_tools.e"
class-name: OUTPUT_STREAM_TOOLS
assertion-level: boost
parent-count: 1 insert: 33 
#
46 "INPUT_STREAM_TOOLS" l
class-path: "/home/paolo/SmartEiffel/lib/io/low_level/input_stream_tools.e"
class-name: INPUT_STREAM_TOOLS
assertion-level: boost
parent-count: 1 insert: 13 
#
|lib:net/loadpath.se:address/
144 "HOST" l
class-path: "/home/paolo/SmartEiffel/lib/net/address/host.e"
class-name: HOST
assertion-level: boost
parent-count: 2 inherit: 145 insert: 127 
#
162 "IP_ADDRESS" l
class-path: "/home/paolo/SmartEiffel/lib/net/address/ip_address.e"
class-name: IP_ADDRESS
assertion-level: boost
parent-count: 1 inherit: 145
#
|lib:sequencer/loadpath.se:
77 "EVENT_DESCRIPTOR" l
class-path: "/home/paolo/SmartEiffel/lib/sequencer/event_descriptor.e"
class-name: EVENT_DESCRIPTOR
assertion-level: boost
parent-count: 1 insert: 13 
#
112 "EVENTS_SET" l
class-path: "/home/paolo/SmartEiffel/lib/sequencer/events_set.e"
class-name: EVENTS_SET
assertion-level: boost
parent-count: 2 insert: 13 38 
#
|lib:unicode/
165 "UNICODE_STRING_HANDLER" l
class-path: "/home/paolo/SmartEiffel/lib/unicode/unicode_string_handler.e"
class-name: UNICODE_STRING_HANDLER
assertion-level: boost
parent-count: 1 insert: 13 
#
|lib:io/loadpath.se:internal/
160 "UNIXISH_PATH_NAME" l
class-path: "/home/paolo/SmartEiffel/lib/io/internal/unixish_path_name.e"
class-name: UNIXISH_PATH_NAME
assertion-level: boost
parent-count: 1 inherit: 158
#
31 "FILTERABLE" l
class-path: "/home/paolo/SmartEiffel/lib/io/internal/filterable.e"
class-name: FILTERABLE
assertion-level: boost
parent-count: 1 insert: 13 
#
139 "PATH_JOINER" l
class-path: "/home/paolo/SmartEiffel/lib/io/internal/path_joiner.e"
class-name: PATH_JOINER
assertion-level: boost
parent-count: 1 insert: 13 
#