1 #!/bin/bash |
|
2 set -euo pipefail |
|
3 |
|
4 |
|
5 out=${1:-output} |
|
6 |
|
7 echo -e "" > $out |
|
8 |
|
9 echo -e "Below is the feedback for your submission of CW 9, Core Part." >> $out |
|
10 echo -e "" >> $out |
|
11 |
|
12 |
|
13 # compilation tests |
|
14 |
|
15 function scala_compile { |
|
16 (ulimit -t 30; JAVA_OPTS="-Xmx1g" scala "$1" 2>> $out 1>> $out) |
|
17 } |
|
18 |
|
19 # functional tests |
|
20 |
|
21 function scala_assert { |
|
22 (ulimit -t 30; JAVA_OPTS="-Xmx1g" scala -i "$1" -- "$2" 2> /dev/null 1> /dev/null) |
|
23 } |
|
24 |
|
25 # purity test |
|
26 |
|
27 function scala_vars { |
|
28 (egrep '\bvar\b|\breturn\b|\.par|ListBuffer|mutable|new Array' "$1" 2> /dev/null 1> /dev/null) |
|
29 } |
|
30 |
|
31 |
|
32 # var, return, ListBuffer test |
|
33 # |
|
34 echo -e "re.scala does not contain vars, returns etc?" >> $out |
|
35 |
|
36 if (scala_vars re.scala) |
|
37 then |
|
38 echo -e " --> FAIL (make triple-sure your program conforms to the required format)" >> $out |
|
39 tsts0=$(( 0 )) |
|
40 else |
|
41 echo -e " --> success" >> $out |
|
42 tsts0=$(( 0 )) |
|
43 fi |
|
44 |
|
45 |
|
46 # compilation test |
|
47 |
|
48 if [ $tsts0 -eq 0 ] |
|
49 then |
|
50 echo -e "re.scala runs?" >> $out |
|
51 |
|
52 if (scala_compile re.scala) |
|
53 then |
|
54 echo -e " --> yes" >> $out |
|
55 tsts1=$(( 0 )) |
|
56 else |
|
57 echo -e " --> SCALA DID NOT RUN RE.SCALA\n" >> $out |
|
58 tsts1=$(( 1 )) |
|
59 fi |
|
60 else |
|
61 tsts1=$(( 1 )) |
|
62 fi |
|
63 |
|
64 ### re tests |
|
65 |
|
66 if [ $tsts1 -eq 0 ] |
|
67 then |
|
68 echo -e " nullable(ZERO) == false" >> $out |
|
69 echo -e " nullable(ONE) == true" >> $out |
|
70 echo -e " nullable(CHAR('a')) == false" >> $out |
|
71 echo -e " nullable(ZERO | ONE) == true" >> $out |
|
72 echo -e " nullable(ZERO | CHAR('a')) == false" >> $out |
|
73 echo -e " nullable(ONE ~ ONE) == true" >> $out |
|
74 echo -e " nullable(ONE ~ CHAR('a')) == false" >> $out |
|
75 echo -e " nullable(STAR(ZERO)) == true" >> $out |
|
76 |
|
77 if (scala_assert "re.scala" "re_test1.scala") |
|
78 then |
|
79 echo -e " --> success" >> $out |
|
80 else |
|
81 echo -e " --> \n ONE TEST FAILED\n" >> $out |
|
82 fi |
|
83 fi |
|
84 |
|
85 |
|
86 |
|
87 if [ $tsts1 -eq 0 ] |
|
88 then |
|
89 echo -e " der('a', ZERO | ONE) == (ZERO | ZERO)" >> $out |
|
90 echo -e " der('a', (CHAR('a') | ONE) ~ CHAR('a')) ==" >> $out |
|
91 echo -e " ALT((ONE | ZERO) ~ CHAR('a'), ONE)" >> $out |
|
92 echo -e " der('a', STAR(CHAR('a'))) == (ONE ~ STAR(CHAR('a')))" >> $out |
|
93 echo -e " der('b', STAR(CHAR('a'))) == (ZERO ~ STAR(CHAR('a')))" >> $out |
|
94 |
|
95 if (scala_assert "re.scala" "re_test2.scala") |
|
96 then |
|
97 echo -e " --> success" >> $out |
|
98 else |
|
99 echo -e " --> \n ONE TEST FAILED\n" >> $out |
|
100 fi |
|
101 fi |
|
102 |
|
103 |
|
104 |
|
105 if [ $tsts1 -eq 0 ] |
|
106 then |
|
107 echo -e " simp(ZERO | ONE) == ONE" >> $out |
|
108 echo -e " simp(STAR(ZERO | ONE)) == STAR(ZERO | ONE)" >> $out |
|
109 echo -e " simp(ONE ~ (ONE ~ (ONE ~ CHAR('a')))) == CHAR('a')" >> $out |
|
110 echo -e " simp(((ONE ~ ONE) ~ ONE) ~ CHAR('a')) == CHAR('a'))" >> $out |
|
111 echo -e " simp(((ONE | ONE) ~ ONE) ~ CHAR('a')) == CHAR('a'))" >> $out |
|
112 echo -e " simp(ONE ~ (ONE ~ (ONE ~ ZERO))) == ZERO" >> $out |
|
113 echo -e " simp(ALT(ONE ~ (ONE ~ (ONE ~ ZERO)), CHAR('a'))) == CHAR('a')" >> $out |
|
114 echo -e " simp(CHAR('a') | CHAR('a')) == CHAR('a')" >> $out |
|
115 echo -e " simp(CHAR('a') ~ CHAR('a')) == CHAR('a') ~ CHAR('a')" >> $out |
|
116 echo -e " simp(ONE | CHAR('a')) == (ONE | CHAR('a'))" >> $out |
|
117 echo -e " simp(ALT((CHAR('a') | ZERO) ~ ONE," >> $out |
|
118 echo -e " ((ONE | CHAR('b')) | CHAR('c')) ~ (CHAR('d') ~ ZERO))) == CHAR('a')" >> $out |
|
119 echo -e " simp((ZERO | ((ZERO | ZERO) | (ZERO | ZERO))) ~ ((ONE | ZERO) | ONE ) ~ (CHAR('a'))) == ZERO" >> $out |
|
120 echo -e " simp(ALT(ONE | ONE, ONE | ONE)) == ONE" >> $out |
|
121 echo -e " simp(ALT(ZERO | CHAR('a'), CHAR('a') | ZERO)) == CHAR('a')" >> $out |
|
122 echo -e " simp(ALT(ONE | CHAR('a'), CHAR('a') | ONE)) == ALT(ONE | CHAR('a'), CHAR('a') | ONE)" >> $out |
|
123 if (scala_assert "re.scala" "re_test3.scala") |
|
124 then |
|
125 echo -e " --> success" >> $out |
|
126 else |
|
127 echo -e " --> \n ONE TEST FAILED\n" >> $out |
|
128 fi |
|
129 fi |
|
130 |
|
131 |
|
132 if [ $tsts1 -eq 0 ] |
|
133 then |
|
134 echo -e " val EVIL = SEQ(STAR(STAR(CHAR('a'))), CHAR('b'))" >> $out |
|
135 echo -e " ders(\"aaaaa\".toList, EVIL) == SEQ(SEQ(STAR(CHAR('a')),STAR(STAR(CHAR('a')))),CHAR('b'))" >> $out |
|
136 echo -e " ders(List('b'), EVIL) == ONE" >> $out |
|
137 echo -e " ders(\"bb\".toList, EVIL) == ZERO" >> $out |
|
138 echo -e " matcher(EVIL, \"a\" * 5 ++ \"b\") == true" >> $out |
|
139 echo -e " matcher(EVIL, \"b\") == true" >> $out |
|
140 echo -e " matcher(EVIL, \"bb\") == false" >> $out |
|
141 echo -e " matcher(\"abc\", \"abc\") == true" >> $out |
|
142 echo -e " matcher((\"ab\" | \"a\") ~ (ONE | \"bc\"), \"abc\") == true" >> $out |
|
143 echo -e " matcher(ONE, \"\") == true" >> $out |
|
144 echo -e " matcher(ZERO, \"\") == false" >> $out |
|
145 echo -e " matcher(ONE | CHAR('a'), \"\") == true" >> $out |
|
146 echo -e " matcher(ONE | CHAR('a'), \"a\") == true" >> $out |
|
147 |
|
148 if (scala_assert "re.scala" "re_test4.scala") |
|
149 then |
|
150 echo -e " --> success" >> $out |
|
151 else |
|
152 echo -e " --> \n ONE TEST FAILED\n" >> $out |
|
153 fi |
|
154 fi |
|
155 |
|
156 |
|
157 if [ $tsts1 -eq 0 ] |
|
158 then |
|
159 echo -e " val EVIL = SEQ(STAR(STAR(CHAR('a'))), CHAR('b'))" >> $out |
|
160 echo -e " size(der('a', der('a', EVIL))) == 28" >> $out |
|
161 echo -e " size(der('a', der('a', der('a', EVIL)))) == 58" >> $out |
|
162 echo -e " size(ders(\"aaaaaa\".toList, EVIL)) == 8" >> $out |
|
163 |
|
164 if (scala_assert "re.scala" "re_test5.scala") |
|
165 then |
|
166 echo -e " --> success" >> $out |
|
167 else |
|
168 echo -e " --> \n ONE TEST FAILED\n" >> $out |
|
169 fi |
|
170 fi |
|
171 |
|
172 |
|