/src/tools/wrappers-generator/shared_collections.e
Specman e | 111 lines | 77 code | 17 blank | 17 comment | 0 complexity | 8b988982d31de93ae1f408ff938fa529 MD5 | raw file
1deferred class SHARED_COLLECTIONS 2 -- Shared collections of various kinds of XML nodes 3 4insert 5 ANY 6 undefine 7 copy, 8 default_create, 9 is_equal, 10 out_in_tagged_out_memory 11 end 12feature {} 13 files: HASHED_DICTIONARY[C_FILE, UNICODE_STRING] 14 once 15 create Result.make 16 end 17 18 files_by_name: HASHED_DICTIONARY[C_FILE, ABSTRACT_STRING] 19 once 20 create Result.make 21 end 22 23 headers: HASHED_SET[ABSTRACT_STRING] 24 once 25 create Result.make 26 end 27 28 functions: LINKED_LIST[C_FUNCTION] 29 once 30 create Result.make 31 end 32 33 namespaces: HASHED_DICTIONARY[C_NAMESPACE, UNICODE_STRING] 34 once 35 create Result.make 36 end 37 38 symbols: HASHED_DICTIONARY[NAMED_NODE, ABSTRACT_STRING] 39 once 40 create Result.make 41 end 42 43 typedefs: TYPEDEFS 44 once 45 create Result.make 46 end 47 48 types: HASHED_DICTIONARY[C_TYPE, UNICODE_STRING] 49 -- perhaps its a dictionary of WRAPPER_FEATURE or WRAPPABLE_NODE 50 once 51 create Result.make 52 end 53 54 variables: LINKED_LIST[C_VARIABLE] 55 once 56 create Result.make 57 end 58 59 composed_types: HASHED_DICTIONARY[COMPOSED_NODE, UNICODE_STRING] 60 once 61 create Result.make 62 end 63 64feature {} 65 flag_enums: WORDS 66 -- Enumerations that will be forcefully wrapped as a flag. 67 once 68 create Result.make 69 end 70 71 avoided_symbols: WORDS 72 -- Symbols that will not be wrapped. 73 once 74 create Result.make 75 end 76 77feature {} 78 -- Buffers 79 -- Temporary buffers used to build enumerations and structures external classes 80 queries: FORMATTER 81 once 82 create Result 83 end 84 85 setters: FORMATTER 86 once 87 create Result 88 end 89 90 low_level_values: FORMATTER 91 once 92 create Result 93 end 94 95 validity_query: FORMATTER 96 once 97 create Result 98 end 99 100end -- class SHARED_COLLECTIONS 101-- Copyright (C) 2008-2017: Paolo Redaelli 102-- wrappers-generator is free software: you can redistribute it and/or modify it 103-- under the terms of the GNU General Public License as publhed by the Free 104-- Software Foundation, either version 2 of the License, or (at your option) 105-- any later version. 106-- wrappers-generator is distributed in the hope that it will be useful, but 107-- WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY 108-- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for 109-- more details. 110-- You should have received a copy of the GNU General Public License along with 111-- th program. If not, see <http://www.gnu.org/licenses/>.