Rename record field

The rename record field transformation supports renaming the specified field of a record. The name of the field is replaced in the definition form and in every referrer expression and token to the given new name. To the field belongs a semantic field object linked to the record, it stores the field name. The data of this object is updated too.

Renaming field name to id:

-record(member, {name, age}).

rename(Arg, New) ->
   #member{name=Name} = Arg,
   io:format("%s == %s",
      [Name, Arg#member.name]),
   Arg#member{name=New}.

Result:

-record(member, {id, age}).

rename(Arg, New) ->
   #member{id=Name} = Arg,
   io:format("%s == %s",
      [Name, Arg#member.id]),
   Arg#member{id=New}.

Side conditions

• The record must have no field with the same name as the given new field name. If it has, the transformation starts an interaction to ask for a new record field name.

• If the user does not specify a record field, then the transformation starts an interaction to ask the user to specify one.

Transformation steps and compensations

1. The field name is changed to the new name in the definition of the record and in every record expression that refers the field.