PageRenderTime 9ms CodeModel.GetById 2ms app.highlight 3ms RepoModel.GetById 1ms app.codeStats 0ms

/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--
 15deferred class LIBERTY_ASM_INSTRUCTION_VISITOR
 16
 17inherit
 18   LIBERTY_ASM_VISITOR
 19
 20feature {LIBERTY_ASM_INSTRUCTION}
 21   visit_and (a_instruction: LIBERTY_ASM_AND) is
 22      require
 23         a_instruction /= Void
 24      deferred
 25      end
 26
 27   visit_invoke (a_instruction: LIBERTY_ASM_INVOKE) is
 28      require
 29         a_instruction /= Void
 30      deferred
 31      end
 32
 33   visit_jump (a_instruction: LIBERTY_ASM_JUMP) is
 34      require
 35         a_instruction /= Void
 36      deferred
 37      end
 38
 39   visit_new (a_instruction: LIBERTY_ASM_NEW) is
 40      require
 41         a_instruction /= Void
 42      deferred
 43      end
 44
 45   visit_not (a_instruction: LIBERTY_ASM_NOT) is
 46      require
 47         a_instruction /= Void
 48      deferred
 49      end
 50
 51   visit_or (a_instruction: LIBERTY_ASM_OR) is
 52      require
 53         a_instruction /= Void
 54      deferred
 55      end
 56
 57   visit_return (a_instruction: LIBERTY_ASM_RETURN) is
 58      require
 59         a_instruction /= Void
 60      deferred
 61      end
 62
 63   visit_load_int (a_instruction: LIBERTY_ASM_LOAD_INT) is
 64      require
 65         a_instruction /= Void
 66      deferred
 67      end
 68
 69   visit_add_int (a_instruction: LIBERTY_ASM_ADD_INT) is
 70      require
 71         a_instruction /= Void
 72      deferred
 73      end
 74
 75   visit_sub_int (a_instruction: LIBERTY_ASM_SUB_INT) is
 76      require
 77         a_instruction /= Void
 78      deferred
 79      end
 80
 81   visit_mul_int (a_instruction: LIBERTY_ASM_MUL_INT) is
 82      require
 83         a_instruction /= Void
 84      deferred
 85      end
 86
 87   visit_div_int (a_instruction: LIBERTY_ASM_DIV_INT) is
 88      require
 89         a_instruction /= Void
 90      deferred
 91      end
 92
 93   visit_rem_int (a_instruction: LIBERTY_ASM_REM_INT) is
 94      require
 95         a_instruction /= Void
 96      deferred
 97      end
 98
 99   visit_call_native (a_instruction: LIBERTY_ASM_CALL_NATIVE) is
100      require
101         a_instruction /= Void
102      deferred
103      end
104
105end -- class LIBERTY_ASM_INSTRUCTION_VISITOR