private void addTraceAndType(String name){
  if (tracesType.get(name) == null) {
    traces.add(createTrace(name,TraceType.REAL));
    tracesType.put(name,TraceType.REAL);
  }
 else {
    traces.add(createTrace(name,tracesType.get(name)));
  }
}

private void addTraceAndType ( String name ) { if ( tracesType . get ( name ) == null ) { traces . add ( createTrace ( name , TraceType . REAL ) ) ; tracesType . put ( name , TraceType . REAL ) ; } else { traces . add ( createTrace ( name , tracesType . get ( name ) ) ) ; } }
add a trace for a statistic of the given name
