/src/tools/semantics/code/expressions/liberty_precursor_expression.e
Specman e | 47 lines | 26 code | 7 blank | 14 comment | 0 complexity | 09e9e3a1fc8bfe1ef7682955805a29f4 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_PRECURSOR_EXPRESSION 16 17inherit 18 LIBERTY_EXPRESSION 19 20insert 21 LIBERTY_PRECURSOR 22 23create {LIBERTY_BUILDER_TOOLS, LIBERTY_PRECURSOR_EXPRESSION} 24 make 25 26feature {ANY} 27 result_type: LIBERTY_TYPE is 28 do 29 Result := the_feature.result_type 30 end 31 32feature {ANY} 33 accept (v: VISITOR) is 34 local 35 v0: LIBERTY_PRECURSOR_EXPRESSION_VISITOR 36 do 37 v0 ::= v 38 v0.visit_liberty_precursor_expression(Current) 39 end 40 41feature {} 42 make_new (a_feature: like the_feature; a_actuals: like actuals_list; a_position: like position): like Current is 43 do 44 create Result.make(a_feature, a_actuals, a_position) 45 end 46 47end