--| Copyright (c) 1993-2021 University of Southern California, Eiffel Software and contributors. --| All rights reserved. --| Your use of this work is governed under the terms of the GNU General --| Public License version 2. -- This is a test control file test_name validity-vhrc-shift-names test_description Shift names - does not violate VHRC copy_sub Ace $TEST Ace copy_raw test1.e $CLUSTER test1.e define RENAME "rename OLD_feature as NEW_feature, NEW_feature as NEWER_feature end" copy_sub test.e $CLUSTER test.e compile_melted compile_result ok define RENAME "rename old_feature as new_feature, new_feature as f alias "###", i1 as i1 alias "#free_operator", i2 as i2 alias "####" end" copy_sub test.e $CLUSTER test.e compile_melted compile_result ok test_end