marking/mark03b
author Christian Urban <christian dot urban at kcl dot ac dot uk>
Wed, 21 Dec 2016 01:19:25 +0000
changeset 93 21f41e08457d
child 94 ae4708c851ee
permissions -rwxr-xr-x
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
93
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     1
#!/bin/bash
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     2
set -e
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     3
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     4
out=${1:-output}
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     5
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     6
echo "" > $out
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     7
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     8
echo "Below is the feedback and provisional mark for your submission" >> $out
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     9
echo "for CW 8, Part 2.  Please note all marks are provisional until" >> $out
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    10
echo "ratified by the assessment board -- this is not an official" >> $out
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    11
echo "results transcript." >> $out
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    12
echo "" >> $out
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    13
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    14
function scala_vars {
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    15
   (egrep '\bvar\b|\breturn\b|ListBuffer|mutable' "$1" 2> /dev/null 1> /dev/null)
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    16
}
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    17
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    18
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    19
# compilation tests
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    20
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    21
function scala_compile {
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    22
  (scala "$1" 2> /dev/null 1> /dev/null) 
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    23
}
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    24
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    25
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    26
# functional tests
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    27
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    28
function scala_assert {
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    29
  (scala -i "$1" "$2" -e "" 2> /dev/null 1> /dev/null)
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    30
}
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    31
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    32
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    33
# marks for CW
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    34
marks=$(( 0 ))
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    35
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    36
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    37
# var, return, ListBuffer test
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    38
#
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    39
echo "re2.scala does not contain vars, returns etc?" | tee -a $out
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    40
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    41
if (scala_vars re.scala)
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    42
then
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    43
  echo "  --> fail" | tee -a $out
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    44
  tsts0=$(( 1 ))
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    45
else
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    46
  echo "  --> yes" | tee -a $out
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    47
  tsts0=$(( 0 )) 
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    48
fi
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    49
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    50
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    51
# compilation test
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    52
if  [ $tsts0 -eq 0 ]
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    53
then    
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    54
  echo "re2.scala runs?" | tee -a $out
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    55
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    56
  if (scala_compile re2.scala)
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    57
  then
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    58
    echo "  --> yes" | tee -a $out
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    59
    tsts1=$(( 0 ))
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    60
  else
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    61
    echo "  --> scala re2.scala did not run successfully" | tee -a $out
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    62
    tsts1=$(( 1 )) 
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    63
  fi
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    64
else
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    65
  tsts1=$(( 1 ))     
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    66
fi
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    67
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    68
#if [ $tsts1 -eq 0 ]
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    69
#then
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    70
#  echo " nullable(ZERO) == false" | tee -a $out
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    71
#  echo " nullable(ONE) == true" | tee -a $out
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    72
#  
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    73
#  if (scala_assert "re.scala.bak" "../../../marking/re1a_test.scala")
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    74
#  then
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    75
#    echo "  --> success" | tee -a $out
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    76
#    marks=$(( marks + 1 ))
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    77
#  else
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    78
#    echo "  --> test failed" | tee -a $out
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    79
#  fi
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    80
#fi
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    81
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    82
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    83
## final marks
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    84
echo "Overall mark for CW 8, Part 2" | tee -a $out
21f41e08457d updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    85
echo "$marks" | tee -a $out