Pravilnost.java

//Dokazovanje pravilnosti programov
 
public class Pravilnost {
 
  static public int faks(int n) {
      int i=0,f=1 ;
 
      while (i < n) {
        i++ ;
        f *= i ;
      }
      return f ;
  }
 
  static public int prod(int x, int y) {
    int i, j, p ;
    i=0 ;
    p=0 ;
 
    while (i < x) {
      j=0 ;
      while (j < y) {
        j++ ;
        p++ ;
      }
      i++ ;
    }
    return p ;
  }
 
  static public double max(double x[], int n) {
    int i ;
    double m ;
 
    i=1 ;
    m=x[i] ;
    while (i != n) {
      i++ ;
      if (x[i]  > m)
        m = x[i] ;
    }
    return m ;
  }
 
 
  public static void main(String[] args) {
    System.out.println("Faktoriela:" + Pravilnost.faks(10)) ;
    System.out.println("Produkt:" + Pravilnost.prod(7,8)) ;
    double t[] = new double[10+1] ;
    for (int i=1 ; i <= 10 ; i++)
      t[i] = Math.random()*20 ;
    System.out.println("Maksimalno tevilo:"+Pravilnost.max(t,10));
  }
}