blob: d8fa1959ce3fd5098749fe9351d97bec0bf0df6a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
//$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 ();
};
|
