Course Number: COM3220
Name: Zhimin Jiang
Account name: zmjiang
Assignment number: 7
Date: June 5

Test AP library

=====================================================================
Tests and bugs
(To save time, I didn't write the test specifications separately)

(from *)
1. Input: java MyMain "A=B. B=C. C=." "from * to *"
Output:  Not null
Comment: OK

2. Input: java MyMain "A=B. B=C. C=." "from * to B"
Output:  null
Comment: a bug, should not be null, problem with *

(bypassig)
3. Input: java MyMain "A=B. B=C. C=." "from A bypassing ->A,b,B to C"
Output: null
Comment: OK

4. Input: java MyMain "A=B. B=C. C=." "from A to C bypassing ->A,b,B"
Output: not null
Comment: a bug, the position of bypassing is a factor

5. Input: java MyMain "A=B. B=C. C=." "from A bypassing B to C"
Output: not null
Comment: a bug, should be null, bypassing doesn't work on nodes

6. Input: java MyMain "A=B. B=C. C=." "from A to C bypassing B"
Output: not null
Comment: a bug, should be null, bypassing doesn't work on nodes

7. Input: java MyMain "a=b. b=c. c=." "from * bypassing * to * "
Output: not null
Comment: a bug, should be null, again, bypassing doesn't work on nodes

(recusion-not so good)
8. Input: java MyMain "A=B. B=C. C=B A." "from B to C"
Output:
C: in copies {0}
B: in copies {0}
A: in copies {0}
-> C,b,B: in copies {0}
-> A,b,B: in copies {0}
-> B,c,C: in copies {0}
-> C,a,A: in copies {0}
Comment: a little confusingx to me.

(only-through and through)
9. Input: java MyMain "A=<b1>B <b2>B. B=C. C=." "from A only-through ->A,b1,B to B"
Output: correct
Comment: only-through works on edges

10. Input: java MyMain "A=B. B=C. C=B." "from A  only-through B to B"
Output: null
Comment: a bug, should not be null, only-through doesn't work on nodes

11. Input: java MyMain "A=<b1>B <b2>B. B=C. C=." "from A through ->A,b1,B to B"
Output: Error: only-through edge globs not yet supported.
Comment: a bug, it seems that through only works on nodes

(to-stop)
12. Input: java MyMain "A=B. B=C. C=B." "from A to-stop C"
Output: 
 EDU.neu.ccs.demeter.aplib.sg.TokenMgrError: Lexical error at line 1, column 52.
 Encountered: "@" (64), after : ""
Comment: a bug, to-stop doesn't work or I wrote the strategy wrong?

(ClassGraph-no redefinition check)
13. Input: java MyMain "A=<b1>B <b1>B. B=C. C=." "from A to C"
Output: 
-> A,b1,B: in copies {0}
-> B,c,C: in copies {0}
Comment: the same as "A=<b1>B. B=C. C.", not goodx

14. Input: java MyMain "A=<b1>B <b1>C. B=C. C=." "from A to C"
Output:
-> A,b1,C: in copies {0}
-> A,b1,B: in copies {0}
-> B,c,C: in copies {0}
Comment: b1 has been visited twice, but still not goodx because of redefinition

============================================================================
Test script
(Doesn't print success and failed)

----------run_test-----------------
#!bin/sh
#sh run_test
#test AP library, HW#7
#Zhimin Jiang

cd /home/zmjiang/st/hw7	
javac MyMain.java

java MyMain "A=B. B=C. C=." "from * to *"
java MyMain "A=B. B=C. C=." "from * to B"
java MyMain "A=B. B=C. C=." "from A bypassing ->A,b,B to C"
java MyMain "A=B. B=C. C=." "from A to C bypassing ->A,b,B"
java MyMain "A=B. B=C. C=." "from A bypassing B to C"
java MyMain "A=B. B=C. C=." "from A to C bypassing B"
java MyMain "a=b. b=c. c=." "from * bypassing * to * "
java MyMain "A=B. B=C. C=B A." "from B to C"
java MyMain "A=<b1>B <b2>B. B=C. C=." "from A only-through ->A,b1,B to B"
java MyMain "A=B. B=C. C=B." "from A  only-through B to B"
java MyMain "A=<b1>B <b2>B. B=C. C=." "from A through ->A,b1,B to B"
java MyMain "A=B. B=C. C=B." "from A to-stop C"
java MyMain "A=<b1>B <b1>B. B=C. C=." "from A to C"
java MyMain "A=<b1>B <b1>C. B=C. C=." "from A to C"

---------end of run_test------------------
=============================================================================