trace_example.mvc 1.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125
  1. TraceLanguage trace {
  2. Signal signal_x {
  3. name = "position"
  4. }
  5. Point px_0 {
  6. x = 0.0
  7. y = 0.0
  8. }
  9. Point px_1 {
  10. x = 1.0
  11. y = 0.5
  12. }
  13. Point px_2 {
  14. x = 2.0
  15. y = 2.0
  16. }
  17. Point px_3 {
  18. x = 3.0
  19. y = 4.5
  20. }
  21. Point px_4 {
  22. x = 4.0
  23. y = 8.0
  24. }
  25. Point px_5 {
  26. x = 5.0
  27. y = 12.5
  28. }
  29. contains (signal_x, px_0) {}
  30. contains (signal_x, px_1) {}
  31. contains (signal_x, px_2) {}
  32. contains (signal_x, px_3) {}
  33. contains (signal_x, px_4) {}
  34. contains (signal_x, px_5) {}
  35. Signal signal_v {
  36. name = "velocity"
  37. }
  38. Point pv_0 {
  39. x = 0.0
  40. y = 0.0
  41. }
  42. Point pv_1 {
  43. x = 1.0
  44. y = 1.0
  45. }
  46. Point pv_2 {
  47. x = 2.0
  48. y = 2.0
  49. }
  50. Point pv_3 {
  51. x = 3.0
  52. y = 3.0
  53. }
  54. Point pv_4 {
  55. x = 4.0
  56. y = 4.0
  57. }
  58. Point pv_5 {
  59. x = 5.0
  60. y = 5.0
  61. }
  62. contains (signal_v, pv_0) {}
  63. contains (signal_v, pv_1) {}
  64. contains (signal_v, pv_2) {}
  65. contains (signal_v, pv_3) {}
  66. contains (signal_v, pv_4) {}
  67. contains (signal_v, pv_5) {}
  68. Signal signal_a {
  69. name = "acceleration"
  70. }
  71. Point pa_0 {
  72. x = 0.0
  73. y = 1.0
  74. }
  75. Point pa_1 {
  76. x = 1.0
  77. y = 1.0
  78. }
  79. Point pa_2 {
  80. x = 2.0
  81. y = 1.0
  82. }
  83. Point pa_3 {
  84. x = 3.0
  85. y = 1.0
  86. }
  87. Point pa_4 {
  88. x = 4.0
  89. y = 1.0
  90. }
  91. Point pa_5 {
  92. x = 5.0
  93. y = 1.0
  94. }
  95. contains (signal_a, pa_0) {}
  96. contains (signal_a, pa_1) {}
  97. contains (signal_a, pa_2) {}
  98. contains (signal_a, pa_3) {}
  99. contains (signal_a, pa_4) {}
  100. contains (signal_a, pa_5) {}
  101. }