Show last authors
1 |=(((
2
3 )))|=(((
4 KIELER
5 )))|=(((
6 YAKINDU
7 )))|=(((
8
9 )))
10 |(% colspan="1" %)(% colspan="1" %)
11 (((
12 Declarations
13 )))|(% colspan="1" %)(% colspan="1" %)
14 (((
15 **Pure Signals**: signals are absent or present
16
17 * input signals must be set
18 * output signals are computed
19
20 **Valued Signals**:
21
22 are pure signals and are able to store a value
23 )))|(% colspan="1" %)(% colspan="1" %)
24 (((
25 **Events**:
26
27 * (% style="color: rgb(0,0,0);" %)interface scope: events can either be ingoing (in event event) or outgoing (out event event).
28 * (% style="color: rgb(0, 0, 0); color: rgb(0, 0, 0)" %)local scope: events are able to store a value.{{code language="none"}}internal: event localEvent : bool{{/code}}(%%)
29
30 {{{}}}
31
32 (% style="color: rgb(0,0,0);" %)**Variables:**
33
34 * variable:{{code language="none"}}var variable: string{{/code}}
35
36 {{{}}}(% style="color: rgb(0,0,0);" %)** **
37 * readonly variable:{{code language="none"}}var readonly size: int = 10{{/code}}
38
39 {{{}}}
40 * external variable: can be referenced by the environment{{code language="none"}}var external variable: int = 44{{/code}}
41
42 {{{}}}
43 )))|(% colspan="1" %)(% colspan="1" %)
44 (((
45
46 )))
47 |(((
48 Typesystem
49 )))|(((
50 * **pure**: only makes sense for Signals. Signals are absent or present.
51 * **host: **no actual type is given. The given type in the hostType attribute is used.
52 * **bool**
53 * **unsigned**
54 * **int**
55 * **float**
56 * **double**
57 * **string**
58 )))|(((
59 * **integer**
60 * **real**
61 * **boolean **
62 * **string**
63 * **void**
64 )))|(((
65
66 )))
67 |(((
68 Expressions
69 )))|(((
70
71 )))|(((
72 * **Logical AND:** var1 && var2
73 * **Logical OR:** var1 || var2
74 * **Logical NOT:** !var1
75 * **Conditional Expression:** var1 ? var2 : var3
76 )))|(((
77
78 )))
79 |(((
80 Operations
81 )))|(((
82 * **Equal**: '='
83 * (% style="color: rgb(0,0,0);" %)**Less Than**(%%)**: '**<'
84 * (% style="color: rgb(0,0,0);" %)**Equal Or Less Than**(%%)**: '**<='
85 * (% style="color: rgb(0,0,0);" %)**Greater Than**(%%)**:** '>'
86 * (% style="color: rgb(0,0,0);" %)**Equal Or Greater Than**(%%)**:** '>='
87 * **NOT: '**!='
88 * **Value**: '?'
89
90 {{{?B = 3}}}
91 * **PRE**: 'pre'
92
93 {{{pre(B)}}}
94 * **NE**: '<>'
95 * **AND: '**and'
96 * **OR**: 'or'
97 * **Add**: '+'
98 * **Minus** : '-'
99 * **Multiply**: '*'
100 * **Divide**: '/'
101 * **Modulo**: 'mod'
102 )))|(((
103 * **Equal**: '=='
104 * **less than:** '<'
105 * **Equal Or Less Than**: '<='
106 * **Greater Than**: '>'
107 * **Equal Or Greater Than** '>='
108 * **Not Equal:** '!='
109 * **Shift Left**: '<<'
110 * **Shift Right**: '>>'
111 * **Plus:** '+'
112 * **Minus:** '-'
113 * **Multiply:** '*'
114 * **Divide:** '/'
115 * **Modulo:** '%'
116 * **Positive: '**+'
117 * **Negative: '**-'
118 * **Complement: **'~~'
119 )))|(((
120
121 )))
122
123
124 \\