/src/tools/statue/liberty_flame.e
Specman e | 30 lines | 10 code | 3 blank | 17 comment | 0 complexity | c64014e7f7e3c06fe5838c61324116f7 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-- 15expanded class LIBERTY_FLAME 16-- 17-- LIBERTY_ENLIGHTENING_THE_WORLD state save ("Memo" design pattern) 18-- 19 20feature {LIBERTY_ENLIGHTENING_THE_WORLD} 21 light: INTEGER 22 23 set (candela: like light) is 24 do 25 light := candela 26 ensure 27 light = candela 28 end 29 30end -- class LIBERTY_FLAME