/src/lib/log/logging.e
Specman e | 47 lines | 16 code | 3 blank | 28 comment | 2 complexity | 5a59d56e82a4c8d36b06ef3b05b5069a MD5 | raw file
1-- This file is part of a Liberty Eiffel library. 2-- See the full copyright at the end. 3-- 4deferred class LOGGING 5 -- 6 -- This class is meant to be inserted. 7 -- 8 9feature {} 10 log: LOGGER 11 -- There is one logger per concrete type; for performance reasons it is cached in each instance. 12 local 13 conf: LOG_CONFIGURATION 14 do 15 Result := log_memory__0_ 16 if Result = Void or else not Result.is_valid then 17 Result := conf.logger(generating_type.intern) 18 log_memory__0_ := Result 19 end 20 ensure 21 Result /= Void 22 end 23 24 log_memory__0_: LOGGER 25 -- The cached logger. The ugly name is intentional. Don't use directly. 26 27end -- class LOGGING 28-- 29-- Copyright (C) 2009-2017: by all the people cited in the AUTHORS file. 30-- 31-- Permission is hereby granted, free of charge, to any person obtaining a copy 32-- of this software and associated documentation files (the "Software"), to deal 33-- in the Software without restriction, including without limitation the rights 34-- to use, copy, modify, merge, publish, distribute, sublicense, and/or sell 35-- copies of the Software, and to permit persons to whom the Software is 36-- furnished to do so, subject to the following conditions: 37-- 38-- The above copyright notice and this permission notice shall be included in 39-- all copies or substantial portions of the Software. 40-- 41-- THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR 42-- IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 43-- FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE 44-- AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER 45-- LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, 46-- OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN 47-- THE SOFTWARE.