PageRenderTime 21ms CodeModel.GetById 14ms app.highlight 2ms RepoModel.GetById 2ms app.codeStats 0ms

/src/tools/semantics/types/liberty_type_visitor.e

http://github.com/tybor/Liberty
Specman e | 111 lines | 73 code | 24 blank | 14 comment | 0 complexity | 504f8c9870e9b6dec74f1bcb5477b007 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_TYPE_VISITOR
 16
 17feature {LIBERTY_UNIVERSE}
 18   visit_type_any (type: LIBERTY_ACTUAL_TYPE) is
 19      deferred
 20      end
 21
 22   visit_type_arguments (type: LIBERTY_ACTUAL_TYPE) is
 23      deferred
 24      end
 25
 26   visit_type_platform (type: LIBERTY_ACTUAL_TYPE) is
 27      deferred
 28      end
 29
 30   visit_type_pointer (type: LIBERTY_ACTUAL_TYPE) is
 31      deferred
 32      end
 33
 34   visit_type_integer_64 (type: LIBERTY_ACTUAL_TYPE) is
 35      deferred
 36      end
 37
 38   visit_type_integer_32 (type: LIBERTY_ACTUAL_TYPE) is
 39      deferred
 40      end
 41
 42   visit_type_integer_16 (type: LIBERTY_ACTUAL_TYPE) is
 43      deferred
 44      end
 45
 46   visit_type_integer_8 (type: LIBERTY_ACTUAL_TYPE) is
 47      deferred
 48      end
 49
 50   visit_type_real_64 (type: LIBERTY_ACTUAL_TYPE) is
 51      deferred
 52      end
 53
 54   visit_type_real_32 (type: LIBERTY_ACTUAL_TYPE) is
 55      deferred
 56      end
 57
 58   visit_type_real_80 (type: LIBERTY_ACTUAL_TYPE) is
 59      deferred
 60      end
 61
 62   visit_type_real_128 (type: LIBERTY_ACTUAL_TYPE) is
 63      deferred
 64      end
 65
 66   visit_type_character (type: LIBERTY_ACTUAL_TYPE) is
 67      deferred
 68      end
 69
 70   visit_type_string (type: LIBERTY_ACTUAL_TYPE) is
 71      deferred
 72      end
 73
 74   visit_type_boolean (type: LIBERTY_ACTUAL_TYPE) is
 75      deferred
 76      end
 77
 78   visit_type_native_array (type: LIBERTY_ACTUAL_TYPE) is
 79      deferred
 80      end
 81
 82   visit_type_tuple (type: LIBERTY_ACTUAL_TYPE) is
 83      deferred
 84      end
 85
 86   visit_type_routine (type: LIBERTY_ACTUAL_TYPE) is
 87      deferred
 88      end
 89
 90   visit_type_procedure (type: LIBERTY_ACTUAL_TYPE) is
 91      deferred
 92      end
 93
 94   visit_type_function (type: LIBERTY_ACTUAL_TYPE) is
 95      deferred
 96      end
 97
 98   visit_type_predicate (type: LIBERTY_ACTUAL_TYPE) is
 99      deferred
100      end
101
102   visit_user_type (type: LIBERTY_ACTUAL_TYPE) is
103      deferred
104      end
105
106feature {LIBERTY_VOID_TYPE}
107   visit_void (type: LIBERTY_VOID_TYPE) is
108      deferred
109      end
110
111end -- class LIBERTY_TYPE_VISITOR