/src/tools/semantics/code/liberty_feature_accelerator.e

http://github.com/tybor/Liberty · Specman e · 137 lines · 95 code · 24 blank · 18 comment · 0 complexity · 246e690112cd107bf7c23404c7fc7c87 MD5 · raw file

  1. -- This file is part of Liberty Eiffel.
  2. --
  3. -- Liberty Eiffel is free software: you can redistribute it and/or modify
  4. -- it under the terms of the GNU General Public License as published by
  5. -- the Free Software Foundation, version 3 of the License.
  6. --
  7. -- Liberty Eiffel is distributed in the hope that it will be useful,
  8. -- but WITHOUT ANY WARRANTY; without even the implied warranty of
  9. -- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  10. -- GNU General Public License for more details.
  11. --
  12. -- You should have received a copy of the GNU General Public License
  13. -- along with Liberty Eiffel. If not, see <http://www.gnu.org/licenses/>.
  14. --
  15. deferred class LIBERTY_FEATURE_ACCELERATOR
  16. --
  17. -- Allows to visit a feature depending on its name. A default implementation is provided to allow to
  18. -- redefine only relevant parts.
  19. --
  20. feature {LIBERTY_FEATURE_LOCAL_CONTEXT}
  21. call_implies (f: LIBERTY_FEATURE) is
  22. do
  23. check False end
  24. end
  25. call_or_else (f: LIBERTY_FEATURE) is
  26. do
  27. check False end
  28. end
  29. call_or (f: LIBERTY_FEATURE) is
  30. do
  31. check False end
  32. end
  33. call_xor (f: LIBERTY_FEATURE) is
  34. do
  35. check False end
  36. end
  37. call_and_then (f: LIBERTY_FEATURE) is
  38. do
  39. check False end
  40. end
  41. call_and (f: LIBERTY_FEATURE) is
  42. do
  43. check False end
  44. end
  45. call_less_or_equal (f: LIBERTY_FEATURE) is
  46. do
  47. check False end
  48. end
  49. call_less_than (f: LIBERTY_FEATURE) is
  50. do
  51. check False end
  52. end
  53. call_greater_or_equal (f: LIBERTY_FEATURE) is
  54. do
  55. check False end
  56. end
  57. call_greater_than (f: LIBERTY_FEATURE) is
  58. do
  59. check False end
  60. end
  61. call_add (f: LIBERTY_FEATURE) is
  62. do
  63. check False end
  64. end
  65. call_subtract (f: LIBERTY_FEATURE) is
  66. do
  67. check False end
  68. end
  69. call_times (f: LIBERTY_FEATURE) is
  70. do
  71. check False end
  72. end
  73. call_divide (f: LIBERTY_FEATURE) is
  74. do
  75. check False end
  76. end
  77. call_int_divide (f: LIBERTY_FEATURE) is
  78. do
  79. check False end
  80. end
  81. call_int_remainder (f: LIBERTY_FEATURE) is
  82. do
  83. check False end
  84. end
  85. call_power (f: LIBERTY_FEATURE) is
  86. do
  87. check False end
  88. end
  89. call_positive (f: LIBERTY_FEATURE) is
  90. do
  91. check False end
  92. end
  93. call_negative (f: LIBERTY_FEATURE) is
  94. do
  95. check False end
  96. end
  97. call_not (f: LIBERTY_FEATURE) is
  98. do
  99. check False end
  100. end
  101. call_free_prefix (f: LIBERTY_FEATURE) is
  102. do
  103. check False end
  104. end
  105. call_free_infix (f: LIBERTY_FEATURE) is
  106. do
  107. check False end
  108. end
  109. call_other (f: LIBERTY_FEATURE) is
  110. do
  111. check False end
  112. end
  113. end -- class LIBERTY_FEATURE_ACCELERATOR