SemanticAdaptationParsingTest.xtend 3.7 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798
  1. /*
  2. * generated by Xtext 2.10.0
  3. */
  4. package be.uantwerpen.ansymo.semanticadaptation.tests
  5. import org.eclipse.xtext.junit4.InjectWith
  6. import org.eclipse.xtext.junit4.XtextRunner
  7. import org.junit.Assert
  8. import org.junit.Test
  9. import org.junit.runner.RunWith
  10. import org.eclipse.xtext.junit4.util.ParseHelper
  11. import com.google.inject.Inject
  12. import org.eclipse.xtext.junit4.validation.ValidationTestHelper
  13. import be.uantwerpen.ansymo.semanticadaptation.semanticAdaptation.*
  14. import org.eclipse.emf.ecore.EObject
  15. import java.util.regex.Pattern
  16. @RunWith(XtextRunner)
  17. @InjectWith(SemanticAdaptationInjectorProvider)
  18. class SemanticAdaptationParsingTest extends AbstractSemanticAdaptationTest{
  19. @Inject extension ParseHelper<SemanticAdaptation>
  20. @Inject extension ValidationTestHelper
  21. // @Test
  22. // def void loadModule() {
  23. // //val root = this.parseInputFile('test1.sa')
  24. // val root = readFile('input/test1.sa').parse
  25. // root.assertNoErrors
  26. // Assert.assertNotNull(root.adaptations.get(0))
  27. // Assert.assertNotNull(root.adaptations.get(0).extractsensitivity)
  28. // Assert.assertTrue(root.adaptations.get(0).extractsensitivity.length > 0)
  29. // Assert.assertTrue(root.adaptations.get(0).inports.length > 0)
  30. // Assert.assertEquals(root.adaptations.get(0).inports.get(0).name, 'x')
  31. // print_ast(root)
  32. // }
  33. @Test def powerwindow_model_only() { __parseNoErrors('input/powerwindow_model_only.sa') }
  34. @Test def powerwindow_algebraic_loop_delay_BASE() { __parseNoErrors('input/powerwindow_algebraic_loop_delay_BASE.sa') }
  35. @Test def powerwindow_algebraic_loop_delay() { __parseNoErrors('input/powerwindow_algebraic_loop_delay.sa') }
  36. @Test def powerwindow_algebraic_loop_iteration_BASE() { __parseNoErrors('input/powerwindow_algebraic_loop_iteration_BASE.sa') }
  37. @Test def powerwindow_algebraic_loop_iteration() { __parseNoErrors('input/powerwindow_algebraic_loop_iteration.sa') }
  38. @Test def powerwindow_controller_delay() { __parseNoErrors('input/powerwindow_controller_delay.sa') }
  39. @Test def powerwindow_controller_delay_BASE() { __parseNoErrorsPrint('input/powerwindow_controller_delay_BASE.sa') }
  40. @Test def powerwindow_multi_rate() { __parseNoErrors('input/powerwindow_multi_rate.sa') }
  41. @Test def powerwindow_multi_rate_BASE() { __parseNoErrors('input/powerwindow_multi_rate_BASE.sa') }
  42. @Test def powerwindow() { __parseNoErrors('input/powerwindow.sa') }
  43. def __parseNoErrors(String filename) {
  44. val root = __parse(filename)
  45. __assertNoParseErrors(root, filename)
  46. }
  47. def __parseNoErrorsPrint(String filename) {
  48. val root = __parse(filename)
  49. print_ast(root)
  50. __assertNoParseErrors(root, filename)
  51. }
  52. def __parse(String filename) {
  53. val model = readFile('input/powerwindow_controller_delay.sa').parse
  54. val controller = readFile('input/powerwindow_model_only.sa').parse(model.eResource.resourceSet)
  55. val algebraicloop = readFile('input/powerwindow_algebraic_loop_delay.sa').parse(controller.eResource.resourceSet)
  56. return readFile(filename).parse(algebraicloop.eResource.resourceSet)
  57. }
  58. def __assertNoParseErrors(EObject root, String filename) {
  59. try {
  60. root.assertNoErrors
  61. } catch (AssertionError e) {
  62. val p = Pattern.compile(".*, offset (?<offset>[0-9]+), length (?<length>[0-9]+)")
  63. val code = readFile(filename)
  64. for (String line : e.message.split("\n")) {
  65. val m = p.matcher(line)
  66. m.matches()
  67. val count = __occurrencesInString(code.subSequence(0, Integer.valueOf(m.group("offset"))).toString(), "\n")
  68. print(filename + " at line " + (count+1) + ": ")
  69. println(line)
  70. }
  71. throw e
  72. }
  73. }
  74. def __occurrencesInString(String str, String findstr) {
  75. var lastIndex = 0
  76. var count = 0
  77. while (lastIndex != -1) {
  78. lastIndex = str.indexOf(findstr,lastIndex)
  79. if (lastIndex != -1) {
  80. count ++
  81. lastIndex += findstr.length()
  82. }
  83. }
  84. return count
  85. }
  86. }