#!/bin/bash
set -e

out=${1:-output}

echo "" > $out

echo "Below is the feedback for your submission of CW 7, Part 1 and 2." >> $out
echo "" >> $out


# compilation tests

function scala_compile {
  (ulimit -t 30 -m 1024000 ; scala "$1" 2>> $out 1>> $out) 
}

# functional tests

function scala_assert {
  (ulimit -t 300 -m 1024000 ; scala -i "$1" "$2" -e "" 2> /dev/null 1> /dev/null)
}

# purity test

function scala_vars {
   (egrep '\bvar\b|\breturn\b|\.par|ListBuffer|mutable' "$1" 2> /dev/null 1> /dev/null)
}


# knights1: purity test

echo "knight1.scala does not contain vars, returns etc?" >> $out

if (scala_vars knight1.scala)
then
  echo "  --> fail" >> $out
  tsts0=$(( 1 ))
else
  echo "  --> success" >> $out
  tsts0=$(( 0 )) 
fi


# compilation test

if [ $tsts0 -eq 0 ]
then    
  echo "knight1.scala runs?" >> $out

  if (scala_compile knight1.scala)
  then
    echo "  --> success " >> $out
    tsts1=$(( 0 ))
  else
    echo "  --> scala did not run knight1.scala" >> $out
    tsts1=$(( 1 )) 
  fi
else
  tsts1=$(( 1 ))   
fi

### knight1a test

if [ $tsts1 -eq 0 ]
then
    echo " is_legal(8, Nil) (3, 4) == true " >> $out
    echo " is_legal(8, List((4, 1), (1, 0))) (4, 1) == false " >> $out
    echo " is_legal(2, Nil) (0, 0) == true" >> $out                          

    if (scala_assert "knight1.scala" "knight1a_test.scala")
    then
        echo "  --> success" >> $out
    else
        echo "  --> test failed" >> $out
    fi
fi

### knight1b test

if [ $tsts1 -eq 0 ]
then
  echo " legal_moves(8, Nil, (2,2)) == List((3,4), (4,3), (4,1), (3,0), (1,0), (0,1), (0,3), (1,4))" >> $out
  echo " legal_moves(8, Nil, (7,7)) == List((6,5), (5,6))" >> $out
  echo " legal_moves(8, List((4,1), (1,0)), (2,2)) == List((3,4), (4,3), (3,0), (0,1), (0,3), (1,4))" >> $out
  echo " legal_moves(8, List((6,6)), (7,7)) == List((6,5), (5,6))" >> $out
  echo " legal_moves(1, Nil, (0,0)) == Nil" >> $out
  echo " legal_moves(2, Nil, (0,0)) == Nil" >> $out
  echo " legal_moves(3, Nil, (0,0)) == List((1,2), (2,1))" >> $out
  
  if (scala_assert "knight1.scala" "knight1b_test.scala")
  then
    echo "  --> success" >> $out
  else
    echo "  --> test failed" >> $out
  fi
fi


### knight1c test

if [ $tsts1 -eq 0 ]
then
  echo " all_tours from every position on the board" >> $out
  echo " dim = 1: 1" >> $out
  echo "       2: 0,0,0,0" >>  $out
  echo "       3: 0,0,0,0,0,0,0,0,0" >>  $out
  echo "       4: 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0" >> $out
  echo "       5: 304,0,56,0,304,0,56,0,56,0,56,0,64,0,56,0,56,0,56,0,304,0,56,0,304" >> $out
  echo " enum_tours(5, List((0,2)) ) == 56 and all correct?" >> $out
  
  if (scala_assert "knight1.scala" "knight1c_test.scala") 
  then
    echo "  --> success" >> $out
  else
    echo "  --> test failed" >> $out
  fi
fi


# knights2: var test

echo "knight2.scala does not contain vars, returns etc?" >> $out

if (scala_vars knight2.scala)
then
  echo "  --> fail" >> $out
  tsts0=$(( 1 ))
else
  echo "  --> success" >> $out
  tsts0=$(( 0 )) 
fi


# compilation test
if  [ $tsts0 -eq 0 ]
then    
  echo "knight2.scala runs?" >> $out

  if (scala_compile knight2.scala)
  then
    echo "  --> success" >> $out
    tsts1=$(( 0 ))
  else
    echo "  --> scala did not run knight2.scala" >> $out
    tsts1=$(( 1 )) 
  fi
else
  tsts1=$(( 1 ))     
fi

### knight2a test

if [ $tsts1 -eq 0 ]
then
  echo " Let f = (x:(Int, Int)) => if (x._1 > 3) Some(List(x)) else None " >> $out
  echo "   first(List((1,0),(2,0),(3,0),(4,0)), f) == Some(List((4,0)))" >> $out
  echo "   first(List((1,0),(2,0),(3,0)), f) == None" >> $out

  if (scala_assert "knight2.scala" "knight2a_test.scala") 
  then
    echo "  --> success" >> $out
  else
    echo "  --> test failed" >> $out
  fi
fi


### knight2b test

if [ $tsts1 -eq 0 ]
then
  echo " is first_tour(8, (0, 0)) ok? " >> $out
  echo " is first_tour(4, (0, 0)) == None " >> $out

  if (scala_assert "knight2.scala" "knight2b_test.scala") 
  then
    echo "  --> success" >> $out
  else
    echo "  --> test failed" >> $out
  fi
fi

