Searched refs:eventTypeString (Results 1 – 1 of 1) sorted by relevance
153 String eventTypeString = event.getEventType().toString() in dump() local156 pw.println(event.getTimestamp() + ": " + eventTypeString); in dump()