生成 Java 端口代码
下列操作用于以 Java 处理端口和事件:
关于此任务
- 调用操作:
- 对于名为 MyPort 的端口和名为 myop
的操作:
getMyPort().myop();
- 对于名为 MyPort 的端口,名为 myop
的操作以及大于 1 的多重性:getMyPortAt(端口下标).myop(),例如,
getMyPortAt(2).myop();
- 通过端口来生成和发送事件:
- 对于名为 MyPort 的端口和名为 evt 的事件:
getMyPort().gen(new
evt());
- 对于名为 MyPort 的端口,名为 e2
的事件以及大于 1 的多重性:getMyPortAt(端口下标).gen(new e2()),例如,
getMyPortAt(2).gen(new
e2());
- 检测已用于发送事件的输入端口:
- 对于名为 MyPort 的端口:
isPort(getMyPort())
- 对于名为 MyPort 的端口和大于 1
的多重性:isPort(getMyPort(端口下标)),例如,
isPort(getMyPort(3))