BitExpressions.c 6.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209
  1. #include <stdlib.h>
  2. #include <string.h>
  3. #include "sc_types.h"
  4. #include "BitExpressions.h"
  5. #include "BitExpressionsRequired.h"
  6. /*! \file Implementation of the state machine 'BitExpressions'
  7. */
  8. // prototypes of all internal functions
  9. static void bitExpressions_entryaction(BitExpressions* handle);
  10. static void bitExpressions_exitaction(BitExpressions* handle);
  11. static void bitExpressions_react_main_region_StateA(BitExpressions* handle);
  12. static void bitExpressions_react_main_region_StateB(BitExpressions* handle);
  13. static void clearInEvents(BitExpressions* handle);
  14. static void clearOutEvents(BitExpressions* handle);
  15. void bitExpressions_init(BitExpressions* handle)
  16. {
  17. int i;
  18. for (i = 0; i < BITEXPRESSIONS_MAX_ORTHOGONAL_STATES; ++i)
  19. handle->stateConfVector[i] = BitExpressions_last_state;
  20. handle->stateConfVectorPosition = 0;
  21. // TODO: initialize all events ...
  22. // TODO: initialize all variables ... (set default values - here or inenter sequence ?!?)
  23. }
  24. void bitExpressions_enter(BitExpressions* handle)
  25. {
  26. /* Default enter sequence for statechart BitExpressions */
  27. bitExpressions_entryaction(handle);
  28. /* Default enter sequence for region main region */
  29. /* Default react sequence for initial entry */
  30. /* Default enter sequence for state StateA */
  31. /* Entry action for state 'StateA'. */
  32. handle->iface.myBit1 = 5;
  33. handle->iface.myBit2 = 7;
  34. handle->stateConfVector[0] = BitExpressions_main_region_StateA;
  35. handle->stateConfVectorPosition = 0;
  36. }
  37. void bitExpressions_exit(BitExpressions* handle)
  38. {
  39. /* Default exit sequence for statechart BitExpressions */
  40. /* Default exit sequence for region main region */
  41. /* Handle exit of all possible states (of main region) at position 0... */
  42. switch(handle->stateConfVector[ 0 ]) {
  43. case BitExpressions_main_region_StateA : {
  44. /* Default exit sequence for state StateA */
  45. handle->stateConfVector[0] = BitExpressions_last_state;
  46. handle->stateConfVectorPosition = 0;
  47. break;
  48. }
  49. case BitExpressions_main_region_StateB : {
  50. /* Default exit sequence for state StateB */
  51. handle->stateConfVector[0] = BitExpressions_last_state;
  52. handle->stateConfVectorPosition = 0;
  53. break;
  54. }
  55. default: break;
  56. }
  57. bitExpressions_exitaction(handle);
  58. }
  59. static void clearInEvents(BitExpressions* handle) {
  60. handle->iface.e1_raised = bool_false;
  61. }
  62. static void clearOutEvents(BitExpressions* handle) {
  63. }
  64. void bitExpressions_runCycle(BitExpressions* handle) {
  65. clearOutEvents(handle);
  66. for (handle->stateConfVectorPosition = 0;
  67. handle->stateConfVectorPosition < BITEXPRESSIONS_MAX_ORTHOGONAL_STATES;
  68. handle->stateConfVectorPosition++) {
  69. switch (handle->stateConfVector[handle->stateConfVectorPosition]) {
  70. case BitExpressions_main_region_StateA : {
  71. bitExpressions_react_main_region_StateA(handle);
  72. break;
  73. }
  74. case BitExpressions_main_region_StateB : {
  75. bitExpressions_react_main_region_StateB(handle);
  76. break;
  77. }
  78. default:
  79. break;
  80. }
  81. }
  82. clearInEvents(handle);
  83. }
  84. sc_boolean bitExpressions_isActive(BitExpressions* handle, BitExpressionsStates state) {
  85. switch (state) {
  86. case BitExpressions_main_region_StateA :
  87. return (sc_boolean) (handle->stateConfVector[0] == BitExpressions_main_region_StateA
  88. );
  89. case BitExpressions_main_region_StateB :
  90. return (sc_boolean) (handle->stateConfVector[0] == BitExpressions_main_region_StateB
  91. );
  92. default: return bool_false;
  93. }
  94. }
  95. void bitExpressionsIface_raise_e1(BitExpressions* handle) {
  96. handle->iface.e1_raised = bool_true;
  97. }
  98. sc_integer bitExpressionsIface_get_myBit1(BitExpressions* handle) {
  99. return handle->iface.myBit1;
  100. }
  101. void bitExpressionsIface_set_myBit1(BitExpressions* handle, sc_integer value) {
  102. handle->iface.myBit1 = value;
  103. }
  104. sc_integer bitExpressionsIface_get_myBit2(BitExpressions* handle) {
  105. return handle->iface.myBit2;
  106. }
  107. void bitExpressionsIface_set_myBit2(BitExpressions* handle, sc_integer value) {
  108. handle->iface.myBit2 = value;
  109. }
  110. sc_integer bitExpressionsIface_get_leftBitshift(BitExpressions* handle) {
  111. return handle->iface.leftBitshift;
  112. }
  113. void bitExpressionsIface_set_leftBitshift(BitExpressions* handle, sc_integer value) {
  114. handle->iface.leftBitshift = value;
  115. }
  116. sc_integer bitExpressionsIface_get_rightBitshift(BitExpressions* handle) {
  117. return handle->iface.rightBitshift;
  118. }
  119. void bitExpressionsIface_set_rightBitshift(BitExpressions* handle, sc_integer value) {
  120. handle->iface.rightBitshift = value;
  121. }
  122. sc_integer bitExpressionsIface_get_complementBitshift(BitExpressions* handle) {
  123. return handle->iface.complementBitshift;
  124. }
  125. void bitExpressionsIface_set_complementBitshift(BitExpressions* handle, sc_integer value) {
  126. handle->iface.complementBitshift = value;
  127. }
  128. sc_integer bitExpressionsIface_get_bitwiseAnd(BitExpressions* handle) {
  129. return handle->iface.bitwiseAnd;
  130. }
  131. void bitExpressionsIface_set_bitwiseAnd(BitExpressions* handle, sc_integer value) {
  132. handle->iface.bitwiseAnd = value;
  133. }
  134. sc_integer bitExpressionsIface_get_bitwiseOr(BitExpressions* handle) {
  135. return handle->iface.bitwiseOr;
  136. }
  137. void bitExpressionsIface_set_bitwiseOr(BitExpressions* handle, sc_integer value) {
  138. handle->iface.bitwiseOr = value;
  139. }
  140. sc_integer bitExpressionsIface_get_bitwiseXor(BitExpressions* handle) {
  141. return handle->iface.bitwiseXor;
  142. }
  143. void bitExpressionsIface_set_bitwiseXor(BitExpressions* handle, sc_integer value) {
  144. handle->iface.bitwiseXor = value;
  145. }
  146. // implementations of all internal functions
  147. /* Entry action for statechart 'BitExpressions'. */
  148. static void bitExpressions_entryaction(BitExpressions* handle) {
  149. /* Entry action for statechart 'BitExpressions'. */
  150. }
  151. /* Exit action for state 'BitExpressions'. */
  152. static void bitExpressions_exitaction(BitExpressions* handle) {
  153. /* Exit action for state 'BitExpressions'. */
  154. }
  155. /* The reactions of state StateA. */
  156. static void bitExpressions_react_main_region_StateA(BitExpressions* handle) {
  157. /* The reactions of state StateA. */
  158. if (handle->iface.e1_raised) {
  159. /* Default exit sequence for state StateA */
  160. handle->stateConfVector[0] = BitExpressions_last_state;
  161. handle->stateConfVectorPosition = 0;
  162. /* Default enter sequence for state StateB */
  163. /* Entry action for state 'StateB'. */
  164. handle->iface.leftBitshift = handle->iface.myBit1 << 1;
  165. handle->iface.rightBitshift = handle->iface.myBit1 >> 1;
  166. handle->iface.complementBitshift = ~ handle->iface.myBit1;
  167. handle->iface.bitwiseAnd = handle->iface.myBit1 & handle->iface.myBit2;
  168. handle->iface.bitwiseOr = handle->iface.myBit1 | handle->iface.myBit2;
  169. handle->iface.bitwiseXor = handle->iface.myBit1 ^ handle->iface.myBit2;
  170. handle->stateConfVector[0] = BitExpressions_main_region_StateB;
  171. handle->stateConfVectorPosition = 0;
  172. }
  173. }
  174. /* The reactions of state StateB. */
  175. static void bitExpressions_react_main_region_StateB(BitExpressions* handle) {
  176. /* The reactions of state StateB. */
  177. }