Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
language:interface [2023/04/09 18:17] rajit [Parameter types] |
language:interface [2023/04/09 18:56] rajit [Interfaces] |
||
|---|---|---|---|
| Line 15: | Line 15: | ||
| Any process can export a list of interfaces. | Any process can export a list of interfaces. | ||
| When a process exports an interface, it means that it has I/O ports that correspond to the names in the interface. | When a process exports an interface, it means that it has I/O ports that correspond to the names in the interface. | ||
| - | The port names within the process need not match the port names in the interface; | + | The port names within the process need not match the port names in the interface; when an interface is exported, a mapping |
| <code act> | <code act> | ||
| - | defproc proc1 (bool? a; bool! b) :> linearchain { in -> a, out -> b } | + | defproc proc1 (bool? a; bool! b) :> linearchain { in -> a, out -> b } |
| { | { | ||
| ... | ... | ||