Differences

This shows you the differences between two versions of the page.

--- language:interface [2023/04/09 18:17]
rajit
+++ language:interface [2023/04/09 18:56]
rajit [Interfaces]
@@ Line 15: / Line 15: @@
 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.
-The port names within the process need not match the port names in the interface; in the case when they don't match, a mapping can be provided as part of the interface export specification.
+The port names within the process need not match the port names in the interface; when an interface is exported, a mapping must be provided as part of the interface export specification.
 <code act>
 defproc proc1 (bool? a; bool! b)  :> linearchain { in -> a, out -> b }
 {
  ...
@@ Line 27: / Line 27: @@
 ==== Parameter types ====
+**Needs to be updated**
 The special ''ptype'' meta-parameter type is used to pass in types