/src/lib/sequencer/events/time_event.e
Specman e | 32 lines | 4 code | 2 blank | 26 comment | 0 complexity | a8dc5f8a516086820f3b466cf67b6b8e MD5 | raw file
1-- This file is part of a Liberty Eiffel library. 2-- See the full copyright at the end. 3-- 4deferred class TIME_EVENT 5 -- 6 -- An object that is managed by TIME_EVENTS. 7 -- 8 9inherit 10 EVENT_DESCRIPTOR 11 12end -- class TIME_EVENT 13-- 14-- Copyright (C) 2009-2017: by all the people cited in the AUTHORS file. 15-- 16-- Permission is hereby granted, free of charge, to any person obtaining a copy 17-- of this software and associated documentation files (the "Software"), to deal 18-- in the Software without restriction, including without limitation the rights 19-- to use, copy, modify, merge, publish, distribute, sublicense, and/or sell 20-- copies of the Software, and to permit persons to whom the Software is 21-- furnished to do so, subject to the following conditions: 22-- 23-- The above copyright notice and this permission notice shall be included in 24-- all copies or substantial portions of the Software. 25-- 26-- THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR 27-- IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 28-- FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE 29-- AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER 30-- LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, 31-- OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN 32-- THE SOFTWARE.