/src/tools/semantics/code/liberty_feature_accelerator.e
Specman e | 137 lines | 95 code | 24 blank | 18 comment | 0 complexity | 246e690112cd107bf7c23404c7fc7c87 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_FEATURE_ACCELERATOR 16 -- 17 -- Allows to visit a feature depending on its name. A default implementation is provided to allow to 18 -- redefine only relevant parts. 19 -- 20 21feature {LIBERTY_FEATURE_LOCAL_CONTEXT} 22 call_implies (f: LIBERTY_FEATURE) is 23 do 24 check False end 25 end 26 27 call_or_else (f: LIBERTY_FEATURE) is 28 do 29 check False end 30 end 31 32 call_or (f: LIBERTY_FEATURE) is 33 do 34 check False end 35 end 36 37 call_xor (f: LIBERTY_FEATURE) is 38 do 39 check False end 40 end 41 42 call_and_then (f: LIBERTY_FEATURE) is 43 do 44 check False end 45 end 46 47 call_and (f: LIBERTY_FEATURE) is 48 do 49 check False end 50 end 51 52 call_less_or_equal (f: LIBERTY_FEATURE) is 53 do 54 check False end 55 end 56 57 call_less_than (f: LIBERTY_FEATURE) is 58 do 59 check False end 60 end 61 62 call_greater_or_equal (f: LIBERTY_FEATURE) is 63 do 64 check False end 65 end 66 67 call_greater_than (f: LIBERTY_FEATURE) is 68 do 69 check False end 70 end 71 72 call_add (f: LIBERTY_FEATURE) is 73 do 74 check False end 75 end 76 77 call_subtract (f: LIBERTY_FEATURE) is 78 do 79 check False end 80 end 81 82 call_times (f: LIBERTY_FEATURE) is 83 do 84 check False end 85 end 86 87 call_divide (f: LIBERTY_FEATURE) is 88 do 89 check False end 90 end 91 92 call_int_divide (f: LIBERTY_FEATURE) is 93 do 94 check False end 95 end 96 97 call_int_remainder (f: LIBERTY_FEATURE) is 98 do 99 check False end 100 end 101 102 call_power (f: LIBERTY_FEATURE) is 103 do 104 check False end 105 end 106 107 call_positive (f: LIBERTY_FEATURE) is 108 do 109 check False end 110 end 111 112 call_negative (f: LIBERTY_FEATURE) is 113 do 114 check False end 115 end 116 117 call_not (f: LIBERTY_FEATURE) is 118 do 119 check False end 120 end 121 122 call_free_prefix (f: LIBERTY_FEATURE) is 123 do 124 check False end 125 end 126 127 call_free_infix (f: LIBERTY_FEATURE) is 128 do 129 check False end 130 end 131 132 call_other (f: LIBERTY_FEATURE) is 133 do 134 check False end 135 end 136 137end -- class LIBERTY_FEATURE_ACCELERATOR