Public Member Functions | |
Counter (int init) | |
int | get () |
void | add (int value) |
String | toString () |
Package Attributes | |
int | count = 0 |
cz::muni::stanse::lockchecker::Counter::Counter | ( | int | init | ) | [inline] |
init | initial value of the counter |
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] |
int cz::muni::stanse::lockchecker::Counter::count = 0 [package] |