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.

Author:
Radim Cebis

Constructor & Destructor Documentation

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

Parameters:
init initial value of the counter


Member Function Documentation

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

Gets count of the counter

Returns:
count

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

Adds specified value to the counter

Parameters:
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