Well-formedness -- Injection (Dezyne Reference Manual)

Next: Well-formedness – Functions, Previous: Well-formedness – Valued Actions and Calls, Up: Well-formedness [Contents][Index]

11.9 Well-formedness – Injection

Not every port can be injected.

injected port has out-events