001    package AST;
002    
003    import java.util.*;
004    /**
005     * @ast class
006     * @aspect Exercises
007     * @declaredat /home/csz-naf/examples/StateMachine/spec/Exercises.jrag:75
008     */
009    public class Counter extends java.lang.Object {
010    
011        private int value;
012    
013    
014        public Counter() { value = 0; }
015    
016    
017        public void add(int value) { this.value += value; }
018    
019    
020        public int value() { return value; }
021    
022    
023    }