anchor.diff:  call(Supervisor, Req) ->
       gen_server:call(Supervisor, Req, infinity).
   
  +-spec check_childspecs([child_spec()]) -> 'ok' | {'error', term()}.
   check_childspecs(ChildSpecs) when is_list(ChildSpecs) ->
       case check_startspec(ChildSpecs) of
   	{ok, _} -> ok;
  
positive.code:     Resp =
  	lists:map(fun(#child{pid = Pid, name = Name,
  			     child_type = ChildType, modules = Mods}) ->
  		    {Name, Pid, ChildType, Mods}
  		  end,
  		  State#state.children),
      {reply, Resp, State};
  
negative.code: %%% Initialize the supervisor.
  %%% 
  %%% ---------------------------------------------------
  
  -type stop_rsn() :: 'shutdown' | {'bad_return', {module(),'init', term()}}
                    | {'bad_start_spec', term()} | {'start_spec', term()}
                    | {'supervisor_data', term()}.
  
  -spec init({sup_name(), module(), [term()]}) ->
          {'ok', state()} | 'ignore' | {'stop', stop_rsn()}.
  
  init({SupName, Mod, Args}) ->
      process_flag(trap_exit, true),
      case Mod:init(Args) of
  