Rakefile

require "bundler/gem_tasks"
require 'fileutils'

task :default => ["test:all"]


namespace :test  do
  desc "Run all tests"
  task :all => [:ruby, :js, :java, :csharp, :unify]  	# Make sure that the unify test be the last one in the list.
  
  desc "Run Ruby code test suite"
  task :ruby do
    generate_source('ruby')
    ruby "test/dynamic_int_test/ruby_test/ruby_test.rb"
    ruby "test/signed_int_test/ruby_test/ruby_test.rb"
    ruby "test/ipv6_test/ruby_test/ruby_test.rb"
    ruby "test/complex_test/ruby_test/ruby_test.rb"
    ruby "test/binaryTree_test/ruby_test/ruby_test.rb"
    ruby "test/basic_complex_test/ruby_test/ruby_test.rb"

    system("find . -name 'test*.rb' | xargs rm") # Remove generated source code files
  end


  desc "Run JS code test suite"
  task :js do
    generate_source('js')
    system("node test/dynamic_int_test/js_test/js_test.js")
    system("node test/signed_int_test/js_test/js_test.js")
    system("node test/ipv6_test/js_test/js_test.js")
    system("node test/complex_test/js_test/js_test.js")
    system("node test/binaryTree_test/js_test/js_test.js")
    system("node test/basic_complex_test/js_test/js_testBasic.js")
    system("node test/basic_complex_test/js_test/js_testComplex.js")
    
    system("find . -name 'test*.js' | xargs rm") # Remove generated source code files
  end

  desc "Run java code test suite"
  task :java do
    generate_source('java')
    test_java("dynamic_int")
    test_java("signed_int")
    test_java("ipv6")
    test_java("complex")
    test_java("binaryTree")
    test_java("basic_complex")

    system("find . -name 'test*.java' | xargs rm") # Remove generated source code files
    system("find . -name '*.class' | xargs rm") # Remove generated .class files
  end

  desc "Run cSharp code test suite"
  task :csharp do
    generate_source('csharp')
    test_csharp("dynamic_int")
    test_csharp("signed_int")
    test_csharp("ipv6")
    test_csharp("complex")
    test_csharp("binaryTree")
    
    system("find . -name 'test*.cs' | xargs rm") # Remove generated source code files
    system("find . -name '*.exe' | xargs rm") # Remove generated source code files
  end

  desc "Unify test to compare the produced binary files. Prerequisite Other tests must be run first to generate bin files to be compared"
  task :unify do
     ruby "test/unify_test/unify_test.rb"
     system("find . -name 'bin.babel*' | xargs rm") # Remove generated bin files
  end
end

def test_java(test)
  system("javac -cp test/lib/java/junit.jar: test/#{test}_test/java_test/*.java")
  system("java -cp test/#{test}_test/java_test/:test/lib/java/junit.jar:. org.junit.runner.JUnitCore JavaTest")
end

def test_csharp(test)
  system("gmcs test/#{test}_test/csharp_test/*.cs -r:test/lib/csharp/nunit.framework.dll")
  FileUtils.move "./test/#{test}_test/csharp_test/csharp_test.exe", "./test/lib/csharp/"
  system("mono test/lib/csharp/csharp_test.exe")
end

def generate_source(lang)
  puts "Divine Version #{Divine::VERSION}"
  ruby "test/dynamic_int_test/dynamic_int_test.rb #{lang}"
  ruby "test/signed_int_test/signed_int_test.rb #{lang}"
  ruby "test/ipv6_test/ipv6_test.rb #{lang}"
  ruby "test/complex_test/complex_test.rb #{lang}"
  ruby "test/binaryTree_test/binaryTree_test.rb #{lang}"
  ruby "test/basic_complex_test/basic_complex_test.rb #{lang}"
end