Primary


1   package spoon.examples.distcalc.src;
2   
3   import spoon.examples.distcalc.annotation.Node;
4   
5   public abstract class Primary implements Services {
6   
7       @SuppressWarnings  ("unused")
8       @Node
9       boolean primary123(long n) {
10          pre: if (n <= 3)
11              ;
12          fun: primary(n);
13          return true;
14      }
15  
16      @SuppressWarnings  ("unused")
17      @Node
18      boolean primaryN(long n) {
19          pre: if (n > 3)
20              ;
21          fun: primary(n);
22          for (long i = 2; i < n; i++) {
23              if (primary(i)) {
24                  if (((double) n / (double) i) == n / i)
25                      return false;
26              }
27          }
28          return true;
29      }
30  
31      // @Node
32      // boolean primary1(long n) {
33      // fun: primary(n);
34      // return true;
35      // }
36      //
37  }
38

A to Z: JavaDoc & Examples Daily Java News & Articles Open Source Projects Open Source Codes Free Computer Books Remove Frame

Popular Tags