1/*
2 * Copyright (c) 2000-2005 The Regents of The University of Michigan
3 * Copyright (c) 2008 The Hewlett-Packard Development Company
4 * All rights reserved.
5 *
6 * Redistribution and use in source and binary forms, with or without
7 * modification, are permitted provided that the following conditions are
8 * met: redistributions of source code must retain the above copyright

--- 46 unchanged lines hidden (view full) ---

55
56#ifndef NDEBUG
57Counter Event::instanceCounter = 0;
58#endif
59
60Event::~Event()
61{
62 assert(!scheduled());
63}
64
65const std::string
66Event::name() const
67{
68#ifndef NDEBUG
69 return csprintf("Event_%d", instance);
70#else

--- 339 unchanged lines hidden ---