note description: "Feature names found in ANY" library: "Eiffel Wrapper Generator Library" copyright: "Copyright (c) 2005, Andreas Leitner and others" license: "Eiffel Forum License v2 (see forum.txt)" date: "$Date$" revision: "$Revision$" class EWG_ANY_FEATURE_NAMES inherit EWG_SHARED_STRING_EQUALITY_TESTER export {NONE} all end ANY create {EWG_SHARED_ANY_FEATURE_NAMES} make feature {NONE} -- Initialization make -- Create new feature name object. do end feature -- Status has (a_name: STRING): BOOLEAN -- Is `a_name' a feature name in class ANY? do Result := names.has (a_name.as_lower) end feature {NONE} -- Implementation names: DS_HASH_SET [STRING] -- Set of names of features from class ANY once create Result.make (29) Result.set_equality_tester (string_equality_tester) Result.put_new ("generator") Result.put_new ("generating_type") Result.put_new ("conforms_to") Result.put_new ("same_type") Result.put_new ("is_equal") Result.put_new ("standard_is_equal") Result.put_new ("equal") Result.put_new ("standard_equal") Result.put_new ("deep_equal") Result.put_new ("twin") Result.put_new ("copy") Result.put_new ("standard_copy") Result.put_new ("clone") Result.put_new ("standard_clone") Result.put_new ("standard_twin") Result.put_new ("deep_twin") Result.put_new ("deep_clone") Result.put_new ("deep_copy") Result.put_new ("internal_correct_mismatch") Result.put_new ("io") Result.put_new ("out") Result.put_new ("tagged_out") Result.put_new ("print") Result.put_new ("operating_environment") Result.put_new ("default_create") Result.put_new ("default_rescue") Result.put_new ("do_nothing") Result.put_new ("default") Result.put_new ("default_pointer") ensure names_not_void: names /= Void end end