/src/tools/interpreter/builtins/liberty_interpreter_external_type_real_128_builtins.e
Specman e | 51 lines | 30 code | 7 blank | 14 comment | 0 complexity | 9c4c34a2eb0a6e57d4eb05f4063570d6 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-- 15class LIBERTY_INTERPRETER_EXTERNAL_TYPE_REAL_128_BUILTINS 16 17inherit 18 LIBERTY_INTERPRETER_EXTERNAL_TYPE_REALS_BUILTINS[REAL_128] 19 20creation {LIBERTY_INTERPRETER_EXTERNAL_BUILTIN_CALL} 21 make 22 23feature {} 24 new_real (value: REAL_128): LIBERTY_INTERPRETER_OBJECT_NATIVE[REAL_128] is 25 do 26 Result := interpreter.new_real_128(value, builtin_call.position) 27 end 28 29 left, target: REAL_128 is 30 local 31 obj: LIBERTY_INTERPRETER_OBJECT_NATIVE[REAL_128] 32 do 33 obj ::= builtin_call.target 34 Result := obj.item 35 end 36 37 right: REAL_128 is 38 local 39 obj: LIBERTY_INTERPRETER_OBJECT_NATIVE[REAL_128] 40 do 41 builtin_call.evaluate_parameters 42 obj ::= builtin_call.parameters.first 43 Result := obj.item 44 end 45 46 call_specific (f: LIBERTY_FEATURE) is 47 do 48 last_call_failed := True 49 end 50 51end -- class LIBERTY_INTERPRETER_EXTERNAL_TYPE_REAL_128_BUILTINS