1 #!/bin/bash

     2 set -e

     3 

     4 out=${1:-output}

     5 

     6 echo "" > $out

     7 

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

     9 echo "" >> $out

    10 

    11 

    12 # compilation tests

    13 

    14 function scala_compile {

    15   (ulimit -t 30 -m 1024000 ; scala "$1" 2>> $out 1>> $out) 

    16 }

    17 

    18 # functional tests

    19 

    20 function scala_assert {

    21   (ulimit -t 30 -m 1024000 ; scala -i "$1" "$2" -e "" 2> /dev/null 1> /dev/null)

    22 }

    23 

    24 # purity test

    25 

    26 function scala_vars {

    27    (egrep '\bvar\b|\breturn\b|\.par|ListBuffer|mutable|new Array' "$1" 2> /dev/null 1> /dev/null)

    28 }

    29 

    30 

    31 # var, return, ListBuffer test

    32 #

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

    34 

    35 if (scala_vars re.scala)

    36 then

    37   echo "  --> fail" >> $out

    38   tsts0=$(( 1 ))

    39 else

    40   echo "  --> yes" >> $out

    41   tsts0=$(( 0 )) 

    42 fi

    43 

    44 

    45 # compilation test

    46 if  [ $tsts0 -eq 0 ]

    47 then    

    48   echo "re.scala runs?" >> $out

    49 

    50   if (scala_compile re.scala)

    51   then

    52     echo "  --> yes" >> $out

    53     tsts1=$(( 0 ))

    54   else

    55     echo "  --> scala re.scala did not run successfully" >> $out

    56     tsts1=$(( 1 )) 

    57   fi

    58 else

    59   tsts1=$(( 1 ))     

    60 fi

    61 

    62 

    63 

    64 if [ $tsts1 -eq 0 ]

    65 then

    66   echo " nullable(ZERO) == false" >> $out

    67   echo " nullable(ONE) == true" >> $out

    68   echo " nullable(CHAR('a')) == false" >> $out

    69   echo " nullable(ZERO | ONE) == true" >> $out

    70   echo " nullable(ZERO | CHAR('a')) == false" >> $out

    71   echo " nullable(ONE ~  ONE) == true" >> $out

    72   echo " nullable(ONE ~ CHAR('a')) == false" >> $out

    73   echo " nullable(STAR(ZERO)) == true" >> $out

    74   

    75   if (scala_assert "re.scala" "re1a_test.scala")

    76   then

    77     echo "  --> success" >> $out

    78   else

    79     echo "  --> test failed" >> $out

    80   fi

    81 fi

    82 

    83 

    84 

    85 if [ $tsts1 -eq 0 ]

    86 then

    87   echo " der('a', ZERO | ONE) == (ZERO | ZERO)" >> $out

    88   echo " der('a', (CHAR('a') | ONE) ~ CHAR('a')) == ALT((ONE | ZERO) ~ CHAR('a'), ONE)" >> $out

    89   echo " der('a', STAR(CHAR('a'))) == (ONE ~ STAR(CHAR('a')))" >> $out

    90   echo " der('b', STAR(CHAR('a'))) == (ZERO ~ STAR(CHAR('a')))" >> $out

    91   

    92   if (scala_assert "re.scala" "re1b_test.scala")

    93   then

    94     echo "  --> success" >> $out

    95   else

    96     echo "  --> test failed" >> $out

    97   fi

    98 fi

    99 

   100 

   101 

   102 if [ $tsts1 -eq 0 ]

   103 then

   104   echo " simp(ZERO | ONE) == ONE" >> $out

   105   echo " simp(STAR(ZERO | ONE)) == STAR(ZERO | ONE)" >> $out

   106   echo " simp(ONE ~ (ONE ~ (ONE ~ CHAR('a')))) == CHAR('a')" >> $out

   107   echo " simp(ONE ~ (ONE ~ (ONE ~ ZERO))) == ZERO" >> $out

   108   echo " simp(ALT(ONE ~ (ONE ~ (ONE ~ ZERO)), CHAR('a'))) == CHAR('a')" >> $out

   109   echo " simp(CHAR('a') | CHAR('a')) == CHAR('a')" >> $out

   110   echo " simp(ONE | CHAR('a')) == (ONE | CHAR('a'))" >> $out

   111   echo " simp(ALT((CHAR('a') | ZERO) ~ ONE," >> $out

   112   echo "          ((ONE | CHAR('b')) | CHAR('c')) ~ (CHAR('d') ~ ZERO))) == CHAR('a')" >> $out

   113   if (scala_assert "re.scala" "re1c_test.scala")

   114   then

   115     echo "  --> success" >> $out

   116   else

   117     echo "  --> test failed" >> $out

   118   fi

   119 fi

   120 

   121 

   122 if [ $tsts1 -eq 0 ]

   123 then

   124   echo " val EVIL = SEQ(STAR(STAR(CHAR('a'))), CHAR('b'))" >> $out

   125   echo " ders(List.fill(5)('a'),EVIL) == SEQ(SEQ(STAR(CHAR('a')),STAR(STAR(CHAR('a')))),CHAR('b'))" >> $out

   126   echo " ders(List('b'),EVIL) == ONE" >> $out

   127   echo " ders(List('b','b'),EVIL) == ZERO" >> $out

   128   echo " matcher(EVIL, \"a\" * 5 ++ \"b\") == true" >> $out

   129   echo " matcher(EVIL, \"b\") == true" >> $out

   130   echo " matcher(EVIL, \"bb\") == false" >> $out

   131   echo " matcher(\"abc\", \"abc\") == true" >> $out

   132   echo " matcher((\"ab\" | \"a\") ~ (ONE | \"bc\"), \"abc\") == true" >> $out

   133   echo " matcher(ONE, \"\") == true" >> $out

   134   echo " matcher(ZERO, \"\") == false" >> $out

   135   echo " matcher(ONE | CHAR('a'), \"\") == true" >> $out

   136   echo " matcher(ONE | CHAR('a'), \"a\") == true" >> $out

   137   

   138   if (scala_assert "re.scala" "re1d_test.scala")

   139   then

   140     echo "  --> success" >> $out

   141   else

   142     echo "  --> test failed" >> $out

   143   fi

   144 fi

   145 

   146 

   147 if [ $tsts1 -eq 0 ]

   148 then

   149   echo " val EVIL = SEQ(STAR(STAR(CHAR('a'))), CHAR('b'))" >> $out  

   150   echo " size(der('a', der('a', EVIL))) == 28" >> $out

   151   echo " size(der('a', der('a', der('a', EVIL)))) == 58" >> $out

   152   echo " size(ders(\"aaaaaa\".toList, EVIL)) == 8" >> $out

   153   

   154   if (scala_assert "re.scala" "re1e_test.scala")

   155   then

   156     echo "  --> success" >> $out

   157   else

   158     echo "  --> test failed" >> $out

   159   fi

   160 fi

   161 

   162