public class InPortRecorder extends Object implements InPortReceiver
Constructor and Description |
---|
InPortRecorder(String name,
EventResultWriter erw) |
public InPortRecorder(String name, EventResultWriter erw)
public String getName()
getName
in interface InPortReceiver
public void receive() throws RuntimeError
receive
in interface InPortReceiver
RuntimeError
Copyright © 2020. All rights reserved.