Home

Contribute

Source code


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28

<!--  generated by featurizer  -->
<p>A ProtocolClass defines messages and is the interface specification for a Port</p>
<pre><code class=room customHighlighted><span class=comment>// prefixes: (eventdriven, datadriven, sync)
</span><span class=keyword>ProtocolClass</span> ProtocolName [<span class=string>&quot;An eventdriven ProtocolClass by default&quot;</span>] {
	<span class=keyword>usercode1</span> <span class=string>&#39;&#39;&#39; &#39;&#39;&#39;</span>
	<span class=keyword>usercode2</span> <span class=string>&#39;&#39;&#39; &#39;&#39;&#39;</span>
	<span class=keyword>usercode3</span> <span class=string>&#39;&#39;&#39; &#39;&#39;&#39;</span>
	<span class=keyword>incoming</span> {
		<span class=keyword>Message</span> messageName()
		<span class=keyword>Message</span> messageName(int32)
	}
	<span class=keyword>outgoing</span> {
		<span class=keyword>Message</span> ...
	}
	<span class=keyword>regular</span> <span class=keyword>PortClass</span> {
		<span class=keyword>usercode1</span> <span class=string>&#39;&#39;&#39; &#39;&#39;&#39;</span>
		<span class=keyword>Attribute</span> ...
		<span class=keyword>Operation</span> ...
	}
	<span class=keyword>conjugated</span> <span class=keyword>PortClass</span> {
		...
	}
}

<span class=keyword>ProtocolClass</span> ProtocolName <span class=keyword>extends</span> ProtocolSuperClassName {
	<span class=comment>// inherits all elements from super class
</span>}
</code></pre>