cz::muni::stanse::lockchecker::Counter Class Reference

List of all members.

Public Member Functions

 Counter (int init)
int get ()
void add (int value)
String toString ()

Package Attributes

int count = 0

Detailed Description

Mutable class holding integer. For use in Maps.

Radim Cebis

Constructor & Destructor Documentation

cz::muni::stanse::lockchecker::Counter::Counter ( int  init  )  [inline]

init initial value of the counter

Member Function Documentation

int cz::muni::stanse::lockchecker::Counter::get (  )  [inline]

Gets count of the counter


void cz::muni::stanse::lockchecker::Counter::add ( int  value  )  [inline]

Adds specified value to the counter

value int value to be added

String cz::muni::stanse::lockchecker::Counter::toString (  )  [inline]

Member Data Documentation

The documentation for this class was generated from the following file:

Generated on Thu Jan 13 16:24:09 2011 for Stanse by  doxygen 1.5.6