PageRenderTime 18ms CodeModel.GetById 10ms app.highlight 3ms RepoModel.GetById 1ms app.codeStats 1ms

/src/tools/semantics/code/liberty_feature_accelerator.e

http://github.com/tybor/Liberty
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