class RENAME_PAIR
Summary
Overview
creation features
exported features
old_name: FEATURE_NAME
writable attribute
new_name: FEATURE_NAME
writable attribute
make (on: FEATURE_NAME, nn: FEATURE_NAME)
effective procedure
pretty (rank: INTEGER_32)
effective procedure
accept (visitor: RENAME_PAIR_VISITOR)
effective procedure
Accept to be visited by the visitor.