anchor.diff:  %% If the user answers 'yes' to one instance,  that instance will be replaced by function application,
   %% otherwise it will remain unchanged.
   %% </p>
  -%%@spec fold_expr({{FileName::filename(), Line::integer(), Col::integer(), SearchPaths::[dir()], TabWidth:: integer()}
  -%%                  |{FileName::filename(), ModName::modulename(), Arity::integer(), ClauseIndex::integer(), SearchPaths::[dir()], TabWidth:: integer()}}) ->
  +%%@spec fold_expr({FileName::filename(), Line::integer(), Col::integer(), SearchPaths::[dir()], TabWidth:: integer()}
  +%%                  |{FileName::filename(), ModName::modulename(), Arity::integer(), ClauseIndex::integer(), SearchPaths::[dir()], TabWidth:: integer()}) ->
   %%           {ok, [{{{integer(), integer()}, {integer(), integer()}}, syntaxTree()}]} | {error, string()}
   
   %% This function is just for documentation purpose; and should not be called by any other functions.
  
positive.code: %% select <em> Move Definition to Another Module</em> from the <em> Refactor </em> menu, 
  %% Wrangler will then  prompt to enter the target module name in the mini-buffer. 
  %% </p>
  %% @spec move_fun(FileName::filename(),Line::integer(),Col::integer(),TargetModName::string(), 
  %%                CreateNewFile::bool(),SearchPaths::[dir()], TabWidth:: integer())-> {ok, [filename()]} | {error, string()}
  
  -spec(move_fun/7::(filename(),integer(),integer(), string(), atom(),[dir()], integer())
          -> {ok, [filename()]} | {error, string()}).
  move_fun(FileName, Line, Col, TargetModName, CreateNewFile, SearchPaths, TabWidth) ->
      try_refactoring(refac_move_fun, move_fun, [FileName, Line, Col, TargetModName, CreateNewFile, SearchPaths, TabWidth]).
  
  
  %%@private
  -spec(move_fun_eclipse/7::(filename(),integer(),integer(), string(), atom(),[dir()], integer())
          -> {ok, [{filename(), filename(), string()}]}
             | {error, string()}).
  move_fun_eclipse(FileName, Line, Col, TargetModName, CreateNewFile, SearchPaths, TabWidth) ->
      try_refactoring(refac_move_fun, move_fun_eclipse, [FileName, Line, Col, TargetModName, CreateNewFile, SearchPaths, TabWidth]).
  
  
  %% ==================================================================================
  
negative.code: %%<p>
  %% Usage: point cursor to the record expression interested, then select <em>Normalise Record Expression</em> from <em>Refactor</em>.
  %%</p>
  %% @spec normalise_record_expr(FileName::filename(), Line::integer(), Col::integer(), ShowDefault::boolean(), SearchPaths::[dir()], TabWidth::integer())
  %%         -> {error, string()} | {ok, [filename()]}
  -spec(normalise_record_expr/6::(filename(), integer(), integer(), boolean(), [dir()], integer()) -> {error, string()} | {ok, [filename()]}).
  normalise_record_expr(FileName, Line, Col, ShowDefault, SearchPaths, TabWidth) ->
      try_refactoring(refac_sim_expr_search, normalise_record_expr, [FileName, {Line, Col}, ShowDefault,SearchPaths, TabWidth]).
  
  