package aspectjhw.fib;

/** A demo for AspectJ homework.
 * @author Gary T. Leavens
 */
public class Fibonacci {
        
        /** No instances. */
        private Fibonacci() {}
        
        /** Compute the nth fibonacci number. */
        //@ requires n >= 0;
        public static long fib(long n) {
                if (n < 2) {
                        return n;
                } else {
                        return fib(n - 1) + fib(n - 2);
                }
        }
}
