import progettino.*;

class TestInt {
  public static void main(String[] args) {
    Int n0 = Int.makeInt(0);
    boolean res = true;
    /*************************************/
    /* isZero                            */
    /*************************************/
    if (!(n0.isZero())) {
      System.out.println("Errore isZero: 0 non e' "+n0);
      res=false;
    }
    /*************************************/
    /* makeInt                           */
    /*************************************/
    Int n1 = Int.makeInt(123);
    if (!("0".equals(n0.toString()))) {
      System.out.println("Errore makeInt: 0 non e' "+n1);
      res=false;
    }
    if (!("123".equals(n1.toString()))) {
      System.out.println("Errore makeInt: 123 non e' "+n1);
      res=false;
    }
    Int n2 = Int.makeInt(-124);
    if (!("-124".equals(n2.toString()))) {
      System.out.println("Errore makeInt: -124 non e' "+n2);
      res=false;
    }
    /*************************************/
    /* less                              */
    /*************************************/
    if (n1.less(n2)) {
      System.out.println("Errore less: "+ n1+" < "+n2+" non e ugual a "+n1.less(n2));
      res=false;
    }
    if (!(n2.less(n1))) {
      System.out.println("Errore less: "+n2+" < "+n1+" non e ugual a "+n2.less(n1));
      res=false;
    }
    /*************************************/
    /* plus                              */
    /*************************************/
    if (!("-1".equals(n1.plus(n2).toString()))) {
      System.out.println(n1+" + "+n2+" non e' ugual a "+n1.plus(n2));
      res=false;
    }
    if (!("246".equals(n1.plus(n1).toString()))) {
      System.out.println(n1+" + "+n1+" non e' ugual a "+n1.plus(n1));
      res=false;
    }
    if (!("-1".equals(n2.plus(n1).toString()))) {
      System.out.println(n2+" + "+n1+" non e' ugual a "+n2.plus(n1));
      res=false;
    }
    if (!("-248".equals(n2.plus(n2).toString()))) {
      System.out.println(n2+" + "+n2+" non e' ugual a "+n2.plus(n2));
      res=false;
    }
    /*************************************/
    /* minus                             */
    /*************************************/
    if (!("247".equals(n1.minus(n2).toString()))) {
      System.out.println(n1+" - "+n2+" non e' ugual a "+n1.minus(n2));
      res=false;
    }
    if (!("0".equals(n1.minus(n1).toString()))) {
      System.out.println(n1+" - "+n1+" non e' ugual a "+n1.minus(n1));
      res=false;
    }
    if (!("-247".equals(n2.minus(n1).toString()))) {
      System.out.println(n2+" - "+n1+" non e' ugual a "+n2.minus(n1));
      res=false;
    }
    if (!("0".equals(n2.minus(n2).toString()))) {
      System.out.println(n2+" - "+n2+" non e' ugual a "+n2.minus(n2));
      res=false;
    }
    /*************************************/
    /* mult                              */
    /*************************************/
    if (!("15129".equals(n1.mult(n1).toString()))) {
      System.out.println(n1+" * "+n1+" non e' ugual a "+n1.mult(n1));
      res=false;
    }
    if (!("-15252".equals(n1.mult(n2).toString()))) {
      System.out.println(n1+" * "+n2+" non e' ugual a "+n1.mult(n2));
      res=false;
    }
    if (!("-15252".equals(n2.mult(n1).toString()))) {
      System.out.println(n2+" * "+n1+" non e' ugual a "+n2.mult(n1));
      res=false;
    }
    if (!("15376".equals(n2.mult(n2).toString()))) {
      System.out.println(n2+" * "+n2+" non e' ugual a "+n2.mult(n2));
      res=false;
    }
    if (res)
      System.out.println("TestInt e' Ok");
  }
}