Searched refs:EventRecorder (Results 1 – 9 of 9) sorted by relevance
73 EventRecorder recorder = new EventRecorder(); in testEventOrderingIsPredictable()91 public class EventRecorder { class in ReentrantEventsTest
19 public class EventRecorder extends BaseObject { class
41 public EventRecorder eventRecorder;
140 EventRecorder recorder = sSystemRegistry.eventRecorder; in die()
233 EventRecorder eventRecorder = new EventRecorder(); in bootstrap()
470 EventRecorder recorder = sSystemRegistry.eventRecorder; in stateDead()
1259 lifetime.setIncrementEventCounter(EventRecorder.COUNTER_ROBOTS_DESTROYED);4393 life.setIncrementEventCounter(EventRecorder.COUNTER_PEARLS_COLLECTED);4407 EventRecorder recorder = sSystemRegistry.eventRecorder;4408 recorder.incrementEventCounter(EventRecorder.COUNTER_PEARLS_TOTAL);
68 class EventRecorder : public debug::Events { class154 EventRecorder event_recorder; in TEST_F()