home *** CD-ROM | disk | FTP | other *** search
/ ftp.cs.arizona.edu / ftp.cs.arizona.edu.tar / ftp.cs.arizona.edu / icon / historic / v941.tgz / icon.v941src.tar / icon.v941src / tests / general / evalx.icn < prev    next >
Text File  |  2000-07-29  |  10KB  |  234 lines
  1. record array(a,b,c,d,e,f,g)
  2.  
  3. procedure p1()
  4.    write(" ----> ",image() | "none")
  5.    write("2 === +2 ----> ",image(2 === +2) | "none")
  6.    write("3 === *\"abc\" ----> ",image(3 === *"abc") | "none")
  7.    write("'abc' === ('abc' ++ '') ----> ",image('abc' === ('abc' ++ '')) | "none")
  8.    write("'a' ----> ",image('a') | "none")
  9.    write("'ab' ----> ",image('ab') | "none")
  10.    write("'\\xb9' ----> ",image('\xb9') | "none")
  11.    write("'\\xb8\\xb4' ----> ",image('\xb8\xb4') | "none")
  12.    write("'\\^d' ----> ",image('\^d') | "none")
  13.    write("'\\^a\\^d' ----> ",image('\^a\^d') | "none")
  14. end
  15.  
  16. procedure p2()
  17.    write("\"a\" ----> ",image("a") | "none")
  18.    write("\"ab\" ----> ",image("ab") | "none")
  19.    write("\"\\xb9\" ----> ",image("\xb9") | "none")
  20.    write("\"\\xb8\\xb4\" ----> ",image("\xb8\xb4") | "none")
  21.    write("\"\\^d\" ----> ",image("\^d") | "none")
  22.    write("\"\\^a\\^d\" ----> ",image("\^a\^d") | "none")
  23.    write("*'a' ----> ",image(*'a') | "none")
  24.    write("*'ab' ----> ",image(*'ab') | "none")
  25.    write("*'\\xb9' ----> ",image(*'\xb9') | "none")
  26.    write("*'\\xb8\\xb4' ----> ",image(*'\xb8\xb4') | "none")
  27.    write("*'\\^d' ----> ",image(*'\^d') | "none")
  28. end
  29.  
  30. procedure p3()
  31.    write("*'\\^a\\^d' ----> ",image(*'\^a\^d') | "none")
  32.    write("*\"a\" ----> ",image(*"a") | "none")
  33.    write("*\"ab\" ----> ",image(*"ab") | "none")
  34.    write("*\"\\xb9\" ----> ",image(*"\xb9") | "none")
  35.    write("*\"\\xb8\\xb4\" ----> ",image(*"\xb8\xb4") | "none")
  36.    write("*\"\\^d\" ----> ",image(*"\^d") | "none")
  37.    write("\"*\\^a\\^d\" ----> ",image("*\^a\^d") | "none")
  38.    write("every write(\"...\"(1,10,2)) ----> ",image(every write("..."(1,10,2))) | "none")
  39.    write("every write(\"image\"(write)) ----> ",image(every write("image"(write))) | "none")
  40.    write("\"[:]\"(\"abcdef\",3,5) ----> ",image("[:]"("abcdef",3,5)) | "none")
  41.    write("\"[]\"(&lcase,3) ----> ",image("[]"(&lcase,3)) | "none")
  42. end
  43.  
  44. procedure p4()
  45.    write("image(proc(\"^\",1)) ----> ",image(image(proc("^",1))) | "none")
  46.    write("image(proc(\"^\",2)) ----> ",image(image(proc("^",2))) | "none")
  47.    write("proc(\"+\",2)(3,4) ----> ",image(proc("+",2)(3,4)) | "none")
  48.    write("proc(proc)(\"write\") ----> ",image(proc(proc)("write")) | "none")
  49.    write("proc(\"+\") ----> ",image(proc("+")) | "none")
  50.    write("?10 ----> ",image(?10) | "none")
  51.    write("?10 ----> ",image(?10) | "none")
  52.    write("?10 ----> ",image(?10) | "none")
  53.    write("?20 ----> ",image(?20) | "none")
  54.    write("?[1,2,3,4] ----> ",image(?[1,2,3,4]) | "none")
  55.    write("?[1,2,3,4] ----> ",image(?[1,2,3,4]) | "none")
  56. end
  57.  
  58. procedure p5()
  59.    write("x := array(1,2,3,4,5,6,7) ----> ",image(x := array(1,2,3,4,5,6,7)) | "none")
  60.    write("?x ----> ",image(?x) | "none")
  61.    write("?x ----> ",image(?x) | "none")
  62.    write("?x ----> ",image(?x) | "none")
  63.    write("?x ----> ",image(?x) | "none")
  64.    write("?x ----> ",image(?x) | "none")
  65.    write("?x ----> ",image(?x) | "none")
  66.    write("?x ----> ",image(?x) | "none")
  67.    write("?x ----> ",image(?x) | "none")
  68.    write("every 1 to 10 do write(?10) ----> ",image(every 1 to 10 do write(?10)) | "none")
  69.    write("every 1 to 10 do write(?[1,2,3,4,5,6,7,8,9,10]) ----> ",image(every 1 to 10 do write(?[1,2,3,4,5,6,7,8,9,10])) | "none")
  70. end
  71.  
  72. procedure p6()
  73.    write("every 1 to 10 do write(?\"abcdef\") ----> ",image(every 1 to 10 do write(?"abcdef")) | "none")
  74.    write("x := array(1,2,3,4,5,6,7) ----> ",image(x := array(1,2,3,4,5,6,7)) | "none")
  75.    write("every 1 to 10 do write(?x) ----> ",image(every 1 to 10 do write(?x)) | "none")
  76.    write("(1,2,3,4,5) ----> ",image((1,2,3,4,5)) | "none")
  77.    write("every write((1 to 5)(1,2,3,4,5)) ----> ",image(every write((1 to 5)(1,2,3,4,5))) | "none")
  78.    write("0(1,2) ----> ",image(0(1,2)) | "none")
  79. end
  80.  
  81. procedure p7()
  82.    write("1(1) ----> ",image(1(1)) | "none")
  83.    write("2(1) ----> ",image(2(1)) | "none")
  84.    write("(-1)(1,2,3) ----> ",image((-1)(1,2,3)) | "none")
  85.    write("3(1,2,3,&fail) ----> ",image(3(1,2,3,&fail)) | "none")
  86.    write("every write(2(1 to 5,!\"abc\",1 to 2)) ----> ",image(every write(2(1 to 5,!"abc",1 to 2))) | "none")
  87.    write("x := 1 ----> ",image(x := 1) | "none")
  88.    write("y := 2 ----> ",image(y := 2) | "none")
  89.    write("(x := y) & &fail ----> ",image((x := y) & &fail) | "none")
  90.    write("every write(!\"abcdef\") ----> ",image(every write(!"abcdef")) | "none")
  91.    write("every write(![1,2,3,4,5]) ----> ",image(every write(![1,2,3,4,5])) | "none")
  92.    write("every write(!![1,2,3,4,5]) ----> ",image(every write(!![1,2,3,4,5])) | "none")
  93. end
  94.  
  95. procedure p8()
  96.    write("every write(!![1,\"ab\",[1,2,3],34]) ----> ",image(every write(!![1,"ab",[1,2,3],34])) | "none")
  97.    write("every write(!([1,\"ab\",[1,2,3],34][1 to 4])) ----> ",image(every write(!([1,"ab",[1,2,3],34][1 to 4]))) | "none")
  98.    write("x := array(1,2,3,4,5) ----> ",image(x := array(1,2,3,4,5)) | "none")
  99.    write("every write(!x) ----> ",image(every write(!x)) | "none")
  100.    write("x := 1 ----> ",image(x := 1) | "none")
  101.    write("y := 2 ----> ",image(y := 2) | "none")
  102.    write("x <-> y ----> ",image(x <-> y) | "none")
  103.    write("y <-> x ----> ",image(y <-> x) | "none")
  104.    write("(x <-> y) & &fail ----> ",image((x <-> y) & &fail) | "none")
  105.    write("x ----> ",image(x) | "none")
  106.    write("y ----> ",image(y) | "none")
  107. end
  108.  
  109. procedure p9()
  110.    write("*\"\" ----> ",image(*"") | "none")
  111.    write("*'' ----> ",image(*'') | "none")
  112.    write("*[] ----> ",image(*[]) | "none")
  113.    write("*table() ----> ",image(*table()) | "none")
  114.    write("*30 ----> ",image(*30) | "none")
  115.    write("!\"abc\" ----> ",image(!"abc") | "none")
  116.    write("![1,2,3] ----> ",image(![1,2,3]) | "none")
  117.    write("!&lcase ----> ",image(!&lcase) | "none")
  118.    write("!30 ----> ",image(!30) | "none")
  119.    write("!table() ----> ",image(!table()) | "none")
  120.    write("?\"abc\" ----> ",image(?"abc") | "none")
  121. end
  122.  
  123. procedure p10()
  124.    write("?&lcase ----> ",image(?&lcase) | "none")
  125.    write("?[1,2,3] ----> ",image(?[1,2,3]) | "none")
  126.    write("?table() ----> ",image(?table()) | "none")
  127.    write("?30 ----> ",image(?30) | "none")
  128.    write(".x ----> ",image(.x) | "none")
  129.    write(".\"abc\" ----> ",image(."abc") | "none")
  130.    write(".[] ----> ",image(.[]) | "none")
  131.    write(".main ----> ",image(.main) | "none")
  132.    write("/main ----> ",image(/main) | "none")
  133.    write("/\"abc\" ----> ",image(/"abc") | "none")
  134. end
  135.  
  136. procedure p11()
  137.    write("/&null ----> ",image(/&null) | "none")
  138.    write("/[] ----> ",image(/[]) | "none")
  139.    write("/&lcase ----> ",image(/&lcase) | "none")
  140.    write("\\main ----> ",image(\main) | "none")
  141.    write("\\\"abc\" ----> ",image(\"abc") | "none")
  142.    write("\\x ----> ",image(\x) | "none")
  143.    write("\\[] ----> ",image(\[]) | "none")
  144.    write("\\&null ----> ",image(\&null) | "none")
  145.    write("1 | 2 | 3 ----> ",image(1 | 2 | 3) | "none")
  146.    write("|(1 to 10) ----> ",image(|(1 to 10)) | "none")
  147.    write("||(1 to 10) ----> ",image(||(1 to 10)) | "none")
  148. end
  149.  
  150. procedure p12()
  151.    write("|||(1 to 10) ----> ",image(|||(1 to 10)) | "none")
  152.    write("||||(1 to 10) ----> ",image(||||(1 to 10)) | "none")
  153.    write("|||||(1 to 10) ----> ",image(|||||(1 to 10)) | "none")
  154.    write("|||||||(1 to 10) ----> ",image(|||||||(1 to 10)) | "none")
  155.    write("2 \\ 2 ----> ",image(2 \ 2) | "none")
  156.    write("while 1 do break ----> ",image(while 1 do break) | "none")
  157.    write("while 1 do break \"hello\" ----> ",image(while 1 do break "hello") | "none")
  158.    write("while break ----> ",image(while break) | "none")
  159.    write("case 1 of {2:3; \"1\":4; 1: 4 to 10; default: \"whoa\"} ----> ",image(case 1 of {2:3; "1":4; 1: 4 to 10; default: "whoa"}) | "none")
  160.    write("not 1 ----> ",image(not 1) | "none")
  161.    write("not \\&null ----> ",image(not \&null) | "none")
  162. end
  163.  
  164. procedure p13()
  165.    write("repeat break ----> ",image(repeat break) | "none")
  166.    write("until 1 do 2 ----> ",image(until 1 do 2) | "none")
  167.    write("if 1 then 2 else 3 ----> ",image(if 1 then 2 else 3) | "none")
  168.    write("every write(if 1 then 1 to 10 else 5) ----> ",image(every write(if 1 then 1 to 10 else 5)) | "none")
  169.    write("every write(if 1 = 0 then 1 to 10 else 10 to 1 by -1) ----> ",image(every write(if 1 = 0 then 1 to 10 else 10 to 1 by -1)) | "none")
  170.    write("if 1 then 2 ----> ",image(if 1 then 2) | "none")
  171.    write("if 1 = 0 then 2 ----> ",image(if 1 = 0 then 2) | "none")
  172.    write("x := 1 ----> ",image(x := 1) | "none")
  173.    write("y := 2 ----> ",image(y := 2) | "none")
  174.    write("z := 3 ----> ",image(z := 3) | "none")
  175.    write("x :=: y ----> ",image(x :=: y) | "none")
  176. end
  177.  
  178. procedure p14()
  179.    write("y :=: x ----> ",image(y :=: x) | "none")
  180.    write("x ----> ",image(x) | "none")
  181.    write("y ----> ",image(y) | "none")
  182.    write("z ----> ",image(z) | "none")
  183.    write("x :=: y :=: z ----> ",image(x :=: y :=: z) | "none")
  184.    write("x ----> ",image(x) | "none")
  185.    write("y ----> ",image(y) | "none")
  186.    write("z ----> ",image(z) | "none")
  187.    write("x := 1 ----> ",image(x := 1) | "none")
  188.    write("y := 2 ----> ",image(y := 2) | "none")
  189.    write("z := 3 ----> ",image(z := 3) | "none")
  190. end
  191.  
  192. procedure p15()
  193.    write("x <-> y ----> ",image(x <-> y) | "none")
  194.    write("y <-> x ----> ",image(y <-> x) | "none")
  195.    write("x ----> ",image(x) | "none")
  196.    write("y ----> ",image(y) | "none")
  197.    write("z ----> ",image(z) | "none")
  198.    write("x <-> y :=: z ----> ",image(x <-> y :=: z) | "none")
  199.    write("x ----> ",image(x) | "none")
  200.    write("y ----> ",image(y) | "none")
  201.    write("z ----> ",image(z) | "none")
  202.    write("1 & 2 & 3 & 4 ----> ",image(1 & 2 & 3 & 4) | "none")
  203.    write("(1 & 2 & 3 & x) := 3 ----> ",image((1 & 2 & 3 & x) := 3) | "none")
  204. end
  205.  
  206. procedure p16()
  207.    write("x ----> ",image(x) | "none")
  208.    write("x := 1 ----> ",image(x := 1) | "none")
  209.    write("y := 2 ----> ",image(y := 2) | "none")
  210.    write("(x <- y) & &fail ----> ",image((x <- y) & &fail) | "none")
  211.    write("x ----> ",image(x) | "none")
  212.    write("y ----> ",image(y) | "none")
  213. end
  214.  
  215. procedure main()
  216.    p1()
  217.    p2()
  218.    p3()
  219.    p4()
  220.    p5()
  221.    p6()
  222.    p7()
  223.    p8()
  224.    p9()
  225.    p10()
  226.    p11()
  227.    p12()
  228.    p13()
  229.    p14()
  230.    p15()
  231.    p16()
  232. end
  233.  
  234.