code: @Trivial
      public static String getTracerText(Tracer tracer) {
          if (tracer == null) {
              return "null";
          } else {
              return tracer.getClass().getSimpleName() + "@" + Integer.toHexString(tracer.hashCode());
          }
      }
docs: <p>Answer a text string for a tracer for use in trace output.</p>
  
  <p>This implementation answers the tracer simple class name plus the
  tracers hash code.</p>
  
  <p>The usual <code>toString</code> value is not used, since that is very
  large for the mock tracer. Use of the usual <code>toString</code> value
  would bloat trace output.</p>
  
  @param tracer The tracer for which to obtain a text string.
  
  @return A text string for the tracer.