Searched refs:EventRecorder (Results 1 – 7 of 7) sorted by relevance
74 EventRecorder recorder = new EventRecorder(); in testEventOrderingIsPredictable()89 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);