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