code: public String[] getGeneratorFunctions()
      {
      String[] functions = new String[ generators_.size()];
      generators_.keySet().toArray( functions);
      return functions;
      }
docs: Returns the set of system function names associated with generators in
  this set.