import jvstm.VBox;
import pt.ist.esw.atomicannotation.Atomic;
public class NormalCounter implements Counter {
private VBox<Long> count = new VBox<Long>(0L);
public long getCount() {
return count.get();
}
public @Atomic void inc() {
count.put(getCount() + 1);
}
}