//$Id$

/// This interface abstracts a counter. It provides methods
/// for increasing and getting the value of the counter.
interface Counter
{
  /// Increases the counter value.
  void increment ();

  /// Decreases the counter value.
  long get_count ();

  /// Sets the counter value to zero.
  void reset ();

  /// Shuts down the ORB on which this obj is running.
  oneway void shutdown ();
};