API tools faq
paste
Advertisement
Guest User

Untitled

a guest
Mar 29th, 2020
107
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 85.85 KB | None | 0 0
raw download clone embed print report
  1. -: 0:Source:libstatemate.c
  2. -: 0:Graph:libstatemate.gcno
  3. -: 0:Data:-
  4. -: 0:Runs:0
  5. -: 0:Programs:0
  6. -: 1:/* BEEBS statemate benchmark
  7. -: 2:
  8. -: 3: Copyright (C) 2014 Embecosm Limited and University of Bristol
  9. -: 4:
  10. -: 5: Contributor James Pallister <james.pallister@bristol.ac.uk>
  11. -: 6:
  12. -: 7: This file is part of the Bristol/Embecosm Embedded Benchmark Suite.
  13. -: 8:
  14. -: 9: This program is free software: you can redistribute it and/or modify
  15. -: 10: it under the terms of the GNU General Public License as published by
  16. -: 11: the Free Software Foundation, either version 3 of the License, or
  17. -: 12: (at your option) any later version.
  18. -: 13:
  19. -: 14: This program is distributed in the hope that it will be useful,
  20. -: 15: but WITHOUT ANY WARRANTY; without even the implied warranty of
  21. -: 16: MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  22. -: 17: GNU General Public License for more details.
  23. -: 18:
  24. -: 19: You should have received a copy of the GNU General Public License
  25. -: 20: along with this program. If not, see <http://www.gnu.org/licenses/>. */
  26. -: 21:
  27. -: 22://#include "support.h"
  28. -: 23:#include <stdio.h>
  29. -: 24:/* This scale factor will be changed to equalise the runtime of the
  30. -: 25: benchmarks. */
  31. -: 26:#define SCALE_FACTOR (REPEAT_FACTOR >> 0)
  32. -: 27:
  33. -: 28:/* MDH WCET BENCHMARK SUITE. File version $Id: statemate.c,v 1.3 2005/11/11 10:32:32 ael01 Exp $ */
  34. -: 29:
  35. -: 30:/*
  36. -: 31: *----------------------------------------------------------
  37. -: 32: *
  38. -: 33: * statemate.c
  39. -: 34: *
  40. -: 35: * This code was automatically generated by
  41. -: 36: * the STAtechart Real-time-Code generator STARC
  42. -: 37: * which was developed at C-LAB.
  43. -: 38: *
  44. -: 39: * The original StateChart specifies an experimental
  45. -: 40: * car window lift control.
  46. -: 41: *
  47. -: 42: * Modified and maintained by
  48. -: 43: * Friedhelm Stappert
  49. -: 44: * C-LAB, Paderborn, Germany
  50. -: 45: * fst@c-lab.de
  51. -: 46: *
  52. -: 47: * Modifications:
  53. -: 48: * o '#define float int' so we don't need a
  54. -: 49: * floating point library.
  55. -: 50: *
  56. -: 51: * o modified the Bitlist functions.
  57. -: 52: * 'Bitlist is now just a array of char's
  58. -: 53: * so we don't need the BitList library.
  59. -: 54: *
  60. -: 55: *----------------------------------------------------------
  61. -: 56: */
  62. -: 57:
  63. -: 58:
  64. -: 59:/*
  65. -: 60:** actually, we don't really need floating point here
  66. -: 61:*/
  67. -: 62:#define float int
  68. -: 63:
  69. -: 64:static char Bitlist[64];
  70. -: 65:#define SYS_bit_get(a,b) (a)[(b)]
  71. -: 66:#define SYS_bit_clr(a,b) (a)[(b)] = 0
  72. -: 67:#define SYS_bit_set(a,b) (a)[(b)] = 1
  73. -: 68:#define SYS_bit_cpy(a1,i1,a2,i2) (a1)[(i1)] = (a2)[(i2)]
  74. -: 69:
  75. -: 70:
  76. -: 71:#define active_KINDERSICHERUNG_CTRL_IDX 10
  77. -: 72:#define active_KINDERSICHERUNG_CTRL_copy_IDX 11
  78. -: 73:#define active_KINDERSICHERUNG_CTRL_old_IDX 12
  79. -: 74:#define active_FH_TUERMODUL_CTRL_IDX 13
  80. -: 75:#define active_FH_TUERMODUL_CTRL_copy_IDX 14
  81. -: 76:#define active_FH_TUERMODUL_CTRL_old_IDX 15
  82. -: 77:#define active_EINKLEMMSCHUTZ_CTRL_IDX 16
  83. -: 78:#define active_EINKLEMMSCHUTZ_CTRL_copy_IDX 17
  84. -: 79:#define active_EINKLEMMSCHUTZ_CTRL_old_IDX 18
  85. -: 80:#define active_BLOCK_ERKENNUNG_CTRL_IDX 19
  86. -: 81:#define active_BLOCK_ERKENNUNG_CTRL_copy_IDX 20
  87. -: 82:#define active_BLOCK_ERKENNUNG_CTRL_old_IDX 21
  88. -: 83:#define entered_EINSCHALTSTROM_MESSEN_BLOCK_ERKENNUNG_CTRL_IDX 0
  89. -: 84:#define entered_EINSCHALTSTROM_MESSEN_BLOCK_ERKENNUNG_CTRL_copy_IDX 1
  90. -: 85:unsigned long tm_entered_EINSCHALTSTROM_MESSEN_BLOCK_ERKENNUNG_CTRLch_BLOCK_ERKENNUNG_CTRL__N_copy;
  91. -: 86:#define entered_WIEDERHOLSPERRE_FH_TUERMODUL_CTRL_IDX 4
  92. -: 87:#define entered_WIEDERHOLSPERRE_FH_TUERMODUL_CTRL_copy_IDX 5
  93. -: 88:#define exited_BEREIT_FH_TUERMODUL_CTRL_IDX 6
  94. -: 89:#define exited_BEREIT_FH_TUERMODUL_CTRL_copy_IDX 7
  95. -: 90:unsigned long tm_entered_WIEDERHOLSPERRE_FH_TUERMODUL_CTRLexited_BEREIT_FH_TUERMODUL_CTRL;
  96. -: 91:unsigned long tm_entered_WIEDERHOLSPERRE_FH_TUERMODUL_CTRL;
  97. -: 92:unsigned long sc_FH_TUERMODUL_CTRL_2375_2 ;
  98. -: 93:unsigned long sc_FH_TUERMODUL_CTRL_2352_1 ;
  99. -: 94:unsigned long sc_FH_TUERMODUL_CTRL_2329_1 ;
  100. -: 95:int FH_TUERMODUL_CTRL__N;
  101. -: 96:int FH_TUERMODUL_CTRL__N_copy;
  102. -: 97:int FH_TUERMODUL_CTRL__N_old;
  103. -: 98:unsigned long sc_FH_TUERMODUL_CTRL_1781_10 ;
  104. -: 99:unsigned long sc_FH_TUERMODUL_CTRL_1739_10 ;
  105. -: 100:float FH_TUERMODUL__POSITION ;
  106. -: 101:float FH_TUERMODUL__I_EIN ;
  107. -: 102:float FH_TUERMODUL__I_EIN_old;
  108. -: 103:int FH_DU__MFH;
  109. -: 104:int FH_DU__MFH_copy;
  110. -: 105:float FH_DU__POSITION ;
  111. -: 106:float FH_DU__I_EIN ;
  112. -: 107:float FH_DU__I_EIN_old;
  113. -: 108:float BLOCK_ERKENNUNG_CTRL__I_EIN_MAX;
  114. -: 109:float BLOCK_ERKENNUNG_CTRL__I_EIN_MAX_copy;
  115. -: 110:int BLOCK_ERKENNUNG_CTRL__N;
  116. -: 111:int BLOCK_ERKENNUNG_CTRL__N_copy;
  117. -: 112:int BLOCK_ERKENNUNG_CTRL__N_old;
  118. -: 113:char FH_TUERMODUL_CTRL__INREVERS2;
  119. -: 114:char FH_TUERMODUL_CTRL__INREVERS2_copy;
  120. -: 115:char FH_TUERMODUL_CTRL__INREVERS1;
  121. -: 116:char FH_TUERMODUL_CTRL__INREVERS1_copy;
  122. -: 117:char FH_TUERMODUL_CTRL__FT ;
  123. -: 118:char FH_TUERMODUL__SFHZ_ZENTRAL ;
  124. -: 119:char FH_TUERMODUL__SFHZ_ZENTRAL_old;
  125. -: 120:char FH_TUERMODUL__SFHZ_MEC ;
  126. -: 121:char FH_TUERMODUL__SFHZ_MEC_old;
  127. -: 122:char FH_TUERMODUL__SFHA_ZENTRAL ;
  128. -: 123:char FH_TUERMODUL__SFHA_ZENTRAL_old;
  129. -: 124:char FH_TUERMODUL__SFHA_MEC ;
  130. -: 125:char FH_TUERMODUL__SFHA_MEC_old;
  131. -: 126:char FH_TUERMODUL__KL_50 ;
  132. -: 127:char FH_TUERMODUL__BLOCK;
  133. -: 128:char FH_TUERMODUL__BLOCK_copy;
  134. -: 129:char FH_TUERMODUL__BLOCK_old;
  135. -: 130:char FH_TUERMODUL__FT ;
  136. -: 131:char FH_TUERMODUL__SFHZ;
  137. -: 132:char FH_TUERMODUL__SFHZ_copy;
  138. -: 133:char FH_TUERMODUL__SFHZ_old;
  139. -: 134:char FH_TUERMODUL__SFHA;
  140. -: 135:char FH_TUERMODUL__SFHA_copy;
  141. -: 136:char FH_TUERMODUL__SFHA_old;
  142. -: 137:char FH_TUERMODUL__MFHZ;
  143. -: 138:char FH_TUERMODUL__MFHZ_copy;
  144. -: 139:char FH_TUERMODUL__MFHZ_old;
  145. -: 140:char FH_TUERMODUL__MFHA;
  146. -: 141:char FH_TUERMODUL__MFHA_copy;
  147. -: 142:char FH_TUERMODUL__MFHA_old;
  148. -: 143:char FH_TUERMODUL__EKS_LEISTE_AKTIV ;
  149. -: 144:char FH_TUERMODUL__EKS_LEISTE_AKTIV_old;
  150. -: 145:char FH_TUERMODUL__COM_OPEN ;
  151. -: 146:char FH_TUERMODUL__COM_CLOSE ;
  152. -: 147:char FH_DU__KL_50 ;
  153. -: 148:char FH_DU__S_FH_FTZU;
  154. -: 149:char FH_DU__S_FH_FTAUF;
  155. -: 150:char FH_DU__FT ;
  156. -: 151:char FH_DU__EKS_LEISTE_AKTIV ;
  157. -: 152:char FH_DU__EKS_LEISTE_AKTIV_old;
  158. -: 153:char FH_DU__S_FH_TMBFAUFCAN;
  159. -: 154:char FH_DU__S_FH_TMBFAUFCAN_copy;
  160. -: 155:char FH_DU__S_FH_TMBFAUFCAN_old;
  161. -: 156:char FH_DU__S_FH_TMBFZUCAN;
  162. -: 157:char FH_DU__S_FH_TMBFZUCAN_copy;
  163. -: 158:char FH_DU__S_FH_TMBFZUCAN_old;
  164. -: 159:char FH_DU__S_FH_TMBFZUDISC ;
  165. -: 160:char FH_DU__S_FH_TMBFZUDISC_old;
  166. -: 161:char FH_DU__S_FH_TMBFAUFDISC ;
  167. -: 162:char FH_DU__S_FH_TMBFAUFDISC_old;
  168. -: 163:char FH_DU__S_FH_ZUDISC ;
  169. -: 164:char FH_DU__S_FH_AUFDISC ;
  170. -: 165:char FH_DU__DOOR_ID ;
  171. -: 166:char FH_DU__BLOCK;
  172. -: 167:char FH_DU__BLOCK_copy;
  173. -: 168:char FH_DU__BLOCK_old;
  174. -: 169:char FH_DU__MFHZ;
  175. -: 170:char FH_DU__MFHZ_copy;
  176. -: 171:char FH_DU__MFHZ_old;
  177. -: 172:char FH_DU__MFHA;
  178. -: 173:char FH_DU__MFHA_copy;
  179. -: 174:char FH_DU__MFHA_old;
  180. -: 175:#define FH_TUERMODUL_CTRL__END_REVERS_IDX 22
  181. -: 176:#define FH_TUERMODUL_CTRL__END_REVERS_copy_IDX 23
  182. -: 177:#define FH_TUERMODUL__EINKLEMMUNG_IDX 24
  183. -: 178:
  184. -: 179:unsigned long time;
  185. -: 180:char stable;
  186. -: 181:char step;
  187. -: 182:
  188. -: 183:char NICHT_INITIALISIERT_NICHT_INITIALISIERT_next_state; /** 2 bits **/
  189. -: 184:char ZENTRAL_KINDERSICHERUNG_CTRL_next_state; /** 1 bits **/
  190. -: 185:char MEC_KINDERSICHERUNG_CTRL_next_state; /** 1 bits **/
  191. -: 186:char KINDERSICHERUNG_CTRL_KINDERSICHERUNG_CTRL_next_state; /** 2 bits **/
  192. -: 187:char B_FH_TUERMODUL_CTRL_next_state; /** 2 bits **/
  193. -: 188:char A_FH_TUERMODUL_CTRL_next_state; /** 1 bits **/
  194. -: 189:char WIEDERHOLSPERRE_FH_TUERMODUL_CTRL_next_state; /** 1 bits **/
  195. -: 190:char INITIALISIERT_FH_TUERMODUL_CTRL_next_state; /** 2 bits **/
  196. -: 191:char TIPP_SCHLIESSEN_FH_TUERMODUL_CTRL_next_state; /** 2 bits **/
  197. -: 192:char MANUELL_SCHLIESSEN_FH_TUERMODUL_CTRL_next_state; /** 2 bits **/
  198. -: 193:char OEFFNEN_FH_TUERMODUL_CTRL_next_state; /** 2 bits **/
  199. -: 194:char SCHLIESSEN_FH_TUERMODUL_CTRL_next_state; /** 2 bits **/
  200. -: 195:char FH_STEUERUNG_DUMMY_FH_STEUERUNG_DUMMY_next_state; /** 2 bits **/
  201. -: 196:char EINKLEMMSCHUTZ_CTRL_EINKLEMMSCHUTZ_CTRL_next_state; /** 2 bits **/
  202. -: 197:char BEWEGUNG_BLOCK_ERKENNUNG_CTRL_next_state; /** 2 bits **/
  203. -: 198:char BLOCK_ERKENNUNG_CTRL_BLOCK_ERKENNUNG_CTRL_next_state; /** 2 bits **/
  204. -: 199:
  205. -: 200:
  206. function interface called 0 returned 0% blocks executed 0%
  207. #####: 201:void interface(void)
  208. -: 202:{
  209. #####: 203: if (SYS_bit_get(Bitlist, entered_WIEDERHOLSPERRE_FH_TUERMODUL_CTRL_IDX))
  210. branch 0 never executed
  211. branch 1 never executed
  212. #####: 204: tm_entered_WIEDERHOLSPERRE_FH_TUERMODUL_CTRL = time;
  213. #####: 205: if (SYS_bit_get(Bitlist, entered_WIEDERHOLSPERRE_FH_TUERMODUL_CTRL_IDX) || SYS_bit_get (Bitlist, exited_BEREIT_FH_TUERMODUL_CTRL_IDX))
  214. branch 0 never executed
  215. branch 1 never executed
  216. branch 2 never executed
  217. branch 3 never executed
  218. #####: 206: tm_entered_WIEDERHOLSPERRE_FH_TUERMODUL_CTRLexited_BEREIT_FH_TUERMODUL_CTRL = time;
  219. #####: 207: if ((sc_FH_TUERMODUL_CTRL_2375_2 != 0) && (time - sc_FH_TUERMODUL_CTRL_2375_2 >= 0.5))
  220. branch 0 never executed
  221. branch 1 never executed
  222. branch 2 never executed
  223. branch 3 never executed
  224. -: 208: {
  225. #####: 209: FH_TUERMODUL__MFHA_copy = 0;
  226. #####: 210: sc_FH_TUERMODUL_CTRL_2375_2 = 0;
  227. -: 211:
  228. -: 212: }
  229. #####: 213: if ((sc_FH_TUERMODUL_CTRL_2352_1 != 0) && (time - sc_FH_TUERMODUL_CTRL_2352_1 >= 0.5))
  230. branch 0 never executed
  231. branch 1 never executed
  232. branch 2 never executed
  233. branch 3 never executed
  234. -: 214: {
  235. #####: 215: FH_TUERMODUL__MFHZ_copy = 0;
  236. #####: 216: sc_FH_TUERMODUL_CTRL_2352_1 = 0;
  237. -: 217:
  238. -: 218: }
  239. #####: 219: if ((sc_FH_TUERMODUL_CTRL_2329_1 != 0) && (time - sc_FH_TUERMODUL_CTRL_2329_1 >= 0.5))
  240. branch 0 never executed
  241. branch 1 never executed
  242. branch 2 never executed
  243. branch 3 never executed
  244. -: 220: {
  245. #####: 221: FH_TUERMODUL__MFHZ_copy = 0;
  246. #####: 222: sc_FH_TUERMODUL_CTRL_2329_1 = 0;
  247. -: 223:
  248. -: 224: }
  249. #####: 225: if ((sc_FH_TUERMODUL_CTRL_1781_10 != 0) && (time - sc_FH_TUERMODUL_CTRL_1781_10 >= 0.5))
  250. branch 0 never executed
  251. branch 1 never executed
  252. branch 2 never executed
  253. branch 3 never executed
  254. -: 226: {
  255. #####: 227: sc_FH_TUERMODUL_CTRL_1781_10 = 0;
  256. -: 228:
  257. -: 229: }
  258. #####: 230: if ((sc_FH_TUERMODUL_CTRL_1739_10 != 0) && (time - sc_FH_TUERMODUL_CTRL_1739_10 >= 0.5))
  259. branch 0 never executed
  260. branch 1 never executed
  261. branch 2 never executed
  262. branch 3 never executed
  263. -: 231: {
  264. #####: 232: sc_FH_TUERMODUL_CTRL_1739_10 = 0;
  265. -: 233:
  266. -: 234: }
  267. #####: 235: if ((SYS_bit_get(Bitlist, entered_EINSCHALTSTROM_MESSEN_BLOCK_ERKENNUNG_CTRL_IDX) || BLOCK_ERKENNUNG_CTRL__N != BLOCK_ERKENNUNG_CTRL__N_old))
  268. branch 0 never executed
  269. branch 1 never executed
  270. branch 2 never executed
  271. branch 3 never executed
  272. #####: 236: tm_entered_EINSCHALTSTROM_MESSEN_BLOCK_ERKENNUNG_CTRLch_BLOCK_ERKENNUNG_CTRL__N_copy = time;
  273. -: 237:
  274. -: 238:
  275. #####: 239:}/** interface **/
  276. -: 240:
  277. -: 241:
  278. function init called 0 returned 0% blocks executed 0%
  279. #####: 242:void init(void)
  280. -: 243:{
  281. #####: 244: tm_entered_EINSCHALTSTROM_MESSEN_BLOCK_ERKENNUNG_CTRLch_BLOCK_ERKENNUNG_CTRL__N_copy = 0;
  282. #####: 245: tm_entered_WIEDERHOLSPERRE_FH_TUERMODUL_CTRLexited_BEREIT_FH_TUERMODUL_CTRL = 0;
  283. #####: 246: tm_entered_WIEDERHOLSPERRE_FH_TUERMODUL_CTRL = 0;
  284. #####: 247: NICHT_INITIALISIERT_NICHT_INITIALISIERT_next_state = 0;
  285. #####: 248: ZENTRAL_KINDERSICHERUNG_CTRL_next_state = 0;
  286. #####: 249: MEC_KINDERSICHERUNG_CTRL_next_state = 0;
  287. #####: 250: KINDERSICHERUNG_CTRL_KINDERSICHERUNG_CTRL_next_state = 0;
  288. #####: 251: B_FH_TUERMODUL_CTRL_next_state = 0;
  289. #####: 252: A_FH_TUERMODUL_CTRL_next_state = 0;
  290. #####: 253: WIEDERHOLSPERRE_FH_TUERMODUL_CTRL_next_state = 0;
  291. #####: 254: INITIALISIERT_FH_TUERMODUL_CTRL_next_state = 0;
  292. #####: 255: TIPP_SCHLIESSEN_FH_TUERMODUL_CTRL_next_state = 0;
  293. #####: 256: MANUELL_SCHLIESSEN_FH_TUERMODUL_CTRL_next_state = 0;
  294. #####: 257: OEFFNEN_FH_TUERMODUL_CTRL_next_state = 0;
  295. #####: 258: SCHLIESSEN_FH_TUERMODUL_CTRL_next_state = 0;
  296. #####: 259: FH_STEUERUNG_DUMMY_FH_STEUERUNG_DUMMY_next_state = 0;
  297. #####: 260: EINKLEMMSCHUTZ_CTRL_EINKLEMMSCHUTZ_CTRL_next_state = 0;
  298. #####: 261: BEWEGUNG_BLOCK_ERKENNUNG_CTRL_next_state = 0;
  299. #####: 262: BLOCK_ERKENNUNG_CTRL_BLOCK_ERKENNUNG_CTRL_next_state = 0;
  300. -: 263:
  301. -: 264:
  302. #####: 265:}/** init **/
  303. -: 266:
  304. -: 267:
  305. -: 268:
  306. function generic_KINDERSICHERUNG_CTRL called 0 returned 0% blocks executed 0%
  307. #####: 269:void generic_KINDERSICHERUNG_CTRL(void)
  308. -: 270:{
  309. #####: 271: if (SYS_bit_get(Bitlist,active_KINDERSICHERUNG_CTRL_IDX))
  310. branch 0 never executed
  311. branch 1 never executed
  312. -: 272: {
  313. #####: 273: switch (KINDERSICHERUNG_CTRL_KINDERSICHERUNG_CTRL_next_state)
  314. branch 0 never executed
  315. branch 1 never executed
  316. branch 2 never executed
  317. branch 3 never executed
  318. -: 274: {
  319. #####: 275: case 1 : /** state ZENTRAL in chart KINDERSICHERUNG_CTRL **/
  320. -: 276: {
  321. #####: 277: if (!(FH_TUERMODUL__SFHA_ZENTRAL || FH_TUERMODUL__SFHZ_ZENTRAL))
  322. branch 0 never executed
  323. branch 1 never executed
  324. branch 2 never executed
  325. branch 3 never executed
  326. -: 278: {
  327. #####: 279: stable = 0;
  328. #####: 280: FH_TUERMODUL__SFHZ_copy = 0;
  329. #####: 281: FH_TUERMODUL__SFHA_copy = 0;
  330. -: 282:
  331. #####: 283: KINDERSICHERUNG_CTRL_KINDERSICHERUNG_CTRL_next_state = 3;
  332. #####: 284: ZENTRAL_KINDERSICHERUNG_CTRL_next_state = 0;
  333. #####: 285: break;
  334. -: 286: }
  335. #####: 287: switch (ZENTRAL_KINDERSICHERUNG_CTRL_next_state)
  336. branch 0 never executed
  337. branch 1 never executed
  338. -: 288: {
  339. #####: 289: case 1 : /** state IN_ZENTRAL in chart KINDERSICHERUNG_CTRL **/
  340. -: 290: {
  341. #####: 291: if ((FH_TUERMODUL__SFHA_ZENTRAL && !(FH_TUERMODUL__SFHA_ZENTRAL_old)))
  342. branch 0 never executed
  343. branch 1 never executed
  344. branch 2 never executed
  345. branch 3 never executed
  346. -: 292: {
  347. #####: 293: stable = 0;
  348. #####: 294: FH_TUERMODUL__SFHA_copy = 1;
  349. -: 295:
  350. #####: 296: ZENTRAL_KINDERSICHERUNG_CTRL_next_state = 1;
  351. #####: 297: break;
  352. -: 298: }
  353. #####: 299: if ((FH_TUERMODUL__SFHZ_ZENTRAL && !(FH_TUERMODUL__SFHZ_ZENTRAL_old)))
  354. branch 0 never executed
  355. branch 1 never executed
  356. branch 2 never executed
  357. branch 3 never executed
  358. -: 300: {
  359. #####: 301: stable = 0;
  360. #####: 302: FH_TUERMODUL__SFHZ_copy = 1;
  361. -: 303:
  362. #####: 304: ZENTRAL_KINDERSICHERUNG_CTRL_next_state = 1;
  363. #####: 305: break;
  364. -: 306: }
  365. #####: 307: if ((!(FH_TUERMODUL__SFHA_ZENTRAL) && FH_TUERMODUL__SFHA_ZENTRAL_old))
  366. branch 0 never executed
  367. branch 1 never executed
  368. branch 2 never executed
  369. branch 3 never executed
  370. -: 308: {
  371. #####: 309: stable = 0;
  372. #####: 310: FH_TUERMODUL__SFHA_copy = 0;
  373. -: 311:
  374. #####: 312: ZENTRAL_KINDERSICHERUNG_CTRL_next_state = 1;
  375. #####: 313: break;
  376. -: 314: }
  377. #####: 315: if ((!(FH_TUERMODUL__SFHZ_ZENTRAL) && FH_TUERMODUL__SFHZ_ZENTRAL_old))
  378. branch 0 never executed
  379. branch 1 never executed
  380. branch 2 never executed
  381. branch 3 never executed
  382. -: 316: {
  383. #####: 317: stable = 0;
  384. #####: 318: FH_TUERMODUL__SFHZ_copy = 0;
  385. -: 319:
  386. #####: 320: ZENTRAL_KINDERSICHERUNG_CTRL_next_state = 1;
  387. #####: 321: break;
  388. -: 322: }
  389. #####: 323: break;
  390. -: 324: }
  391. #####: 325: default:
  392. -: 326: {
  393. #####: 327: stable = 0;
  394. #####: 328: break;
  395. -: 329: }
  396. -: 330: }/** switch ZENTRAL_KINDERSICHERUNG_CTRL_next_state **/
  397. #####: 331: break;
  398. -: 332: }
  399. #####: 333: case 2 : /** state MEC in chart KINDERSICHERUNG_CTRL **/
  400. -: 334: {
  401. #####: 335: if (!(FH_TUERMODUL__SFHA_MEC || FH_TUERMODUL__SFHZ_MEC))
  402. branch 0 never executed
  403. branch 1 never executed
  404. branch 2 never executed
  405. branch 3 never executed
  406. -: 336: {
  407. #####: 337: stable = 0;
  408. #####: 338: FH_TUERMODUL__SFHZ_copy = 0;
  409. #####: 339: FH_TUERMODUL__SFHA_copy = 0;
  410. -: 340:
  411. #####: 341: KINDERSICHERUNG_CTRL_KINDERSICHERUNG_CTRL_next_state = 3;
  412. #####: 342: MEC_KINDERSICHERUNG_CTRL_next_state = 0;
  413. #####: 343: break;
  414. -: 344: }
  415. #####: 345: switch (MEC_KINDERSICHERUNG_CTRL_next_state)
  416. branch 0 never executed
  417. branch 1 never executed
  418. -: 346: {
  419. #####: 347: case 1 : /** state INMEC in chart KINDERSICHERUNG_CTRL **/
  420. -: 348: {
  421. #####: 349: if ((FH_TUERMODUL__SFHA_MEC && !(FH_TUERMODUL__SFHA_MEC_old)))
  422. branch 0 never executed
  423. branch 1 never executed
  424. branch 2 never executed
  425. branch 3 never executed
  426. -: 350: {
  427. #####: 351: stable = 0;
  428. #####: 352: FH_TUERMODUL__SFHA_copy = 1;
  429. -: 353:
  430. #####: 354: MEC_KINDERSICHERUNG_CTRL_next_state = 1;
  431. #####: 355: break;
  432. -: 356: }
  433. #####: 357: if ((FH_TUERMODUL__SFHZ_MEC && !(FH_TUERMODUL__SFHZ_MEC_old)))
  434. branch 0 never executed
  435. branch 1 never executed
  436. branch 2 never executed
  437. branch 3 never executed
  438. -: 358: {
  439. #####: 359: stable = 0;
  440. #####: 360: FH_TUERMODUL__SFHZ_copy = 1;
  441. -: 361:
  442. #####: 362: MEC_KINDERSICHERUNG_CTRL_next_state = 1;
  443. #####: 363: break;
  444. -: 364: }
  445. #####: 365: if ((!(FH_TUERMODUL__SFHA_MEC) && FH_TUERMODUL__SFHA_MEC_old))
  446. branch 0 never executed
  447. branch 1 never executed
  448. branch 2 never executed
  449. branch 3 never executed
  450. -: 366: {
  451. #####: 367: stable = 0;
  452. #####: 368: FH_TUERMODUL__SFHA_copy = 0;
  453. -: 369:
  454. #####: 370: MEC_KINDERSICHERUNG_CTRL_next_state = 1;
  455. #####: 371: break;
  456. -: 372: }
  457. #####: 373: if ((!(FH_TUERMODUL__SFHZ_MEC) && FH_TUERMODUL__SFHZ_MEC_old))
  458. branch 0 never executed
  459. branch 1 never executed
  460. branch 2 never executed
  461. branch 3 never executed
  462. -: 374: {
  463. #####: 375: stable = 0;
  464. #####: 376: FH_TUERMODUL__SFHZ_copy = 0;
  465. -: 377:
  466. #####: 378: MEC_KINDERSICHERUNG_CTRL_next_state = 1;
  467. #####: 379: break;
  468. -: 380: }
  469. #####: 381: break;
  470. -: 382: }
  471. #####: 383: default:
  472. -: 384: {
  473. #####: 385: stable = 0;
  474. #####: 386: break;
  475. -: 387: }
  476. -: 388: }/** switch MEC_KINDERSICHERUNG_CTRL_next_state **/
  477. #####: 389: break;
  478. -: 390: }
  479. #####: 391: case 3 : /** state WAITING in chart KINDERSICHERUNG_CTRL **/
  480. -: 392: {
  481. #####: 393: if ((!FH_TUERMODUL__KL_50) && (FH_TUERMODUL__SFHZ_MEC && FH_TUERMODUL__SFHA_MEC))
  482. branch 0 never executed
  483. branch 1 never executed
  484. branch 2 never executed
  485. branch 3 never executed
  486. branch 4 never executed
  487. branch 5 never executed
  488. -: 394: {
  489. #####: 395: stable = 0;
  490. #####: 396: FH_TUERMODUL__SFHZ_copy = 1;
  491. #####: 397: FH_TUERMODUL__SFHA_copy = 1;
  492. -: 398:
  493. #####: 399: KINDERSICHERUNG_CTRL_KINDERSICHERUNG_CTRL_next_state = 2;
  494. #####: 400: break;
  495. -: 401: }
  496. #####: 402: if ((!FH_TUERMODUL__KL_50) && (FH_TUERMODUL__SFHZ_MEC && !FH_TUERMODUL__SFHA_MEC))
  497. branch 0 never executed
  498. branch 1 never executed
  499. branch 2 never executed
  500. branch 3 never executed
  501. branch 4 never executed
  502. branch 5 never executed
  503. -: 403: {
  504. #####: 404: stable = 0;
  505. #####: 405: FH_TUERMODUL__SFHZ_copy = 1;
  506. -: 406:
  507. #####: 407: KINDERSICHERUNG_CTRL_KINDERSICHERUNG_CTRL_next_state = 2;
  508. #####: 408: break;
  509. -: 409: }
  510. #####: 410: if ((!FH_TUERMODUL__KL_50) && (!FH_TUERMODUL__SFHZ_MEC && FH_TUERMODUL__SFHA_MEC))
  511. branch 0 never executed
  512. branch 1 never executed
  513. branch 2 never executed
  514. branch 3 never executed
  515. branch 4 never executed
  516. branch 5 never executed
  517. -: 411: {
  518. #####: 412: stable = 0;
  519. #####: 413: FH_TUERMODUL__SFHA_copy = 1;
  520. -: 414:
  521. #####: 415: KINDERSICHERUNG_CTRL_KINDERSICHERUNG_CTRL_next_state = 2;
  522. #####: 416: break;
  523. -: 417: }
  524. #####: 418: if ((!FH_TUERMODUL__SFHZ_ZENTRAL && FH_TUERMODUL__SFHA_ZENTRAL && !FH_TUERMODUL__KL_50))
  525. branch 0 never executed
  526. branch 1 never executed
  527. branch 2 never executed
  528. branch 3 never executed
  529. branch 4 never executed
  530. branch 5 never executed
  531. -: 419: {
  532. #####: 420: stable = 0;
  533. #####: 421: FH_TUERMODUL__SFHA_copy = 1;
  534. -: 422:
  535. #####: 423: KINDERSICHERUNG_CTRL_KINDERSICHERUNG_CTRL_next_state = 1;
  536. #####: 424: break;
  537. -: 425: }
  538. #####: 426: if ((FH_TUERMODUL__SFHZ_ZENTRAL && FH_TUERMODUL__SFHA_ZENTRAL))
  539. branch 0 never executed
  540. branch 1 never executed
  541. branch 2 never executed
  542. branch 3 never executed
  543. -: 427: {
  544. #####: 428: stable = 0;
  545. #####: 429: FH_TUERMODUL__SFHA_copy = 1;
  546. #####: 430: FH_TUERMODUL__SFHZ_copy = 1;
  547. -: 431:
  548. #####: 432: KINDERSICHERUNG_CTRL_KINDERSICHERUNG_CTRL_next_state = 1;
  549. #####: 433: break;
  550. -: 434: }
  551. #####: 435: if ((FH_TUERMODUL__SFHZ_ZENTRAL && !FH_TUERMODUL__SFHA_ZENTRAL && !FH_TUERMODUL__KL_50))
  552. branch 0 never executed
  553. branch 1 never executed
  554. branch 2 never executed
  555. branch 3 never executed
  556. branch 4 never executed
  557. branch 5 never executed
  558. -: 436: {
  559. #####: 437: stable = 0;
  560. #####: 438: FH_TUERMODUL__SFHZ_copy = 1;
  561. -: 439:
  562. #####: 440: KINDERSICHERUNG_CTRL_KINDERSICHERUNG_CTRL_next_state = 1;
  563. #####: 441: break;
  564. -: 442: }
  565. #####: 443: break;
  566. -: 444: }
  567. #####: 445: default:
  568. -: 446: {
  569. #####: 447: stable = 0;
  570. #####: 448: KINDERSICHERUNG_CTRL_KINDERSICHERUNG_CTRL_next_state = 3;
  571. #####: 449: break;
  572. -: 450: }
  573. -: 451: }/** switch KINDERSICHERUNG_CTRL_KINDERSICHERUNG_CTRL_next_state **/
  574. #####: 452: }
  575. #####: 453:}
  576. -: 454:
  577. function generic_FH_TUERMODUL_CTRL called 0 returned 0% blocks executed 0%
  578. #####: 455:void generic_FH_TUERMODUL_CTRL(void)
  579. -: 456:{
  580. #####: 457: if (!SYS_bit_get(Bitlist, active_FH_TUERMODUL_CTRL_IDX) && SYS_bit_get(Bitlist,active_FH_TUERMODUL_CTRL_old_IDX) && !SYS_bit_get(Bitlist,active_FH_TUERMODUL_CTRL_copy_IDX))
  581. branch 0 never executed
  582. branch 1 never executed
  583. branch 2 never executed
  584. branch 3 never executed
  585. branch 4 never executed
  586. branch 5 never executed
  587. -: 458: {
  588. #####: 459: SYS_bit_clr (Bitlist, entered_WIEDERHOLSPERRE_FH_TUERMODUL_CTRL_IDX);
  589. #####: 460: SYS_bit_clr (Bitlist, exited_BEREIT_FH_TUERMODUL_CTRL_IDX);
  590. -: 461: }
  591. #####: 462: if (SYS_bit_get(Bitlist,active_FH_TUERMODUL_CTRL_IDX))
  592. branch 0 never executed
  593. branch 1 never executed
  594. -: 463: {
  595. #####: 464: if (!SYS_bit_get(Bitlist, active_KINDERSICHERUNG_CTRL_IDX))
  596. branch 0 never executed
  597. branch 1 never executed
  598. -: 465: {
  599. #####: 466: KINDERSICHERUNG_CTRL_KINDERSICHERUNG_CTRL_next_state = 3;
  600. -: 467: }
  601. #####: 468: SYS_bit_clr (Bitlist, active_KINDERSICHERUNG_CTRL_copy_IDX);
  602. #####: 469: if (!SYS_bit_get(Bitlist, active_BLOCK_ERKENNUNG_CTRL_IDX))
  603. branch 0 never executed
  604. branch 1 never executed
  605. -: 470: {
  606. #####: 471: SYS_bit_clr (Bitlist, entered_EINSCHALTSTROM_MESSEN_BLOCK_ERKENNUNG_CTRL_IDX);
  607. #####: 472: BLOCK_ERKENNUNG_CTRL_BLOCK_ERKENNUNG_CTRL_next_state = 1;
  608. -: 473: }
  609. #####: 474: SYS_bit_clr (Bitlist, active_BLOCK_ERKENNUNG_CTRL_copy_IDX);
  610. #####: 475: SYS_bit_set (Bitlist, active_KINDERSICHERUNG_CTRL_copy_IDX);
  611. #####: 476: SYS_bit_set (Bitlist, active_BLOCK_ERKENNUNG_CTRL_copy_IDX);
  612. #####: 477: switch (B_FH_TUERMODUL_CTRL_next_state)
  613. branch 0 never executed
  614. branch 1 never executed
  615. branch 2 never executed
  616. branch 3 never executed
  617. -: 478: {
  618. #####: 479: case 1 : /** state ZAEHLER_WHSP_ZU_HOCH in chart FH_TUERMODUL_CTRL **/
  619. -: 480: {
  620. #####: 481: if ((FH_TUERMODUL_CTRL__N == 59 && !(FH_TUERMODUL_CTRL__N_old == 59)))
  621. branch 0 never executed
  622. branch 1 never executed
  623. branch 2 never executed
  624. branch 3 never executed
  625. -: 482: {
  626. #####: 483: stable = 0;
  627. -: 484:
  628. #####: 485: B_FH_TUERMODUL_CTRL_next_state = 3;
  629. #####: 486: INITIALISIERT_FH_TUERMODUL_CTRL_next_state = 3;
  630. #####: 487: break;
  631. -: 488: }
  632. #####: 489: break;
  633. -: 490: }
  634. #####: 491: case 2 : /** state NICHT_INITIALISIERT in chart FH_TUERMODUL_CTRL **/
  635. -: 492: {
  636. #####: 493: if (((FH_TUERMODUL__BLOCK && !(FH_TUERMODUL__BLOCK_old))) && ((FH_TUERMODUL__MFHZ)))
  637. branch 0 never executed
  638. branch 1 never executed
  639. branch 2 never executed
  640. branch 3 never executed
  641. branch 4 never executed
  642. branch 5 never executed
  643. -: 494: {
  644. #####: 495: stable = 0;
  645. #####: 496: FH_TUERMODUL__MFHZ_copy = 0;
  646. #####: 497: sc_FH_TUERMODUL_CTRL_2329_1 = time;
  647. -: 498:
  648. #####: 499: B_FH_TUERMODUL_CTRL_next_state = 3;
  649. #####: 500: INITIALISIERT_FH_TUERMODUL_CTRL_next_state = 3;
  650. #####: 501: break;
  651. -: 502: }
  652. #####: 503: switch (NICHT_INITIALISIERT_NICHT_INITIALISIERT_next_state)
  653. branch 0 never executed
  654. branch 1 never executed
  655. branch 2 never executed
  656. branch 3 never executed
  657. -: 504: {
  658. #####: 505: case 1 : /** state SCHLIESSEN in chart NICHT_INITIALISIERT **/
  659. -: 506: {
  660. #####: 507: if (!(FH_TUERMODUL__SFHZ))
  661. branch 0 never executed
  662. branch 1 never executed
  663. -: 508: {
  664. #####: 509: stable = 0;
  665. #####: 510: FH_TUERMODUL__MFHZ_copy = 0;
  666. -: 511:
  667. #####: 512: NICHT_INITIALISIERT_NICHT_INITIALISIERT_next_state = 3;
  668. #####: 513: break;
  669. -: 514: }
  670. #####: 515: break;
  671. -: 516: }
  672. #####: 517: case 2 : /** state OEFFNEN in chart NICHT_INITIALISIERT **/
  673. -: 518: {
  674. #####: 519: if (!(FH_TUERMODUL__SFHA))
  675. branch 0 never executed
  676. branch 1 never executed
  677. -: 520: {
  678. #####: 521: stable = 0;
  679. #####: 522: FH_TUERMODUL__MFHA_copy = 0;
  680. -: 523:
  681. #####: 524: NICHT_INITIALISIERT_NICHT_INITIALISIERT_next_state = 3;
  682. #####: 525: break;
  683. -: 526: }
  684. #####: 527: break;
  685. -: 528: }
  686. #####: 529: case 3 : /** state BEREIT in chart NICHT_INITIALISIERT **/
  687. -: 530: {
  688. #####: 531: if ((FH_TUERMODUL__SFHA))
  689. branch 0 never executed
  690. branch 1 never executed
  691. -: 532: {
  692. #####: 533: stable = 0;
  693. #####: 534: FH_TUERMODUL__MFHA_copy = 1;
  694. -: 535:
  695. #####: 536: NICHT_INITIALISIERT_NICHT_INITIALISIERT_next_state = 2;
  696. #####: 537: break;
  697. -: 538: }
  698. #####: 539: if ((FH_TUERMODUL__SFHZ))
  699. branch 0 never executed
  700. branch 1 never executed
  701. -: 540: {
  702. #####: 541: stable = 0;
  703. #####: 542: FH_TUERMODUL__MFHZ_copy = 1;
  704. -: 543:
  705. #####: 544: NICHT_INITIALISIERT_NICHT_INITIALISIERT_next_state = 1;
  706. #####: 545: break;
  707. -: 546: }
  708. #####: 547: break;
  709. -: 548: }
  710. #####: 549: default:
  711. -: 550: {
  712. #####: 551: stable = 0;
  713. #####: 552: NICHT_INITIALISIERT_NICHT_INITIALISIERT_next_state = 3;
  714. #####: 553: break;
  715. -: 554: }
  716. -: 555: }/** switch NICHT_INITIALISIERT_NICHT_INITIALISIERT_next_state **/
  717. #####: 556: break;
  718. -: 557: }
  719. #####: 558: case 3 : /** state INITIALISIERT in chart FH_TUERMODUL_CTRL **/
  720. -: 559: {
  721. #####: 560: if (((FH_TUERMODUL_CTRL__N > 60 && !(FH_TUERMODUL_CTRL__N_old > 60))) && ((!(FH_TUERMODUL_CTRL__INREVERS1 || FH_TUERMODUL_CTRL__INREVERS2))))
  722. branch 0 never executed
  723. branch 1 never executed
  724. branch 2 never executed
  725. branch 3 never executed
  726. branch 4 never executed
  727. branch 5 never executed
  728. branch 6 never executed
  729. branch 7 never executed
  730. -: 561: {
  731. #####: 562: stable = 0;
  732. #####: 563: FH_TUERMODUL__MFHZ_copy = 0;
  733. #####: 564: FH_TUERMODUL__MFHA_copy = 0;
  734. -: 565:
  735. #####: 566: B_FH_TUERMODUL_CTRL_next_state = 1;
  736. #####: 567: break;
  737. -: 568: }
  738. #####: 569: if (((FH_TUERMODUL__BLOCK && !(FH_TUERMODUL__BLOCK_old))) && ((FH_TUERMODUL__MFHA)))
  739. branch 0 never executed
  740. branch 1 never executed
  741. branch 2 never executed
  742. branch 3 never executed
  743. branch 4 never executed
  744. branch 5 never executed
  745. -: 570: {
  746. #####: 571: stable = 0;
  747. #####: 572: FH_TUERMODUL__MFHA_copy = 0;
  748. #####: 573: sc_FH_TUERMODUL_CTRL_2375_2 = time;
  749. -: 574:
  750. #####: 575: B_FH_TUERMODUL_CTRL_next_state = 2;
  751. #####: 576: NICHT_INITIALISIERT_NICHT_INITIALISIERT_next_state = 3;
  752. #####: 577: break;
  753. -: 578: }
  754. #####: 579: if (((FH_TUERMODUL__BLOCK && !(FH_TUERMODUL__BLOCK_old))) && ((FH_TUERMODUL__MFHZ)))
  755. branch 0 never executed
  756. branch 1 never executed
  757. branch 2 never executed
  758. branch 3 never executed
  759. branch 4 never executed
  760. branch 5 never executed
  761. -: 580: {
  762. #####: 581: stable = 0;
  763. #####: 582: FH_TUERMODUL__MFHZ_copy = 0;
  764. #####: 583: sc_FH_TUERMODUL_CTRL_2352_1 = time;
  765. -: 584:
  766. #####: 585: B_FH_TUERMODUL_CTRL_next_state = 2;
  767. #####: 586: NICHT_INITIALISIERT_NICHT_INITIALISIERT_next_state = 3;
  768. #####: 587: break;
  769. -: 588: }
  770. #####: 589: switch (INITIALISIERT_FH_TUERMODUL_CTRL_next_state)
  771. branch 0 never executed
  772. branch 1 never executed
  773. branch 2 never executed
  774. branch 3 never executed
  775. -: 590: {
  776. #####: 591: case 1 : /** state OEFFNEN in chart FH_TUERMODUL_CTRL **/
  777. -: 592: {
  778. #####: 593: if ((FH_TUERMODUL__POSITION >= 405))
  779. branch 0 never executed
  780. branch 1 never executed
  781. -: 594: {
  782. #####: 595: stable = 0;
  783. #####: 596: FH_TUERMODUL__MFHA_copy = 0;
  784. -: 597:
  785. #####: 598: INITIALISIERT_FH_TUERMODUL_CTRL_next_state = 3;
  786. #####: 599: break;
  787. -: 600: }
  788. #####: 601: switch (OEFFNEN_FH_TUERMODUL_CTRL_next_state)
  789. branch 0 never executed
  790. branch 1 never executed
  791. branch 2 never executed
  792. -: 602: {
  793. #####: 603: case 1 : /** state TIPP_OEFFNEN in chart FH_TUERMODUL_CTRL **/
  794. -: 604: {
  795. #####: 605: if ((FH_TUERMODUL__SFHZ && !(FH_TUERMODUL__SFHZ_old)) || (FH_TUERMODUL__SFHA && !(FH_TUERMODUL__SFHA_old)))
  796. branch 0 never executed
  797. branch 1 never executed
  798. branch 2 never executed
  799. branch 3 never executed
  800. branch 4 never executed
  801. branch 5 never executed
  802. branch 6 never executed
  803. branch 7 never executed
  804. -: 606: {
  805. #####: 607: stable = 0;
  806. #####: 608: FH_TUERMODUL__MFHA_copy = 0;
  807. -: 609:
  808. #####: 610: INITIALISIERT_FH_TUERMODUL_CTRL_next_state = 3;
  809. #####: 611: OEFFNEN_FH_TUERMODUL_CTRL_next_state = 0;
  810. #####: 612: break;
  811. -: 613: }
  812. #####: 614: break;
  813. -: 615: }
  814. #####: 616: case 2 : /** state MAN_OEFFNEN in chart FH_TUERMODUL_CTRL **/
  815. -: 617: {
  816. #####: 618: if ((FH_TUERMODUL__SFHZ && !(FH_TUERMODUL__SFHZ_old)))
  817. branch 0 never executed
  818. branch 1 never executed
  819. branch 2 never executed
  820. branch 3 never executed
  821. -: 619: {
  822. #####: 620: stable = 0;
  823. -: 621:
  824. #####: 622: OEFFNEN_FH_TUERMODUL_CTRL_next_state = 1;
  825. #####: 623: break;
  826. -: 624: }
  827. #####: 625: if ((!(FH_TUERMODUL__SFHA) && FH_TUERMODUL__SFHA_old))
  828. branch 0 never executed
  829. branch 1 never executed
  830. branch 2 never executed
  831. branch 3 never executed
  832. -: 626: {
  833. #####: 627: stable = 0;
  834. #####: 628: FH_TUERMODUL__MFHA_copy = 0;
  835. -: 629:
  836. #####: 630: INITIALISIERT_FH_TUERMODUL_CTRL_next_state = 3;
  837. #####: 631: OEFFNEN_FH_TUERMODUL_CTRL_next_state = 0;
  838. #####: 632: break;
  839. -: 633: }
  840. #####: 634: break;
  841. -: 635: }
  842. #####: 636: default:
  843. -: 637: {
  844. #####: 638: stable = 0;
  845. #####: 639: OEFFNEN_FH_TUERMODUL_CTRL_next_state = 2;
  846. #####: 640: break;
  847. -: 641: }
  848. -: 642: }/** switch OEFFNEN_FH_TUERMODUL_CTRL_next_state **/
  849. #####: 643: break;
  850. -: 644: }
  851. #####: 645: case 2 : /** state SCHLIESSEN in chart FH_TUERMODUL_CTRL **/
  852. -: 646: {
  853. #####: 647: if ((FH_TUERMODUL__POSITION <= 0))
  854. branch 0 never executed
  855. branch 1 never executed
  856. -: 648: {
  857. #####: 649: stable = 0;
  858. #####: 650: FH_TUERMODUL__MFHZ_copy = 0;
  859. -: 651:
  860. #####: 652: INITIALISIERT_FH_TUERMODUL_CTRL_next_state = 3;
  861. #####: 653: break;
  862. -: 654: }
  863. #####: 655: switch (SCHLIESSEN_FH_TUERMODUL_CTRL_next_state)
  864. branch 0 never executed
  865. branch 1 never executed
  866. branch 2 never executed
  867. -: 656: {
  868. #####: 657: case 1 : /** state TIPP_SCHLIESSEN in chart FH_TUERMODUL_CTRL **/
  869. -: 658: {
  870. #####: 659: if ((FH_TUERMODUL__SFHA && !(FH_TUERMODUL__SFHA_old)) || (FH_TUERMODUL__SFHZ && !(FH_TUERMODUL__SFHZ_old)))
  871. branch 0 never executed
  872. branch 1 never executed
  873. branch 2 never executed
  874. branch 3 never executed
  875. branch 4 never executed
  876. branch 5 never executed
  877. branch 6 never executed
  878. branch 7 never executed
  879. -: 660: {
  880. #####: 661: stable = 0;
  881. #####: 662: FH_TUERMODUL__MFHZ_copy = 0;
  882. -: 663:
  883. #####: 664: INITIALISIERT_FH_TUERMODUL_CTRL_next_state = 3;
  884. #####: 665: break;
  885. -: 666: }
  886. #####: 667: switch (TIPP_SCHLIESSEN_FH_TUERMODUL_CTRL_next_state)
  887. branch 0 never executed
  888. branch 1 never executed
  889. branch 2 never executed
  890. -: 668: {
  891. #####: 669: case 1 : /** state REVERSIEREN2 in chart FH_TUERMODUL_CTRL **/
  892. -: 670: {
  893. #####: 671: SYS_bit_clr (Bitlist, FH_TUERMODUL_CTRL__END_REVERS_copy_IDX);
  894. #####: 672: if (SYS_bit_get (Bitlist, FH_TUERMODUL_CTRL__END_REVERS_IDX))
  895. branch 0 never executed
  896. branch 1 never executed
  897. -: 673: {
  898. #####: 674: stable = 0;
  899. #####: 675: FH_TUERMODUL__MFHZ_copy = 1;
  900. #####: 676: FH_TUERMODUL_CTRL__INREVERS2_copy = 0;
  901. -: 677:
  902. #####: 678: TIPP_SCHLIESSEN_FH_TUERMODUL_CTRL_next_state = 2;
  903. #####: 679: FH_TUERMODUL__MFHA_copy = 0;
  904. -: 680:
  905. #####: 681: SYS_bit_set(Bitlist, active_EINKLEMMSCHUTZ_CTRL_copy_IDX);
  906. #####: 682: break;
  907. -: 683: }
  908. #####: 684: break;
  909. -: 685: }
  910. #####: 686: case 2 : /** state TIPP_SCHLIESSEN1 in chart FH_TUERMODUL_CTRL **/
  911. -: 687: {
  912. #####: 688: if (SYS_bit_get (Bitlist, FH_TUERMODUL__EINKLEMMUNG_IDX))
  913. branch 0 never executed
  914. branch 1 never executed
  915. -: 689: {
  916. #####: 690: stable = 0;
  917. #####: 691: FH_TUERMODUL_CTRL__INREVERS2_copy = 1;
  918. -: 692:
  919. #####: 693: SYS_bit_set (Bitlist, FH_TUERMODUL_CTRL__END_REVERS_copy_IDX);
  920. #####: 694: TIPP_SCHLIESSEN_FH_TUERMODUL_CTRL_next_state = 1;
  921. #####: 695: SYS_bit_clr(Bitlist, active_EINKLEMMSCHUTZ_CTRL_copy_IDX);
  922. #####: 696: FH_TUERMODUL__MFHZ_copy = 0;
  923. -: 697:
  924. #####: 698: sc_FH_TUERMODUL_CTRL_1781_10 = time;
  925. #####: 699: FH_TUERMODUL__MFHA_copy = 1;
  926. #####: 700: break;
  927. -: 701: }
  928. #####: 702: break;
  929. -: 703: }
  930. #####: 704: default:
  931. -: 705: {
  932. #####: 706: stable = 0;
  933. #####: 707: TIPP_SCHLIESSEN_FH_TUERMODUL_CTRL_next_state = 2;
  934. #####: 708: SYS_bit_set(Bitlist, active_EINKLEMMSCHUTZ_CTRL_copy_IDX);
  935. #####: 709: break;
  936. -: 710: }
  937. -: 711: }/** switch TIPP_SCHLIESSEN_FH_TUERMODUL_CTRL_next_state **/
  938. #####: 712: break;
  939. -: 713: }
  940. #####: 714: case 2 : /** state MANUELL_SCHLIESSEN in chart FH_TUERMODUL_CTRL **/
  941. -: 715: {
  942. #####: 716: if ((!(FH_TUERMODUL__SFHZ) && FH_TUERMODUL__SFHZ_old))
  943. branch 0 never executed
  944. branch 1 never executed
  945. branch 2 never executed
  946. branch 3 never executed
  947. -: 717: {
  948. #####: 718: stable = 0;
  949. #####: 719: FH_TUERMODUL__MFHZ_copy = 0;
  950. -: 720:
  951. #####: 721: INITIALISIERT_FH_TUERMODUL_CTRL_next_state = 3;
  952. #####: 722: break;
  953. -: 723: }
  954. #####: 724: switch (MANUELL_SCHLIESSEN_FH_TUERMODUL_CTRL_next_state)
  955. branch 0 never executed
  956. branch 1 never executed
  957. branch 2 never executed
  958. -: 725: {
  959. #####: 726: case 1 : /** state REVERSIEREN1 in chart FH_TUERMODUL_CTRL **/
  960. -: 727: {
  961. #####: 728: SYS_bit_clr (Bitlist, FH_TUERMODUL_CTRL__END_REVERS_copy_IDX);
  962. #####: 729: if (SYS_bit_get (Bitlist, FH_TUERMODUL_CTRL__END_REVERS_IDX))
  963. branch 0 never executed
  964. branch 1 never executed
  965. -: 730: {
  966. #####: 731: stable = 0;
  967. #####: 732: FH_TUERMODUL_CTRL__INREVERS1_copy = 0;
  968. -: 733:
  969. #####: 734: MANUELL_SCHLIESSEN_FH_TUERMODUL_CTRL_next_state = 2;
  970. #####: 735: FH_TUERMODUL__MFHA_copy = 0;
  971. -: 736:
  972. #####: 737: SYS_bit_set(Bitlist, active_EINKLEMMSCHUTZ_CTRL_copy_IDX);
  973. #####: 738: FH_TUERMODUL__MFHZ_copy = 1;
  974. #####: 739: break;
  975. -: 740: }
  976. #####: 741: break;
  977. -: 742: }
  978. #####: 743: case 2 : /** state MAN_SCHLIESSEN in chart FH_TUERMODUL_CTRL **/
  979. -: 744: {
  980. #####: 745: if (SYS_bit_get (Bitlist, FH_TUERMODUL__EINKLEMMUNG_IDX))
  981. branch 0 never executed
  982. branch 1 never executed
  983. -: 746: {
  984. #####: 747: stable = 0;
  985. #####: 748: FH_TUERMODUL__MFHZ_copy = 0;
  986. #####: 749: FH_TUERMODUL_CTRL__INREVERS1_copy = 1;
  987. -: 750:
  988. #####: 751: SYS_bit_set (Bitlist, FH_TUERMODUL_CTRL__END_REVERS_copy_IDX);
  989. #####: 752: MANUELL_SCHLIESSEN_FH_TUERMODUL_CTRL_next_state = 1;
  990. #####: 753: SYS_bit_clr(Bitlist, active_EINKLEMMSCHUTZ_CTRL_copy_IDX);
  991. -: 754:
  992. #####: 755: sc_FH_TUERMODUL_CTRL_1739_10 = time;
  993. #####: 756: FH_TUERMODUL__MFHA_copy = 1;
  994. #####: 757: break;
  995. -: 758: }
  996. #####: 759: if ((FH_TUERMODUL__SFHA && !(FH_TUERMODUL__SFHA_old)))
  997. branch 0 never executed
  998. branch 1 never executed
  999. branch 2 never executed
  1000. branch 3 never executed
  1001. -: 760: {
  1002. #####: 761: stable = 0;
  1003. -: 762:
  1004. #####: 763: SCHLIESSEN_FH_TUERMODUL_CTRL_next_state = 1;
  1005. #####: 764: MANUELL_SCHLIESSEN_FH_TUERMODUL_CTRL_next_state = 0;
  1006. #####: 765: break;
  1007. -: 766: }
  1008. #####: 767: break;
  1009. -: 768: }
  1010. #####: 769: default:
  1011. -: 770: {
  1012. #####: 771: stable = 0;
  1013. #####: 772: MANUELL_SCHLIESSEN_FH_TUERMODUL_CTRL_next_state = 2;
  1014. #####: 773: SYS_bit_set(Bitlist, active_EINKLEMMSCHUTZ_CTRL_copy_IDX);
  1015. #####: 774: FH_TUERMODUL__MFHZ_copy = 1;
  1016. #####: 775: break;
  1017. -: 776: }
  1018. -: 777: }/** switch MANUELL_SCHLIESSEN_FH_TUERMODUL_CTRL_next_state **/
  1019. #####: 778: break;
  1020. -: 779: }
  1021. #####: 780: default:
  1022. -: 781: {
  1023. #####: 782: stable = 0;
  1024. #####: 783: SCHLIESSEN_FH_TUERMODUL_CTRL_next_state = 2;
  1025. #####: 784: MANUELL_SCHLIESSEN_FH_TUERMODUL_CTRL_next_state = 2;
  1026. #####: 785: SYS_bit_set(Bitlist, active_EINKLEMMSCHUTZ_CTRL_copy_IDX);
  1027. #####: 786: FH_TUERMODUL__MFHZ_copy = 1;
  1028. #####: 787: break;
  1029. -: 788: }
  1030. -: 789: }/** switch SCHLIESSEN_FH_TUERMODUL_CTRL_next_state **/
  1031. #####: 790: break;
  1032. -: 791: }
  1033. #####: 792: case 3 : /** state BEREIT in chart FH_TUERMODUL_CTRL **/
  1034. -: 793: {
  1035. #####: 794: if (((FH_TUERMODUL__SFHZ && !(FH_TUERMODUL__SFHZ_old))) && ((FH_TUERMODUL__POSITION > 0)))
  1036. branch 0 never executed
  1037. branch 1 never executed
  1038. branch 2 never executed
  1039. branch 3 never executed
  1040. branch 4 never executed
  1041. branch 5 never executed
  1042. -: 795: {
  1043. #####: 796: stable = 0;
  1044. -: 797:
  1045. #####: 798: INITIALISIERT_FH_TUERMODUL_CTRL_next_state = 2;
  1046. #####: 799: SCHLIESSEN_FH_TUERMODUL_CTRL_next_state = 2;
  1047. #####: 800: MANUELL_SCHLIESSEN_FH_TUERMODUL_CTRL_next_state = 2;
  1048. #####: 801: SYS_bit_set(Bitlist, active_EINKLEMMSCHUTZ_CTRL_copy_IDX);
  1049. #####: 802: FH_TUERMODUL__MFHZ_copy = 1;
  1050. #####: 803: break;
  1051. -: 804: }
  1052. #####: 805: if (((FH_TUERMODUL__SFHA && !(FH_TUERMODUL__SFHA_old))) && ((FH_TUERMODUL__POSITION < 405)))
  1053. branch 0 never executed
  1054. branch 1 never executed
  1055. branch 2 never executed
  1056. branch 3 never executed
  1057. branch 4 never executed
  1058. branch 5 never executed
  1059. -: 806: {
  1060. #####: 807: stable = 0;
  1061. #####: 808: FH_TUERMODUL__MFHA_copy = 1;
  1062. -: 809:
  1063. #####: 810: INITIALISIERT_FH_TUERMODUL_CTRL_next_state = 1;
  1064. #####: 811: OEFFNEN_FH_TUERMODUL_CTRL_next_state = 2;
  1065. #####: 812: break;
  1066. -: 813: }
  1067. #####: 814: break;
  1068. -: 815: }
  1069. #####: 816: default:
  1070. -: 817: {
  1071. #####: 818: stable = 0;
  1072. #####: 819: INITIALISIERT_FH_TUERMODUL_CTRL_next_state = 3;
  1073. #####: 820: break;
  1074. -: 821: }
  1075. -: 822: }/** switch INITIALISIERT_FH_TUERMODUL_CTRL_next_state **/
  1076. #####: 823: break;
  1077. -: 824: }
  1078. #####: 825: default:
  1079. -: 826: {
  1080. #####: 827: stable = 0;
  1081. #####: 828: B_FH_TUERMODUL_CTRL_next_state = 2;
  1082. #####: 829: break;
  1083. -: 830: }
  1084. -: 831: }/** switch B_FH_TUERMODUL_CTRL_next_state **/
  1085. #####: 832: switch (A_FH_TUERMODUL_CTRL_next_state)
  1086. branch 0 never executed
  1087. branch 1 never executed
  1088. -: 833: {
  1089. #####: 834: case 1 : /** state WIEDERHOLSPERRE in chart FH_TUERMODUL_CTRL **/
  1090. -: 835: {
  1091. #####: 836: SYS_bit_clr (Bitlist, entered_WIEDERHOLSPERRE_FH_TUERMODUL_CTRL_copy_IDX);
  1092. #####: 837: if ((step == 1 && tm_entered_WIEDERHOLSPERRE_FH_TUERMODUL_CTRLexited_BEREIT_FH_TUERMODUL_CTRL != 0 && (time - tm_entered_WIEDERHOLSPERRE_FH_TUERMODUL_CTRLexited_BEREIT_FH_TUERMODUL_CTRL == 1)) && ((FH_TUERMODUL__MFHZ || FH_TUERMODUL__MFHA)))
  1093. branch 0 never executed
  1094. branch 1 never executed
  1095. branch 2 never executed
  1096. branch 3 never executed
  1097. branch 4 never executed
  1098. branch 5 never executed
  1099. branch 6 never executed
  1100. branch 7 never executed
  1101. branch 8 never executed
  1102. branch 9 never executed
  1103. -: 838: {
  1104. #####: 839: stable = 0;
  1105. #####: 840: FH_TUERMODUL_CTRL__N = FH_TUERMODUL_CTRL__N + 1;
  1106. -: 841:
  1107. #####: 842: A_FH_TUERMODUL_CTRL_next_state = 1;
  1108. #####: 843: SYS_bit_set (Bitlist, entered_WIEDERHOLSPERRE_FH_TUERMODUL_CTRL_copy_IDX);
  1109. #####: 844: WIEDERHOLSPERRE_FH_TUERMODUL_CTRL_next_state = 1;
  1110. #####: 845: break;
  1111. -: 846: }
  1112. #####: 847: switch (WIEDERHOLSPERRE_FH_TUERMODUL_CTRL_next_state)
  1113. branch 0 never executed
  1114. branch 1 never executed
  1115. -: 848: {
  1116. #####: 849: case 1 : /** state WDHSP in chart FH_TUERMODUL_CTRL **/
  1117. -: 850: {
  1118. #####: 851: if ((step == 1 && tm_entered_WIEDERHOLSPERRE_FH_TUERMODUL_CTRL != 0 && (time - tm_entered_WIEDERHOLSPERRE_FH_TUERMODUL_CTRL == 3)) && (((!(FH_TUERMODUL__MFHZ || FH_TUERMODUL__MFHA)) && FH_TUERMODUL_CTRL__N > 0)))
  1119. branch 0 never executed
  1120. branch 1 never executed
  1121. branch 2 never executed
  1122. branch 3 never executed
  1123. branch 4 never executed
  1124. branch 5 never executed
  1125. branch 6 never executed
  1126. branch 7 never executed
  1127. branch 8 never executed
  1128. branch 9 never executed
  1129. branch 10 never executed
  1130. branch 11 never executed
  1131. -: 852: {
  1132. #####: 853: stable = 0;
  1133. #####: 854: FH_TUERMODUL_CTRL__N = FH_TUERMODUL_CTRL__N - 1;
  1134. -: 855:
  1135. #####: 856: WIEDERHOLSPERRE_FH_TUERMODUL_CTRL_next_state = 1;
  1136. #####: 857: break;
  1137. -: 858: }
  1138. #####: 859: break;
  1139. -: 860: }
  1140. #####: 861: default:
  1141. -: 862: {
  1142. #####: 863: stable = 0;
  1143. #####: 864: SYS_bit_set (Bitlist, entered_WIEDERHOLSPERRE_FH_TUERMODUL_CTRL_copy_IDX);
  1144. #####: 865: WIEDERHOLSPERRE_FH_TUERMODUL_CTRL_next_state = 1;
  1145. #####: 866: break;
  1146. -: 867: }
  1147. -: 868: }/** switch WIEDERHOLSPERRE_FH_TUERMODUL_CTRL_next_state **/
  1148. #####: 869: break;
  1149. -: 870: }
  1150. #####: 871: default:
  1151. -: 872: {
  1152. #####: 873: stable = 0;
  1153. #####: 874: FH_TUERMODUL_CTRL__N = 0;
  1154. #####: 875: A_FH_TUERMODUL_CTRL_next_state = 1;
  1155. #####: 876: SYS_bit_set (Bitlist, entered_WIEDERHOLSPERRE_FH_TUERMODUL_CTRL_copy_IDX);
  1156. #####: 877: WIEDERHOLSPERRE_FH_TUERMODUL_CTRL_next_state = 1;
  1157. #####: 878: break;
  1158. -: 879: }
  1159. -: 880: }/** switch A_FH_TUERMODUL_CTRL_next_state **/
  1160. #####: 881: SYS_bit_cpy(Bitlist, entered_WIEDERHOLSPERRE_FH_TUERMODUL_CTRL_copy_IDX, Bitlist, entered_WIEDERHOLSPERRE_FH_TUERMODUL_CTRL_IDX);
  1161. #####: 882: SYS_bit_cpy (Bitlist, exited_BEREIT_FH_TUERMODUL_CTRL_copy_IDX, Bitlist, exited_BEREIT_FH_TUERMODUL_CTRL_IDX);
  1162. -: 883: }
  1163. #####: 884:}
  1164. -: 885:
  1165. function generic_EINKLEMMSCHUTZ_CTRL called 0 returned 0% blocks executed 0%
  1166. #####: 886:void generic_EINKLEMMSCHUTZ_CTRL(void)
  1167. -: 887:{
  1168. #####: 888: if (SYS_bit_get(Bitlist,active_EINKLEMMSCHUTZ_CTRL_IDX))
  1169. branch 0 never executed
  1170. branch 1 never executed
  1171. -: 889: {
  1172. #####: 890: switch (EINKLEMMSCHUTZ_CTRL_EINKLEMMSCHUTZ_CTRL_next_state)
  1173. branch 0 never executed
  1174. branch 1 never executed
  1175. branch 2 never executed
  1176. -: 891: {
  1177. #####: 892: case 1 : /** state NORMALBETRIEB in chart EINKLEMMSCHUTZ_CTRL **/
  1178. -: 893: {
  1179. #####: 894: if (((FH_TUERMODUL__EKS_LEISTE_AKTIV && !(FH_TUERMODUL__EKS_LEISTE_AKTIV_old))) && ((!(FH_TUERMODUL__SFHZ && FH_TUERMODUL__SFHA))))
  1180. branch 0 never executed
  1181. branch 1 never executed
  1182. branch 2 never executed
  1183. branch 3 never executed
  1184. branch 4 never executed
  1185. branch 5 never executed
  1186. branch 6 never executed
  1187. branch 7 never executed
  1188. -: 895: {
  1189. #####: 896: stable = 0;
  1190. -: 897:
  1191. #####: 898: SYS_bit_set (Bitlist, FH_TUERMODUL__EINKLEMMUNG_IDX);
  1192. #####: 899: EINKLEMMSCHUTZ_CTRL_EINKLEMMSCHUTZ_CTRL_next_state = 2;
  1193. #####: 900: break;
  1194. -: 901: }
  1195. #####: 902: break;
  1196. -: 903: }
  1197. #####: 904: case 2 : /** state EINKLEMMUNG in chart EINKLEMMSCHUTZ_CTRL **/
  1198. -: 905: {
  1199. #####: 906: SYS_bit_clr (Bitlist, FH_TUERMODUL__EINKLEMMUNG_IDX);
  1200. #####: 907: if ((!(FH_TUERMODUL__EKS_LEISTE_AKTIV) && FH_TUERMODUL__EKS_LEISTE_AKTIV_old))
  1201. branch 0 never executed
  1202. branch 1 never executed
  1203. branch 2 never executed
  1204. branch 3 never executed
  1205. -: 908: {
  1206. #####: 909: stable = 0;
  1207. -: 910:
  1208. #####: 911: EINKLEMMSCHUTZ_CTRL_EINKLEMMSCHUTZ_CTRL_next_state = 1;
  1209. #####: 912: break;
  1210. -: 913: }
  1211. #####: 914: break;
  1212. -: 915: }
  1213. #####: 916: default:
  1214. -: 917: {
  1215. #####: 918: stable = 0;
  1216. #####: 919: EINKLEMMSCHUTZ_CTRL_EINKLEMMSCHUTZ_CTRL_next_state = 1;
  1217. #####: 920: break;
  1218. -: 921: }
  1219. -: 922: }/** switch EINKLEMMSCHUTZ_CTRL_EINKLEMMSCHUTZ_CTRL_next_state **/
  1220. #####: 923: }
  1221. #####: 924:}
  1222. -: 925:
  1223. function generic_BLOCK_ERKENNUNG_CTRL called 0 returned 0% blocks executed 0%
  1224. #####: 926:void generic_BLOCK_ERKENNUNG_CTRL(void)
  1225. -: 927:{
  1226. #####: 928: if (!SYS_bit_get(Bitlist, active_BLOCK_ERKENNUNG_CTRL_IDX) && SYS_bit_get(Bitlist,active_BLOCK_ERKENNUNG_CTRL_old_IDX) && !SYS_bit_get(Bitlist,active_BLOCK_ERKENNUNG_CTRL_copy_IDX))
  1227. branch 0 never executed
  1228. branch 1 never executed
  1229. branch 2 never executed
  1230. branch 3 never executed
  1231. branch 4 never executed
  1232. branch 5 never executed
  1233. -: 929: {
  1234. #####: 930: SYS_bit_clr (Bitlist, entered_EINSCHALTSTROM_MESSEN_BLOCK_ERKENNUNG_CTRL_IDX);
  1235. -: 931: }
  1236. #####: 932: if (SYS_bit_get(Bitlist,active_BLOCK_ERKENNUNG_CTRL_IDX))
  1237. branch 0 never executed
  1238. branch 1 never executed
  1239. -: 933: {
  1240. #####: 934: switch (BLOCK_ERKENNUNG_CTRL_BLOCK_ERKENNUNG_CTRL_next_state)
  1241. branch 0 never executed
  1242. branch 1 never executed
  1243. branch 2 never executed
  1244. -: 935: {
  1245. #####: 936: case 1 : /** state KEINE_BEWEGUNG in chart BLOCK_ERKENNUNG_CTRL **/
  1246. -: 937: {
  1247. #####: 938: if ((FH_TUERMODUL__I_EIN != FH_TUERMODUL__I_EIN_old) && ((FH_TUERMODUL__I_EIN > 0)))
  1248. branch 0 never executed
  1249. branch 1 never executed
  1250. branch 2 never executed
  1251. branch 3 never executed
  1252. -: 939: {
  1253. #####: 940: stable = 0;
  1254. #####: 941: FH_TUERMODUL__BLOCK_copy = 0;
  1255. -: 942:
  1256. #####: 943: BLOCK_ERKENNUNG_CTRL_BLOCK_ERKENNUNG_CTRL_next_state = 2;
  1257. #####: 944: BLOCK_ERKENNUNG_CTRL__N = 0;
  1258. #####: 945: BLOCK_ERKENNUNG_CTRL__I_EIN_MAX = 2;
  1259. #####: 946: BEWEGUNG_BLOCK_ERKENNUNG_CTRL_next_state = 3;
  1260. #####: 947: SYS_bit_set (Bitlist, entered_EINSCHALTSTROM_MESSEN_BLOCK_ERKENNUNG_CTRL_IDX);
  1261. #####: 948: break;
  1262. -: 949: }
  1263. #####: 950: break;
  1264. -: 951: }
  1265. #####: 952: case 2 : /** state BEWEGUNG in chart BLOCK_ERKENNUNG_CTRL **/
  1266. -: 953: {
  1267. #####: 954: if ((!(FH_TUERMODUL__MFHA) && FH_TUERMODUL__MFHA_old) || (!(FH_TUERMODUL__MFHZ) && FH_TUERMODUL__MFHZ_old))
  1268. branch 0 never executed
  1269. branch 1 never executed
  1270. branch 2 never executed
  1271. branch 3 never executed
  1272. branch 4 never executed
  1273. branch 5 never executed
  1274. branch 6 never executed
  1275. branch 7 never executed
  1276. -: 955: {
  1277. #####: 956: stable = 0;
  1278. -: 957:
  1279. #####: 958: BLOCK_ERKENNUNG_CTRL_BLOCK_ERKENNUNG_CTRL_next_state = 1;
  1280. #####: 959: BEWEGUNG_BLOCK_ERKENNUNG_CTRL_next_state = 0;
  1281. #####: 960: break;
  1282. -: 961: }
  1283. #####: 962: switch (BEWEGUNG_BLOCK_ERKENNUNG_CTRL_next_state)
  1284. branch 0 never executed
  1285. branch 1 never executed
  1286. branch 2 never executed
  1287. branch 3 never executed
  1288. -: 963: {
  1289. #####: 964: case 1 : /** state FENSTER_BLOCKIERT in chart BLOCK_ERKENNUNG_CTRL **/
  1290. -: 965: {
  1291. #####: 966: break;
  1292. -: 967: }
  1293. #####: 968: case 2 : /** state FENSTER_BEWEGT_SICH in chart BLOCK_ERKENNUNG_CTRL **/
  1294. -: 969: {
  1295. #####: 970: if ((FH_TUERMODUL__I_EIN > (BLOCK_ERKENNUNG_CTRL__I_EIN_MAX - 2)))
  1296. branch 0 never executed
  1297. branch 1 never executed
  1298. -: 971: {
  1299. #####: 972: stable = 0;
  1300. #####: 973: FH_TUERMODUL__BLOCK_copy = 1;
  1301. -: 974:
  1302. #####: 975: BEWEGUNG_BLOCK_ERKENNUNG_CTRL_next_state = 1;
  1303. #####: 976: break;
  1304. -: 977: }
  1305. #####: 978: break;
  1306. -: 979: }
  1307. #####: 980: case 3 : /** state EINSCHALTSTROM_MESSEN in chart BLOCK_ERKENNUNG_CTRL **/
  1308. -: 981: {
  1309. #####: 982: SYS_bit_clr (Bitlist, entered_EINSCHALTSTROM_MESSEN_BLOCK_ERKENNUNG_CTRL_IDX);
  1310. #####: 983: if ((BLOCK_ERKENNUNG_CTRL__N == 11 && !(BLOCK_ERKENNUNG_CTRL__N_old == 11)))
  1311. branch 0 never executed
  1312. branch 1 never executed
  1313. branch 2 never executed
  1314. branch 3 never executed
  1315. -: 984: {
  1316. #####: 985: stable = 0;
  1317. -: 986:
  1318. #####: 987: BEWEGUNG_BLOCK_ERKENNUNG_CTRL_next_state = 2;
  1319. #####: 988: break;
  1320. -: 989: }
  1321. -: 990: /** static reactions: **/
  1322. #####: 991: if (BEWEGUNG_BLOCK_ERKENNUNG_CTRL_next_state == 3)
  1323. branch 0 never executed
  1324. branch 1 never executed
  1325. -: 992: {
  1326. #####: 993: if (step == 1 && tm_entered_EINSCHALTSTROM_MESSEN_BLOCK_ERKENNUNG_CTRLch_BLOCK_ERKENNUNG_CTRL__N_copy != 0 && (time - tm_entered_EINSCHALTSTROM_MESSEN_BLOCK_ERKENNUNG_CTRLch_BLOCK_ERKENNUNG_CTRL__N_copy == 0.002))
  1327. branch 0 never executed
  1328. branch 1 never executed
  1329. branch 2 never executed
  1330. branch 3 never executed
  1331. branch 4 never executed
  1332. branch 5 never executed
  1333. -: 994: {
  1334. #####: 995: BLOCK_ERKENNUNG_CTRL__N = BLOCK_ERKENNUNG_CTRL__N + 1;
  1335. #####: 996: if ((FH_TUERMODUL__I_EIN > BLOCK_ERKENNUNG_CTRL__I_EIN_MAX))
  1336. branch 0 never executed
  1337. branch 1 never executed
  1338. -: 997: {
  1339. #####: 998: BLOCK_ERKENNUNG_CTRL__I_EIN_MAX = FH_TUERMODUL__I_EIN;
  1340. -: 999:
  1341. -: 1000: }
  1342. -: 1001:
  1343. -: 1002: }
  1344. -: 1003: }
  1345. -: 1004: /** end static reactions **/
  1346. #####: 1005: break;
  1347. -: 1006: }
  1348. #####: 1007: default:
  1349. -: 1008: {
  1350. #####: 1009: stable = 0;
  1351. #####: 1010: BLOCK_ERKENNUNG_CTRL__N = 0;
  1352. #####: 1011: BLOCK_ERKENNUNG_CTRL__I_EIN_MAX = 2;
  1353. #####: 1012: BEWEGUNG_BLOCK_ERKENNUNG_CTRL_next_state = 3;
  1354. #####: 1013: SYS_bit_set (Bitlist, entered_EINSCHALTSTROM_MESSEN_BLOCK_ERKENNUNG_CTRL_IDX);
  1355. #####: 1014: break;
  1356. -: 1015: }
  1357. -: 1016: }/** switch BEWEGUNG_BLOCK_ERKENNUNG_CTRL_next_state **/
  1358. #####: 1017: break;
  1359. -: 1018: }
  1360. #####: 1019: default:
  1361. -: 1020: {
  1362. #####: 1021: stable = 0;
  1363. #####: 1022: BLOCK_ERKENNUNG_CTRL_BLOCK_ERKENNUNG_CTRL_next_state = 1;
  1364. #####: 1023: break;
  1365. -: 1024: }
  1366. -: 1025: }/** switch BLOCK_ERKENNUNG_CTRL_BLOCK_ERKENNUNG_CTRL_next_state **/
  1367. #####: 1026: }
  1368. #####: 1027:}
  1369. -: 1028:
  1370. -: 1029:
  1371. -: 1030:
  1372. function FH_DU called 0 returned 0% blocks executed 0%
  1373. #####: 1031:void FH_DU(void)
  1374. -: 1032:{
  1375. #####: 1033: time = 1; /**SYS_get_clock()**/
  1376. #####: 1034: stable = 0;
  1377. #####: 1035: step = 0;
  1378. #####: 1036: while (!stable)
  1379. branch 0 never executed
  1380. branch 1 never executed
  1381. -: 1037: {
  1382. #####: 1038: stable = 1;
  1383. #####: 1039: step++;
  1384. -: 1040: {
  1385. #####: 1041: switch (FH_STEUERUNG_DUMMY_FH_STEUERUNG_DUMMY_next_state)
  1386. branch 0 never executed
  1387. branch 1 never executed
  1388. branch 2 never executed
  1389. branch 3 never executed
  1390. -: 1042: {
  1391. #####: 1043: case 1 : /** state SCHLIESSEN in chart FH_STEUERUNG_DUMMY **/
  1392. -: 1044: {
  1393. #####: 1045: if ((!(FH_DU__MFHZ) && FH_DU__MFHZ_old))
  1394. branch 0 never executed
  1395. branch 1 never executed
  1396. branch 2 never executed
  1397. branch 3 never executed
  1398. -: 1046: {
  1399. #####: 1047: stable = 0;
  1400. #####: 1048: FH_DU__MFH = 0;
  1401. -: 1049:
  1402. #####: 1050: FH_STEUERUNG_DUMMY_FH_STEUERUNG_DUMMY_next_state = 2;
  1403. #####: 1051: break;
  1404. -: 1052: }
  1405. #####: 1053: break;
  1406. -: 1054: }
  1407. #####: 1055: case 2 : /** state BEREIT in chart FH_STEUERUNG_DUMMY **/
  1408. -: 1056: {
  1409. #####: 1057: if ((FH_DU__MFHZ && !(FH_DU__MFHZ_old)))
  1410. branch 0 never executed
  1411. branch 1 never executed
  1412. branch 2 never executed
  1413. branch 3 never executed
  1414. -: 1058: {
  1415. #####: 1059: stable = 0;
  1416. #####: 1060: FH_DU__MFH = -100;
  1417. -: 1061:
  1418. #####: 1062: FH_STEUERUNG_DUMMY_FH_STEUERUNG_DUMMY_next_state = 1;
  1419. #####: 1063: break;
  1420. -: 1064: }
  1421. #####: 1065: if ((FH_DU__MFHA && !(FH_DU__MFHA_old)))
  1422. branch 0 never executed
  1423. branch 1 never executed
  1424. branch 2 never executed
  1425. branch 3 never executed
  1426. -: 1066: {
  1427. #####: 1067: stable = 0;
  1428. #####: 1068: FH_DU__MFH = 100;
  1429. -: 1069:
  1430. #####: 1070: FH_STEUERUNG_DUMMY_FH_STEUERUNG_DUMMY_next_state = 3;
  1431. #####: 1071: break;
  1432. -: 1072: }
  1433. #####: 1073: break;
  1434. -: 1074: }
  1435. #####: 1075: case 3 : /** state OEFFNEN in chart FH_STEUERUNG_DUMMY **/
  1436. -: 1076: {
  1437. #####: 1077: if ((!(FH_DU__MFHA) && FH_DU__MFHA_old))
  1438. branch 0 never executed
  1439. branch 1 never executed
  1440. branch 2 never executed
  1441. branch 3 never executed
  1442. -: 1078: {
  1443. #####: 1079: stable = 0;
  1444. #####: 1080: FH_DU__MFH = 0;
  1445. -: 1081:
  1446. #####: 1082: FH_STEUERUNG_DUMMY_FH_STEUERUNG_DUMMY_next_state = 2;
  1447. #####: 1083: break;
  1448. -: 1084: }
  1449. #####: 1085: break;
  1450. -: 1086: }
  1451. #####: 1087: default:
  1452. -: 1088: {
  1453. #####: 1089: stable = 0;
  1454. #####: 1090: FH_DU__MFH = 0;
  1455. #####: 1091: FH_STEUERUNG_DUMMY_FH_STEUERUNG_DUMMY_next_state = 2;
  1456. #####: 1092: break;
  1457. -: 1093: }
  1458. -: 1094: }/** switch FH_STEUERUNG_DUMMY_FH_STEUERUNG_DUMMY_next_state **/
  1459. -: 1095: }
  1460. -: 1096: {
  1461. -: 1097: {
  1462. #####: 1098: if (!SYS_bit_get(Bitlist, active_KINDERSICHERUNG_CTRL_IDX))
  1463. branch 0 never executed
  1464. branch 1 never executed
  1465. -: 1099: {
  1466. #####: 1100: KINDERSICHERUNG_CTRL_KINDERSICHERUNG_CTRL_next_state = 3;
  1467. -: 1101: }
  1468. #####: 1102: SYS_bit_clr(Bitlist, active_KINDERSICHERUNG_CTRL_copy_IDX);
  1469. #####: 1103: if (!SYS_bit_get(Bitlist, active_EINKLEMMSCHUTZ_CTRL_IDX))
  1470. branch 0 never executed
  1471. branch 1 never executed
  1472. -: 1104: {
  1473. #####: 1105: EINKLEMMSCHUTZ_CTRL_EINKLEMMSCHUTZ_CTRL_next_state = 1;
  1474. -: 1106: }
  1475. #####: 1107: SYS_bit_clr(Bitlist, active_EINKLEMMSCHUTZ_CTRL_copy_IDX);
  1476. #####: 1108: if (!SYS_bit_get(Bitlist, active_BLOCK_ERKENNUNG_CTRL_IDX))
  1477. branch 0 never executed
  1478. branch 1 never executed
  1479. -: 1109: {
  1480. #####: 1110: SYS_bit_clr (Bitlist, entered_EINSCHALTSTROM_MESSEN_BLOCK_ERKENNUNG_CTRL_IDX);
  1481. #####: 1111: BLOCK_ERKENNUNG_CTRL_BLOCK_ERKENNUNG_CTRL_next_state = 1;
  1482. -: 1112: }
  1483. #####: 1113: SYS_bit_clr(Bitlist, active_BLOCK_ERKENNUNG_CTRL_copy_IDX);
  1484. #####: 1114: if (!SYS_bit_get(Bitlist, active_FH_TUERMODUL_CTRL_IDX))
  1485. branch 0 never executed
  1486. branch 1 never executed
  1487. -: 1115: {
  1488. #####: 1116: SYS_bit_clr (Bitlist, entered_WIEDERHOLSPERRE_FH_TUERMODUL_CTRL_IDX);
  1489. #####: 1117: SYS_bit_clr (Bitlist, exited_BEREIT_FH_TUERMODUL_CTRL_IDX);
  1490. #####: 1118: B_FH_TUERMODUL_CTRL_next_state = 2;
  1491. #####: 1119: FH_TUERMODUL_CTRL__N = 0;
  1492. #####: 1120: A_FH_TUERMODUL_CTRL_next_state = 1;
  1493. #####: 1121: SYS_bit_set (Bitlist, entered_WIEDERHOLSPERRE_FH_TUERMODUL_CTRL_copy_IDX);
  1494. #####: 1122: WIEDERHOLSPERRE_FH_TUERMODUL_CTRL_next_state = 1;
  1495. -: 1123: }
  1496. #####: 1124: SYS_bit_clr(Bitlist, active_FH_TUERMODUL_CTRL_copy_IDX);
  1497. #####: 1125: SYS_bit_set(Bitlist, active_KINDERSICHERUNG_CTRL_copy_IDX);
  1498. #####: 1126: SYS_bit_set(Bitlist, active_EINKLEMMSCHUTZ_CTRL_copy_IDX);
  1499. #####: 1127: SYS_bit_set(Bitlist, active_BLOCK_ERKENNUNG_CTRL_copy_IDX);
  1500. #####: 1128: SYS_bit_set(Bitlist, active_FH_TUERMODUL_CTRL_copy_IDX);
  1501. -: 1129: /** static reactions: **/
  1502. #####: 1130: if (FH_DU__S_FH_TMBFZUCAN != FH_DU__S_FH_TMBFZUCAN_old)
  1503. branch 0 never executed
  1504. branch 1 never executed
  1505. -: 1131: {
  1506. #####: 1132: if ((!FH_DU__DOOR_ID))
  1507. branch 0 never executed
  1508. branch 1 never executed
  1509. -: 1133: {
  1510. #####: 1134: FH_DU__S_FH_FTZU = FH_DU__S_FH_TMBFZUCAN;
  1511. -: 1135:
  1512. -: 1136: }
  1513. -: 1137:
  1514. -: 1138: }
  1515. #####: 1139: if (FH_DU__S_FH_TMBFZUDISC != FH_DU__S_FH_TMBFZUDISC_old)
  1516. branch 0 never executed
  1517. branch 1 never executed
  1518. -: 1140: {
  1519. #####: 1141: if (FH_DU__DOOR_ID)
  1520. branch 0 never executed
  1521. branch 1 never executed
  1522. -: 1142: {
  1523. #####: 1143: FH_DU__S_FH_TMBFZUCAN = FH_DU__S_FH_TMBFZUDISC;
  1524. -: 1144:
  1525. -: 1145: }
  1526. -: 1146:
  1527. -: 1147: }
  1528. #####: 1148: if (FH_DU__S_FH_TMBFAUFCAN != FH_DU__S_FH_TMBFAUFCAN_old)
  1529. branch 0 never executed
  1530. branch 1 never executed
  1531. -: 1149: {
  1532. #####: 1150: if ((!FH_DU__DOOR_ID))
  1533. branch 0 never executed
  1534. branch 1 never executed
  1535. -: 1151: {
  1536. #####: 1152: FH_DU__S_FH_FTAUF = FH_DU__S_FH_TMBFAUFCAN;
  1537. -: 1153:
  1538. -: 1154: }
  1539. -: 1155:
  1540. -: 1156: }
  1541. #####: 1157: if (FH_DU__S_FH_TMBFAUFDISC != FH_DU__S_FH_TMBFAUFDISC_old)
  1542. branch 0 never executed
  1543. branch 1 never executed
  1544. -: 1158: {
  1545. #####: 1159: if (FH_DU__DOOR_ID)
  1546. branch 0 never executed
  1547. branch 1 never executed
  1548. -: 1160: {
  1549. #####: 1161: FH_DU__S_FH_TMBFAUFCAN = FH_DU__S_FH_TMBFAUFDISC;
  1550. -: 1162:
  1551. -: 1163: }
  1552. -: 1164:
  1553. -: 1165: }
  1554. -: 1166: /** end static reactions **/
  1555. -: 1167: }
  1556. -: 1168: }
  1557. #####: 1169: SYS_bit_cpy(Bitlist, active_KINDERSICHERUNG_CTRL_IDX, Bitlist, active_KINDERSICHERUNG_CTRL_old_IDX);
  1558. #####: 1170: SYS_bit_cpy(Bitlist, active_FH_TUERMODUL_CTRL_IDX, Bitlist, active_FH_TUERMODUL_CTRL_old_IDX);
  1559. #####: 1171: SYS_bit_cpy(Bitlist, active_EINKLEMMSCHUTZ_CTRL_IDX, Bitlist, active_EINKLEMMSCHUTZ_CTRL_old_IDX);
  1560. #####: 1172: SYS_bit_cpy(Bitlist, active_BLOCK_ERKENNUNG_CTRL_IDX, Bitlist, active_BLOCK_ERKENNUNG_CTRL_old_IDX);
  1561. #####: 1173: FH_TUERMODUL__SFHA_MEC = FH_DU__S_FH_AUFDISC;
  1562. #####: 1174: FH_TUERMODUL__SFHA_ZENTRAL = FH_DU__S_FH_FTAUF;
  1563. #####: 1175: FH_TUERMODUL__SFHZ_MEC = FH_DU__S_FH_ZUDISC;
  1564. #####: 1176: FH_TUERMODUL__SFHZ_ZENTRAL = FH_DU__S_FH_FTZU;
  1565. -: 1177:
  1566. #####: 1178: generic_KINDERSICHERUNG_CTRL();
  1567. call 0 never executed
  1568. -: 1179:
  1569. #####: 1180: FH_DU__MFHA = FH_TUERMODUL__MFHA;
  1570. #####: 1181: FH_DU__MFHZ = FH_TUERMODUL__MFHZ;
  1571. #####: 1182: FH_DU__I_EIN = FH_TUERMODUL__I_EIN;
  1572. #####: 1183: FH_DU__EKS_LEISTE_AKTIV = FH_TUERMODUL__EKS_LEISTE_AKTIV;
  1573. #####: 1184: FH_DU__POSITION = FH_TUERMODUL__POSITION;
  1574. #####: 1185: FH_DU__FT = FH_TUERMODUL__FT;
  1575. #####: 1186: FH_DU__S_FH_AUFDISC = FH_TUERMODUL__SFHA_MEC;
  1576. #####: 1187: FH_DU__S_FH_FTAUF = FH_TUERMODUL__SFHA_ZENTRAL;
  1577. #####: 1188: FH_DU__S_FH_ZUDISC = FH_TUERMODUL__SFHZ_MEC;
  1578. #####: 1189: FH_DU__S_FH_FTZU = FH_TUERMODUL__SFHZ_ZENTRAL;
  1579. #####: 1190: FH_DU__KL_50 = FH_TUERMODUL__KL_50;
  1580. #####: 1191: FH_DU__BLOCK = FH_TUERMODUL__BLOCK;
  1581. -: 1192:
  1582. #####: 1193: FH_TUERMODUL__SFHA_MEC = FH_DU__S_FH_AUFDISC;
  1583. #####: 1194: FH_TUERMODUL__SFHA_ZENTRAL = FH_DU__S_FH_FTAUF;
  1584. #####: 1195: FH_TUERMODUL__SFHZ_MEC = FH_DU__S_FH_ZUDISC;
  1585. #####: 1196: FH_TUERMODUL__SFHZ_ZENTRAL = FH_DU__S_FH_FTZU;
  1586. -: 1197:
  1587. #####: 1198: generic_FH_TUERMODUL_CTRL();
  1588. call 0 never executed
  1589. -: 1199:
  1590. #####: 1200: FH_DU__MFHA = FH_TUERMODUL__MFHA;
  1591. #####: 1201: FH_DU__MFHZ = FH_TUERMODUL__MFHZ;
  1592. #####: 1202: FH_DU__I_EIN = FH_TUERMODUL__I_EIN;
  1593. #####: 1203: FH_DU__EKS_LEISTE_AKTIV = FH_TUERMODUL__EKS_LEISTE_AKTIV;
  1594. #####: 1204: FH_DU__POSITION = FH_TUERMODUL__POSITION;
  1595. #####: 1205: FH_DU__FT = FH_TUERMODUL__FT;
  1596. #####: 1206: FH_DU__S_FH_AUFDISC = FH_TUERMODUL__SFHA_MEC;
  1597. #####: 1207: FH_DU__S_FH_FTAUF = FH_TUERMODUL__SFHA_ZENTRAL;
  1598. #####: 1208: FH_DU__S_FH_ZUDISC = FH_TUERMODUL__SFHZ_MEC;
  1599. #####: 1209: FH_DU__S_FH_FTZU = FH_TUERMODUL__SFHZ_ZENTRAL;
  1600. #####: 1210: FH_DU__KL_50 = FH_TUERMODUL__KL_50;
  1601. #####: 1211: FH_DU__BLOCK = FH_TUERMODUL__BLOCK;
  1602. -: 1212:
  1603. #####: 1213: FH_TUERMODUL__SFHA_MEC = FH_DU__S_FH_AUFDISC;
  1604. #####: 1214: FH_TUERMODUL__SFHA_ZENTRAL = FH_DU__S_FH_FTAUF;
  1605. #####: 1215: FH_TUERMODUL__SFHZ_MEC = FH_DU__S_FH_ZUDISC;
  1606. #####: 1216: FH_TUERMODUL__SFHZ_ZENTRAL = FH_DU__S_FH_FTZU;
  1607. -: 1217:
  1608. #####: 1218: generic_EINKLEMMSCHUTZ_CTRL();
  1609. call 0 never executed
  1610. -: 1219:
  1611. #####: 1220: FH_DU__MFHA = FH_TUERMODUL__MFHA;
  1612. #####: 1221: FH_DU__MFHZ = FH_TUERMODUL__MFHZ;
  1613. #####: 1222: FH_DU__I_EIN = FH_TUERMODUL__I_EIN;
  1614. #####: 1223: FH_DU__EKS_LEISTE_AKTIV = FH_TUERMODUL__EKS_LEISTE_AKTIV;
  1615. #####: 1224: FH_DU__POSITION = FH_TUERMODUL__POSITION;
  1616. #####: 1225: FH_DU__FT = FH_TUERMODUL__FT;
  1617. #####: 1226: FH_DU__S_FH_AUFDISC = FH_TUERMODUL__SFHA_MEC;
  1618. #####: 1227: FH_DU__S_FH_FTAUF = FH_TUERMODUL__SFHA_ZENTRAL;
  1619. #####: 1228: FH_DU__S_FH_ZUDISC = FH_TUERMODUL__SFHZ_MEC;
  1620. #####: 1229: FH_DU__S_FH_FTZU = FH_TUERMODUL__SFHZ_ZENTRAL;
  1621. #####: 1230: FH_DU__KL_50 = FH_TUERMODUL__KL_50;
  1622. #####: 1231: FH_DU__BLOCK = FH_TUERMODUL__BLOCK;
  1623. -: 1232:
  1624. #####: 1233: FH_TUERMODUL__SFHA_MEC = FH_DU__S_FH_AUFDISC;
  1625. #####: 1234: FH_TUERMODUL__SFHA_ZENTRAL = FH_DU__S_FH_FTAUF;
  1626. #####: 1235: FH_TUERMODUL__SFHZ_MEC = FH_DU__S_FH_ZUDISC;
  1627. #####: 1236: FH_TUERMODUL__SFHZ_ZENTRAL = FH_DU__S_FH_FTZU;
  1628. -: 1237:
  1629. #####: 1238: generic_BLOCK_ERKENNUNG_CTRL();
  1630. call 0 never executed
  1631. -: 1239:
  1632. #####: 1240: FH_DU__MFHA = FH_TUERMODUL__MFHA;
  1633. #####: 1241: FH_DU__MFHZ = FH_TUERMODUL__MFHZ;
  1634. #####: 1242: FH_DU__I_EIN = FH_TUERMODUL__I_EIN;
  1635. #####: 1243: FH_DU__EKS_LEISTE_AKTIV = FH_TUERMODUL__EKS_LEISTE_AKTIV;
  1636. #####: 1244: FH_DU__POSITION = FH_TUERMODUL__POSITION;
  1637. #####: 1245: FH_DU__FT = FH_TUERMODUL__FT;
  1638. #####: 1246: FH_DU__S_FH_AUFDISC = FH_TUERMODUL__SFHA_MEC;
  1639. #####: 1247: FH_DU__S_FH_FTAUF = FH_TUERMODUL__SFHA_ZENTRAL;
  1640. #####: 1248: FH_DU__S_FH_ZUDISC = FH_TUERMODUL__SFHZ_MEC;
  1641. #####: 1249: FH_DU__S_FH_FTZU = FH_TUERMODUL__SFHZ_ZENTRAL;
  1642. #####: 1250: FH_DU__KL_50 = FH_TUERMODUL__KL_50;
  1643. #####: 1251: FH_DU__BLOCK = FH_TUERMODUL__BLOCK;
  1644. -: 1252:
  1645. #####: 1253: SYS_bit_cpy(Bitlist, active_KINDERSICHERUNG_CTRL_copy_IDX, Bitlist, active_KINDERSICHERUNG_CTRL_IDX);
  1646. #####: 1254: SYS_bit_cpy(Bitlist, active_FH_TUERMODUL_CTRL_copy_IDX, Bitlist, active_FH_TUERMODUL_CTRL_IDX);
  1647. #####: 1255: SYS_bit_cpy(Bitlist, active_EINKLEMMSCHUTZ_CTRL_copy_IDX, Bitlist, active_EINKLEMMSCHUTZ_CTRL_IDX);
  1648. #####: 1256: SYS_bit_cpy(Bitlist, active_BLOCK_ERKENNUNG_CTRL_copy_IDX, Bitlist, active_BLOCK_ERKENNUNG_CTRL_IDX);
  1649. #####: 1257: FH_TUERMODUL_CTRL__N_old = FH_TUERMODUL_CTRL__N;
  1650. #####: 1258: FH_TUERMODUL__I_EIN_old = FH_TUERMODUL__I_EIN;
  1651. #####: 1259: FH_DU__MFH = FH_DU__MFH_copy;
  1652. #####: 1260: FH_DU__I_EIN_old = FH_DU__I_EIN;
  1653. #####: 1261: BLOCK_ERKENNUNG_CTRL__N_old = BLOCK_ERKENNUNG_CTRL__N;
  1654. #####: 1262: FH_TUERMODUL__SFHZ_ZENTRAL_old = FH_TUERMODUL__SFHZ_ZENTRAL;
  1655. #####: 1263: FH_TUERMODUL__SFHZ_MEC_old = FH_TUERMODUL__SFHZ_MEC;
  1656. #####: 1264: FH_TUERMODUL__SFHA_ZENTRAL_old = FH_TUERMODUL__SFHA_ZENTRAL;
  1657. #####: 1265: FH_TUERMODUL__SFHA_MEC_old = FH_TUERMODUL__SFHA_MEC;
  1658. #####: 1266: FH_TUERMODUL__BLOCK = FH_TUERMODUL__BLOCK_copy;
  1659. #####: 1267: FH_TUERMODUL__BLOCK_old = FH_TUERMODUL__BLOCK;
  1660. #####: 1268: FH_TUERMODUL__SFHZ = FH_TUERMODUL__SFHZ_copy;
  1661. #####: 1269: FH_TUERMODUL__SFHZ_old = FH_TUERMODUL__SFHZ;
  1662. #####: 1270: FH_TUERMODUL__SFHA = FH_TUERMODUL__SFHA_copy;
  1663. #####: 1271: FH_TUERMODUL__SFHA_old = FH_TUERMODUL__SFHA;
  1664. #####: 1272: FH_TUERMODUL__MFHZ = FH_TUERMODUL__MFHZ_copy;
  1665. #####: 1273: FH_TUERMODUL__MFHZ_old = FH_TUERMODUL__MFHZ;
  1666. #####: 1274: FH_TUERMODUL__MFHA = FH_TUERMODUL__MFHA_copy;
  1667. #####: 1275: FH_TUERMODUL__MFHA_old = FH_TUERMODUL__MFHA;
  1668. #####: 1276: FH_TUERMODUL__EKS_LEISTE_AKTIV_old = FH_TUERMODUL__EKS_LEISTE_AKTIV;
  1669. #####: 1277: FH_DU__EKS_LEISTE_AKTIV_old = FH_DU__EKS_LEISTE_AKTIV;
  1670. #####: 1278: FH_DU__S_FH_TMBFAUFCAN_old = FH_DU__S_FH_TMBFAUFCAN;
  1671. #####: 1279: FH_DU__S_FH_TMBFZUCAN_old = FH_DU__S_FH_TMBFZUCAN;
  1672. #####: 1280: FH_DU__S_FH_TMBFZUDISC_old = FH_DU__S_FH_TMBFZUDISC;
  1673. #####: 1281: FH_DU__S_FH_TMBFAUFDISC_old = FH_DU__S_FH_TMBFAUFDISC;
  1674. #####: 1282: FH_DU__BLOCK = FH_DU__BLOCK_copy;
  1675. #####: 1283: FH_DU__BLOCK_old = FH_DU__BLOCK;
  1676. #####: 1284: FH_DU__MFHZ = FH_DU__MFHZ_copy;
  1677. #####: 1285: FH_DU__MFHZ_old = FH_DU__MFHZ;
  1678. #####: 1286: FH_DU__MFHA = FH_DU__MFHA_copy;
  1679. #####: 1287: FH_DU__MFHA_old = FH_DU__MFHA;
  1680. -: 1288:
  1681. -: 1289: }/** while(!stable) **/
  1682. -: 1290:
  1683. #####: 1291:}/** FH_DU **/
  1684. -: 1292:
  1685. -: 1293:
  1686. -: 1294:
  1687. -: 1295:
  1688. -: 1296:
  1689. function initialise_benchmark called 0 returned 0% blocks executed 0%
  1690. #####: 1297:void initialise_benchmark() {
  1691. -: 1298: int i;
  1692. #####: 1299: for (i=0; i<64; i++) {
  1693. branch 0 never executed
  1694. branch 1 never executed
  1695. #####: 1300: Bitlist[i] = 0;
  1696. -: 1301: }
  1697. #####: 1302: init();
  1698. call 0 never executed
  1699. #####: 1303:}
  1700. -: 1304:
  1701. function verify_benchmark called 0 returned 0% blocks executed 0%
  1702. #####: 1305:int verify_benchmark() {
  1703. #####: 1306: char expected[64] = {0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0};
  1704. -: 1307: int i;
  1705. #####: 1308: for (i=0; i<64; i++) {
  1706. branch 0 never executed
  1707. branch 1 never executed
  1708. #####: 1309: if (Bitlist[i] != expected[i])
  1709. branch 0 never executed
  1710. branch 1 never executed
  1711. #####: 1310: return 0;
  1712. -: 1311: }
  1713. #####: 1312: if (tm_entered_EINSCHALTSTROM_MESSEN_BLOCK_ERKENNUNG_CTRLch_BLOCK_ERKENNUNG_CTRL__N_copy !=0 ||
  1714. branch 0 never executed
  1715. branch 1 never executed
  1716. branch 2 never executed
  1717. branch 3 never executed
  1718. #####: 1313: tm_entered_WIEDERHOLSPERRE_FH_TUERMODUL_CTRLexited_BEREIT_FH_TUERMODUL_CTRL != 0 ||
  1719. branch 0 never executed
  1720. branch 1 never executed
  1721. #####: 1314: tm_entered_WIEDERHOLSPERRE_FH_TUERMODUL_CTRL != 0 ||
  1722. branch 0 never executed
  1723. branch 1 never executed
  1724. #####: 1315: NICHT_INITIALISIERT_NICHT_INITIALISIERT_next_state != 0 ||
  1725. branch 0 never executed
  1726. branch 1 never executed
  1727. #####: 1316: ZENTRAL_KINDERSICHERUNG_CTRL_next_state != 0 ||
  1728. branch 0 never executed
  1729. branch 1 never executed
  1730. #####: 1317: MEC_KINDERSICHERUNG_CTRL_next_state != 0 ||
  1731. branch 0 never executed
  1732. branch 1 never executed
  1733. #####: 1318: KINDERSICHERUNG_CTRL_KINDERSICHERUNG_CTRL_next_state != 3 ||
  1734. branch 0 never executed
  1735. branch 1 never executed
  1736. #####: 1319: B_FH_TUERMODUL_CTRL_next_state != 2 ||
  1737. branch 0 never executed
  1738. branch 1 never executed
  1739. #####: 1320: A_FH_TUERMODUL_CTRL_next_state != 1 ||
  1740. branch 0 never executed
  1741. branch 1 never executed
  1742. #####: 1321: WIEDERHOLSPERRE_FH_TUERMODUL_CTRL_next_state != 1 ||
  1743. branch 0 never executed
  1744. branch 1 never executed
  1745. #####: 1322: INITIALISIERT_FH_TUERMODUL_CTRL_next_state != 0 ||
  1746. branch 0 never executed
  1747. branch 1 never executed
  1748. #####: 1323: TIPP_SCHLIESSEN_FH_TUERMODUL_CTRL_next_state != 0 ||
  1749. branch 0 never executed
  1750. branch 1 never executed
  1751. #####: 1324: MANUELL_SCHLIESSEN_FH_TUERMODUL_CTRL_next_state != 0 ||
  1752. branch 0 never executed
  1753. branch 1 never executed
  1754. #####: 1325: OEFFNEN_FH_TUERMODUL_CTRL_next_state != 0 ||
  1755. branch 0 never executed
  1756. branch 1 never executed
  1757. #####: 1326: SCHLIESSEN_FH_TUERMODUL_CTRL_next_state != 0 ||
  1758. branch 0 never executed
  1759. branch 1 never executed
  1760. #####: 1327: FH_STEUERUNG_DUMMY_FH_STEUERUNG_DUMMY_next_state != 2 ||
  1761. branch 0 never executed
  1762. branch 1 never executed
  1763. #####: 1328: EINKLEMMSCHUTZ_CTRL_EINKLEMMSCHUTZ_CTRL_next_state != 1 ||
  1764. branch 0 never executed
  1765. branch 1 never executed
  1766. #####: 1329: BEWEGUNG_BLOCK_ERKENNUNG_CTRL_next_state != 0 ||
  1767. branch 0 never executed
  1768. branch 1 never executed
  1769. #####: 1330: BLOCK_ERKENNUNG_CTRL_BLOCK_ERKENNUNG_CTRL_next_state != 1)
  1770. #####: 1331: return 0;
  1771. #####: 1332: return 1;
  1772. -: 1333:}
  1773. function main called 0 returned 0% blocks executed 0%
  1774. #####: 1334:int main()
  1775. -: 1335:{
  1776. #####: 1336: initialise_benchmark();
  1777. call 0 never executed
  1778. #####: 1337: interface();
  1779. call 0 never executed
  1780. #####: 1338: FH_DU();
  1781. call 0 never executed
  1782. #####: 1339: if(verify_benchmark() == 0){
  1783. call 0 never executed
  1784. branch 1 never executed
  1785. branch 2 never executed
  1786. #####: 1340: printf("Wrong values");
  1787. call 0 never executed
  1788. -: 1341: }
  1789. -: 1342:else{
  1790. #####: 1343: for(int j = 0; j < 64; j++){
  1791. branch 0 never executed
  1792. branch 1 never executed
  1793. #####: 1344: printf("%d ", Bitlist[j]);
  1794. call 0 never executed
  1795. -: 1345:}
  1796. #####: 1346:printf("\n");
  1797. call 0 never executed
  1798. #####: 1347:printf("Correct benchmark Output!!");
  1799. call 0 never executed
  1800. -: 1348:}
  1801. #####: 1349: return 0;
  1802. -: 1350:}
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!