/src/tools/compiler/asm/liberty_asm_instruction_visitor.e

http://github.com/tybor/Liberty · Specman e · 105 lines · 75 code · 16 blank · 14 comment · 0 complexity · 15a206b0217b05b88de6a162374a4850 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_ASM_INSTRUCTION_VISITOR
  16. inherit
  17. LIBERTY_ASM_VISITOR
  18. feature {LIBERTY_ASM_INSTRUCTION}
  19. visit_and (a_instruction: LIBERTY_ASM_AND) is
  20. require
  21. a_instruction /= Void
  22. deferred
  23. end
  24. visit_invoke (a_instruction: LIBERTY_ASM_INVOKE) is
  25. require
  26. a_instruction /= Void
  27. deferred
  28. end
  29. visit_jump (a_instruction: LIBERTY_ASM_JUMP) is
  30. require
  31. a_instruction /= Void
  32. deferred
  33. end
  34. visit_new (a_instruction: LIBERTY_ASM_NEW) is
  35. require
  36. a_instruction /= Void
  37. deferred
  38. end
  39. visit_not (a_instruction: LIBERTY_ASM_NOT) is
  40. require
  41. a_instruction /= Void
  42. deferred
  43. end
  44. visit_or (a_instruction: LIBERTY_ASM_OR) is
  45. require
  46. a_instruction /= Void
  47. deferred
  48. end
  49. visit_return (a_instruction: LIBERTY_ASM_RETURN) is
  50. require
  51. a_instruction /= Void
  52. deferred
  53. end
  54. visit_load_int (a_instruction: LIBERTY_ASM_LOAD_INT) is
  55. require
  56. a_instruction /= Void
  57. deferred
  58. end
  59. visit_add_int (a_instruction: LIBERTY_ASM_ADD_INT) is
  60. require
  61. a_instruction /= Void
  62. deferred
  63. end
  64. visit_sub_int (a_instruction: LIBERTY_ASM_SUB_INT) is
  65. require
  66. a_instruction /= Void
  67. deferred
  68. end
  69. visit_mul_int (a_instruction: LIBERTY_ASM_MUL_INT) is
  70. require
  71. a_instruction /= Void
  72. deferred
  73. end
  74. visit_div_int (a_instruction: LIBERTY_ASM_DIV_INT) is
  75. require
  76. a_instruction /= Void
  77. deferred
  78. end
  79. visit_rem_int (a_instruction: LIBERTY_ASM_REM_INT) is
  80. require
  81. a_instruction /= Void
  82. deferred
  83. end
  84. visit_call_native (a_instruction: LIBERTY_ASM_CALL_NATIVE) is
  85. require
  86. a_instruction /= Void
  87. deferred
  88. end
  89. end -- class LIBERTY_ASM_INSTRUCTION_VISITOR