PageRenderTime 23ms CodeModel.GetById 16ms app.highlight 3ms RepoModel.GetById 1ms app.codeStats 0ms

/src/tools/interpreter/liberty_interpreter_open_argument.e

http://github.com/tybor/Liberty
Specman e | 115 lines | 82 code | 19 blank | 14 comment | 0 complexity | d11d0de0b24808c54a53c5b5d2973ab2 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_OPEN_ARGUMENT
 16
 17inherit
 18   LIBERTY_INTERPRETER_OBJECT
 19      redefine
 20         is_open
 21      end
 22
 23create {LIBERTY_INTERPRETER_EXPRESSIONS}
 24   make
 25
 26feature {ANY}
 27   is_open: BOOLEAN is True
 28
 29   is_equal (other: LIBERTY_INTERPRETER_OBJECT): BOOLEAN is
 30      do
 31         Result := other = Current
 32      end
 33
 34   converted_to (target_type: LIBERTY_ACTUAL_TYPE): LIBERTY_INTERPRETER_OBJECT is
 35      do
 36         not_yet_implemented
 37      end
 38
 39   type: LIBERTY_ACTUAL_TYPE
 40
 41   hash_code: INTEGER is
 42      do
 43         Result := to_pointer.hash_code
 44      end
 45
 46feature {LIBERTY_INTERPRETER_EXTERNAL_TYPE_ANY_BUILTINS} -- Standard builtings
 47   builtin_is_equal (other: LIBERTY_INTERPRETER_OBJECT; a_position: LIBERTY_POSITION): BOOLEAN is
 48      do
 49         not_yet_implemented
 50      end
 51
 52   builtin_standard_is_equal (other: LIBERTY_INTERPRETER_OBJECT; a_position: LIBERTY_POSITION): BOOLEAN is
 53      do
 54         not_yet_implemented
 55      end
 56
 57   builtin_copy (other: LIBERTY_INTERPRETER_OBJECT; a_position: LIBERTY_POSITION) is
 58      do
 59         not_yet_implemented
 60      end
 61
 62   builtin_twin (a_position: LIBERTY_POSITION): like Current is
 63      do
 64         not_yet_implemented
 65      end
 66
 67   builtin_standard_copy (other: LIBERTY_INTERPRETER_OBJECT; a_position: LIBERTY_POSITION) is
 68      do
 69         not_yet_implemented
 70      end
 71
 72   builtin_standard_twin (a_position: LIBERTY_POSITION): like Current is
 73      do
 74         not_yet_implemented
 75      end
 76
 77feature {LIBERTY_INTERPRETER_OBJECT}
 78   do_deep_twin (deep_twin_memory: DICTIONARY[LIBERTY_INTERPRETER_OBJECT, LIBERTY_INTERPRETER_OBJECT]; a_position: LIBERTY_POSITION): LIBERTY_INTERPRETER_OBJECT is
 79      do
 80         not_yet_implemented
 81      end
 82
 83   do_deep_equal (object: LIBERTY_INTERPRETER_OBJECT; deep_equal_memory: SET[LIBERTY_INTERPRETER_OBJECT]; a_position: LIBERTY_POSITION): BOOLEAN is
 84      do
 85         not_yet_implemented
 86      end
 87
 88feature {LIBERTY_INTERPRETER_OBJECT_PRINTER, LIBERTY_INTERPRETER_FEATURE_CALL}
 89   show_stack (o: OUTPUT_STREAM; indent: INTEGER) is
 90      do
 91         o.put_character('{')
 92         o.put_string(type.full_name)
 93         o.put_character('}')
 94      end
 95
 96feature {}
 97   expanded_twin: like Current is
 98      do
 99         not_yet_implemented
100      end
101
102feature {}
103   make (a_interpreter: like interpreter; a_type: like type) is
104      require
105         a_interpreter /= Void
106         a_type /= Void
107      do
108         interpreter := a_interpreter
109         type := a_type
110      ensure
111         interpreter = a_interpreter
112         type = a_type
113      end
114
115end -- class LIBERTY_INTERPRETER_OPEN_ARGUMENT