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 InPortReceiverpublic void receive()
throws RuntimeError
receive in interface InPortReceiverRuntimeErrorCopyright © 2019. All rights reserved.