SemanticAdaptationParsingTest.xtend 3.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899
  1. /*
  2. * generated by Xtext 2.10.0
  3. */
  4. package be.uantwerpen.ansymo.semanticadaptation.tests
  5. import org.eclipse.xtext.testing.InjectWith
  6. import org.eclipse.xtext.testing.XtextRunner
  7. import org.junit.Assert
  8. import org.junit.Test
  9. import org.junit.runner.RunWith
  10. import org.eclipse.xtext.testing.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. @org.eclipse.xtext.testing.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() { __parseNoErrors('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. @Test def powerwindow_inline() { __parseNoErrors('input/powerwindow_inline.sa') }
  44. def __parseNoErrors(String filename) {
  45. val root = __parse(filename)
  46. __assertNoParseErrors(root, filename)
  47. }
  48. def __parseNoErrorsPrint(String filename) {
  49. val root = __parse(filename)
  50. print_ast(root)
  51. __assertNoParseErrors(root, filename)
  52. }
  53. def __parse(String filename) {
  54. val model = readFile('input/powerwindow_controller_delay.sa').parse
  55. val controller = readFile('input/powerwindow_model_only.sa').parse(model.eResource.resourceSet)
  56. val algebraicloop = readFile('input/powerwindow_algebraic_loop_delay.sa').parse(controller.eResource.resourceSet)
  57. return readFile(filename).parse(algebraicloop.eResource.resourceSet)
  58. }
  59. def __assertNoParseErrors(EObject root, String filename) {
  60. try {
  61. root.assertNoErrors
  62. } catch (AssertionError e) {
  63. val p = Pattern.compile(".*, offset (?<offset>[0-9]+), length (?<length>[0-9]+)")
  64. val code = readFile(filename)
  65. for (String line : e.message.split("\n")) {
  66. val m = p.matcher(line)
  67. m.matches()
  68. val count = __occurrencesInString(code.subSequence(0, Integer.valueOf(m.group("offset"))).toString(), "\n")
  69. print(filename + " at line " + (count+1) + ": ")
  70. println(line)
  71. }
  72. throw e
  73. }
  74. }
  75. def __occurrencesInString(String str, String findstr) {
  76. var lastIndex = 0
  77. var count = 0
  78. while (lastIndex != -1) {
  79. lastIndex = str.indexOf(findstr,lastIndex)
  80. if (lastIndex != -1) {
  81. count ++
  82. lastIndex += findstr.length()
  83. }
  84. }
  85. return count
  86. }
  87. }