Manuals/calci/Examples

Examples of Java and z3 Programs

DESCRIPTION

• Synchronous Readline for interactively running to have a conversation with the user via a console.
  
• Original codes in java as examples.
  
• z3 codes with z3 notations are shown below the java code.
  
  

EXAMPLES

1. Check Odd/Even
Java Code:
https://beginnersbook.com/2014/02/java-program-to-check-even-or-odd-number

import java.util.Scanner;
class CheckEvenOdd
{
  public static void main(String args[])
  {
    int num;
    System.out.println("Enter an Integer number:");
    //The input provided by user is stored in num
    Scanner input = new Scanner(System.in);
    num = input.nextInt();
    // If number is divisible by 2 then it's an even number
    // else odd number*/
    if ( num % 2 == 0 )
        System.out.println("Entered number is even");
    else
        System.out.println("Entered number is odd");
  }
}

z3 code:

var readlineSync = require('readline-sync');
console.log("Starting");   
    var temp;
    var num = readlineSync.question("Enter any number: ");
    ( num % 2 == 0 )::
        {console.log(num + " is an even number")},
        {console.log(num + " is an odd number")};

2. Sum of Array
Java Code:
https://beginnersbook.com/2014/01/java-program-to-sum-the-elements-of-an-array

import java.util.Scanner;
class SumDemo{
   public static void main(String args[]){
      Scanner scanner = new Scanner(System.in);
      int[] array = new int[10];
      int sum = 0;
      System.out.println("Enter the elements:");
      for (int i=0; i<10; i++)
      {
    	  array[i] = scanner.nextInt();
      }
      for( int num : array) {
          sum = sum+num;
      }
      System.out.println("Sum of array elements is:"+sum);
   }
}

z3 code:

var readlineSync = require('readline-sync');
console.log("Starting");   
      var k;
      k = readlineSync.question("Number of elements: ");
      var numbers = new Array(k);
      //Enter numbers using comma
      var num = readlineSync.question("Enter the elements: ");
      var temp = num.split(",");
        for (var i=0; i<k; i++)
        {
    	  numbers[i] = temp[i];
        }
      var sumofarray = SUM(numbers);
      console.log("Sum:" +sumofarray);