AssignmentAsExpression.cc 2.6 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253
  1. /**
  2. * Copyright (c) 2015 committers of YAKINDU and others.
  3. * All rights reserved. This program and the accompanying materials
  4. * are made available under the terms of the Eclipse Public License v1.0
  5. * which accompanies this distribution, and is available at
  6. * http://www.eclipse.org/legal/epl-v10.html
  7. *
  8. * Contributors:
  9. * committers of YAKINDU - initial API and implementation
  10. */
  11. #include <string>
  12. #include "gtest/gtest.h"
  13. #include "AssignmentAsExpression.h"
  14. AssignmentAsExpression handle;
  15. TEST(StatemachineTest, simpleAssignment) {
  16. assignmentAsExpression_init(&handle);
  17. assignmentAsExpression_enter(&handle);
  18. EXPECT_TRUE(assignmentAsExpression_isStateActive(&handle, AssignmentAsExpression_main_region_Add));
  19. EXPECT_TRUE(assignmentAsExpressionIface_get_b(&handle) == 5l);
  20. EXPECT_TRUE(assignmentAsExpressionIface_get_a(&handle) == 9l);
  21. assignmentAsExpression_runCycle(&handle);
  22. EXPECT_TRUE(assignmentAsExpression_isStateActive(&handle, AssignmentAsExpression_main_region_Subtract));
  23. EXPECT_TRUE(assignmentAsExpressionIface_get_d(&handle) == 6l);
  24. assignmentAsExpression_runCycle(&handle);
  25. EXPECT_TRUE(assignmentAsExpression_isStateActive(&handle, AssignmentAsExpression_main_region_Multiply));
  26. EXPECT_TRUE(assignmentAsExpressionIface_get_e(&handle) == 15l);
  27. assignmentAsExpression_runCycle(&handle);
  28. EXPECT_TRUE(assignmentAsExpression_isStateActive(&handle, AssignmentAsExpression_main_region_Divide));
  29. EXPECT_TRUE(assignmentAsExpressionIface_get_g(&handle) == 1l);
  30. assignmentAsExpression_runCycle(&handle);
  31. EXPECT_TRUE(assignmentAsExpression_isStateActive(&handle, AssignmentAsExpression_main_region_Modulo));
  32. EXPECT_TRUE(assignmentAsExpressionIface_get_i(&handle) == 1l);
  33. assignmentAsExpression_runCycle(&handle);
  34. EXPECT_TRUE(assignmentAsExpression_isStateActive(&handle, AssignmentAsExpression_main_region_Shift));
  35. EXPECT_TRUE(assignmentAsExpressionIface_get_j(&handle) == 16l);
  36. EXPECT_TRUE(assignmentAsExpressionIface_get_k(&handle) == 4l);
  37. assignmentAsExpression_runCycle(&handle);
  38. EXPECT_TRUE(assignmentAsExpression_isStateActive(&handle, AssignmentAsExpression_main_region_boolean_And));
  39. EXPECT_TRUE(assignmentAsExpressionIface_get_l(&handle) == 1l);
  40. assignmentAsExpression_runCycle(&handle);
  41. EXPECT_TRUE(assignmentAsExpression_isStateActive(&handle, AssignmentAsExpression_main_region_boolean_Or));
  42. EXPECT_TRUE(assignmentAsExpressionIface_get_p(&handle) == 15l);
  43. assignmentAsExpression_runCycle(&handle);
  44. EXPECT_TRUE(assignmentAsExpression_isStateActive(&handle, AssignmentAsExpression_main_region_boolean_Xor));
  45. EXPECT_TRUE(assignmentAsExpressionIface_get_u(&handle) == 12l);
  46. assignmentAsExpression_exit(&handle);
  47. }