public static void jsonTrace(String id) {
if (id == null || !id.matches("[0-9a-f]{8}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{12}"))
notFound("trace with id '" + id + "'");
String trace = TraceService.loadSavedTrace(id);
response.contentType = "text/json";
renderTemplate("Traces/jsonTrace.json", trace);
}
public static void show(String id) {
if (id == null || !id.matches("[0-9a-f]{8}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{12}"))
notFound("trace with id '" + id + "'");
String trace = TraceService.loadSavedTrace(id);
render(id, trace);
}
public static void list() {
Collection<String> list = TraceService.list();
render(list);
}