public class EventRecorderCollector extends Object implements StateTypeVisitor
Constructor and Description |
---|
EventRecorderCollector(ArrayList<RuntimeEventRecorder> al) |
public EventRecorderCollector(ArrayList<RuntimeEventRecorder> al)
public void visit(StateType cb)
visit
in interface StateTypeVisitor
Copyright © 2019. All rights reserved.