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 / errors.icn < prev    next >
Text File  |  2000-07-29  |  9KB  |  204 lines
  1. record array(a,b,c,d,e,f,g)
  2.  
  3. procedure p1()
  4.    write("seq(\"a\") | monitor(&line) ----> ",
  5.       image(seq("a") | monitor(&line)) | "none")
  6.    write("\"|\"(1,2) | monitor(&line) ----> ",
  7.       image("|"(1,2) | monitor(&line)) | "none")
  8.    write("member(x,x) | monitor(&line) ----> ",
  9.       image(member(x,x) | monitor(&line)) | "none")
  10.    write("(set([]) ++ 'a') | monitor(&line) ----> ",
  11.       image((set([]) ++ 'a') | monitor(&line)) | "none")
  12.    write("(every i := 1 to *a - 1 by 2 do write(image(a[i]),\" \",a[i + 1])) | monitor(&line) ----> ",
  13.       image((every i := 1 to *a - 1 by 2 do write(image(a[i])," ",a[i + 1])) | monitor(&line)) | "none")
  14.    write("(every i := 1 to *a - 1 by 2 do write(image(a[i]),\" \",a[i + 1])) | monitor(&line) ----> ",
  15.       image((every i := 1 to *a - 1 by 2 do write(image(a[i])," ",a[i + 1])) | monitor(&line)) | "none")
  16.    write("(c |||:= s) | monitor(&line) ----> ",
  17.       image((c |||:= s) | monitor(&line)) | "none")
  18.    write("?&null | monitor(&line) ----> ",
  19.       image(?&null | monitor(&line)) | "none")
  20.    write("c[1] | monitor(&line) ----> ",
  21.       image(c[1] | monitor(&line)) | "none")
  22.    write("(image + image) | monitor(&line) ----> ",
  23.       image((image + image) | monitor(&line)) | "none")
  24.    write(".1(s[1],s := &null) | monitor(&line) ----> ",
  25.       image(.1(s[1],s := &null) | monitor(&line)) | "none")
  26. end
  27.  
  28. procedure p2()
  29.    write("display(,[]) | monitor(&line) ----> ",
  30.       image(display(,[]) | monitor(&line)) | "none")
  31.    write("([] ~== \"x\") | monitor(&line) ----> ",
  32.       image(([] ~== "x") | monitor(&line)) | "none")
  33.    write("(x + 1) | monitor(&line) ----> ",
  34.       image((x + 1) | monitor(&line)) | "none")
  35.    write("\"a\"(1,2,3) | monitor(&line) ----> ",
  36.       image("a"(1,2,3) | monitor(&line)) | "none")
  37.    write("(\"o\" + 0) | monitor(&line) ----> ",
  38.       image(("o" + 0) | monitor(&line)) | "none")
  39.    write("(&cset ++ []) | monitor(&line) ----> ",
  40.       image((&cset ++ []) | monitor(&line)) | "none")
  41.    write("(every 1 to \"a\") | monitor(&line) ----> ",
  42.       image((every 1 to "a") | monitor(&line)) | "none")
  43.    write("!image | monitor(&line) ----> ",
  44.       image(!image | monitor(&line)) | "none")
  45. end
  46.  
  47. procedure p3()
  48.    write("(0 to 0 by 0) | monitor(&line) ----> ",
  49.       image((0 to 0 by 0) | monitor(&line)) | "none")
  50.    write("repl(\"b\",\"a\") | monitor(&line) ----> ",
  51.       image(repl("b","a") | monitor(&line)) | "none")
  52.    write("t(t) | monitor(&line) ----> ",
  53.       image(t(t) | monitor(&line)) | "none")
  54.    write("sort(&cset) | monitor(&line) ----> ",
  55.       image(sort(&cset) | monitor(&line)) | "none")
  56.    write("pull(&null) | monitor(&line) ----> ",
  57.       image(pull(&null) | monitor(&line)) | "none")
  58.    write("c[-4] | monitor(&line) ----> ",
  59.       image(c[-4] | monitor(&line)) | "none")
  60.    write("(type(type)(type)) | monitor(&line) ----> ",
  61.       image((type(type)(type)) | monitor(&line)) | "none")
  62.    write("r[r] | monitor(&line) ----> ",
  63.       image(r[r] | monitor(&line)) | "none")
  64.    write("([] ** \"abc\") | monitor(&line) ----> ",
  65.       image(([] ** "abc") | monitor(&line)) | "none")
  66.    write("('abc' ~= ('abc' ++ '')) | monitor(&line) ----> ",
  67.       image(('abc' ~= ('abc' ++ '')) | monitor(&line)) | "none")
  68. end
  69.  
  70. procedure p4()
  71.    write("(&lcase || numeric) | monitor(&line) ----> ",
  72.       image((&lcase || numeric) | monitor(&line)) | "none")
  73.    write("x[\"a\"] | monitor(&line) ----> ",
  74.       image(x["a"] | monitor(&line)) | "none")
  75.    write("(100-()) | monitor(&line) ----> ",
  76.       image((100-()) | monitor(&line)) | "none")
  77.    write("((1 := y) & &fail) | monitor(&line) ----> ",
  78.       image(((1 := y) & &fail) | monitor(&line)) | "none")
  79.    write("(a[1:3] := a) | monitor(&line) ----> ",
  80.       image((a[1:3] := a) | monitor(&line)) | "none")
  81.    write("(a[3] :=: a3[&null]) | monitor(&line) ----> ",
  82.       image((a[3] :=: a3[&null]) | monitor(&line)) | "none")
  83.    write("a5[a5] | monitor(&line) ----> ",
  84.       image(a5[a5] | monitor(&line)) | "none")
  85.    write("pull[c] | monitor(&line) ----> ",
  86.       image(pull[c] | monitor(&line)) | "none")
  87.    write("(&subject := []) | monitor(&line) ----> ",
  88.       image((&subject := []) | monitor(&line)) | "none")
  89.    write("([] ? []) | monitor(&line) ----> ",
  90.       image(([] ? []) | monitor(&line)) | "none")
  91.    write("+\"a\" | monitor(&line) ----> ",
  92.       image(+"a" | monitor(&line)) | "none")
  93. end
  94.  
  95. procedure p5()
  96.    write("(i <= []) | monitor(&line) ----> ",
  97.       image((i <= []) | monitor(&line)) | "none")
  98.    write("([] ^ i) | monitor(&line) ----> ",
  99.       image(([] ^ i) | monitor(&line)) | "none")
  100.    write("(s ?:= &subject[3]) | monitor(&line) ----> ",
  101.       image((s ?:= &subject[3]) | monitor(&line)) | "none")
  102.    write("(s >>:= 0) | monitor(&line) ----> ",
  103.       image((s >>:= 0) | monitor(&line)) | "none")
  104.    write("(s = 0) | monitor(&line) ----> ",
  105.       image((s = 0) | monitor(&line)) | "none")
  106.    write("put(s) | monitor(&line) ----> ",
  107.       image(put(s) | monitor(&line)) | "none")
  108.    write("('abc' = ('abc' ++ '')) | monitor(&line) ----> ",
  109.       image(('abc' = ('abc' ++ '')) | monitor(&line)) | "none")
  110.    write("=[] | monitor(&line) ----> ",
  111.       image(=[] | monitor(&line)) | "none")
  112.    write("((1 <-> y) & &fail) | monitor(&line) ----> ",
  113.       image(((1 <-> y) & &fail) | monitor(&line)) | "none")
  114.    write("!&null | monitor(&line) ----> ",
  115.       image(!&null | monitor(&line)) | "none")
  116.    write("(2 \\ \"a\") | monitor(&line) ----> ",
  117.       image((2 \ "a") | monitor(&line)) | "none")
  118. end
  119.  
  120. procedure p6()
  121.    write("right(\"\",\"\") | monitor(&line) ----> ",
  122.       image(right("","") | monitor(&line)) | "none")
  123.    write("close(\"F\") | monitor(&line) ----> ",
  124.       image(close("F") | monitor(&line)) | "none")
  125.    write("trim(&lcase,[]) | monitor(&line) ----> ",
  126.       image(trim(&lcase,[]) | monitor(&line)) | "none")
  127.    write("list([]) | monitor(&line) ----> ",
  128.       image(list([]) | monitor(&line)) | "none")
  129.    write("reads(f,0) | monitor(&line) ----> ",
  130.       image(reads(f,0) | monitor(&line)) | "none")
  131.    write("read(\"f\") | monitor(&line) ----> ",
  132.       image(read("f") | monitor(&line)) | "none")
  133.    write("bal([],,,\"\") | monitor(&line) ----> ",
  134.       image(bal([],,,"") | monitor(&line)) | "none")
  135.    write("pos(\"a\") | monitor(&line) ----> ",
  136.       image(pos("a") | monitor(&line)) | "none")
  137.    write(("\"abcdef\" ? (tab(0) & (while write(move(\"a\"))))) | monitor(&line) ----> ",
  138.       image(("abcdef" ? (tab(0) & (while write(move("a")))))) | monitor(&line)) | "none")
  139.    write("(2 % \"a\") | monitor(&line) ----> ",
  140.       image((2 % "a") | monitor(&line)) | "none")
  141. end
  142.  
  143. procedure p7()
  144.    write("(2 * \"a\") | monitor(&line) ----> ",
  145.       image((2 * "a") | monitor(&line)) | "none")
  146.    write("(2 / \"a\") | monitor(&line) ----> ",
  147.       image((2 / "a") | monitor(&line)) | "none")
  148.    write("(2 + \"a\") | monitor(&line) ----> ",
  149.       image((2 + "a") | monitor(&line)) | "none")
  150.    write("(-36 ^ -9) | monitor(&line) ----> ",
  151.       image((-36 ^ -9) | monitor(&line)) | "none")
  152.    write("(2 < \"a\") | monitor(&line) ----> ",
  153.       image((2 < "a") | monitor(&line)) | "none")
  154.    write("(0 > &null) | monitor(&line) ----> ",
  155.       image((0 > &null) | monitor(&line)) | "none")
  156.    write("(2 <= \"a\") | monitor(&line) ----> ",
  157.       image((2 <= "a") | monitor(&line)) | "none")
  158.    write("(2 > \"a\") | monitor(&line) ----> ",
  159.       image((2 > "a") | monitor(&line)) | "none")
  160.    write("(2 = \"a\") | monitor(&line) ----> ",
  161.       image((2 = "a") | monitor(&line)) | "none")
  162.    write("(2 ~= \"a\") | monitor(&line) ----> ",
  163.       image((2 ~= "a") | monitor(&line)) | "none")
  164.    write("(list(10)) ||| \"abc\" | monitor(&line) ----> ",
  165.       image((list(10)) ||| "abc" | monitor(&line)) | "none")
  166. end
  167.  
  168. procedure p8()
  169.    write("(x :=: \"a\") | monitor(&line) ----> ",
  170.       image((x :=: "a") | monitor(&line)) | "none")
  171.    write("(x <-> \"b\") | monitor(&line) ----> ",
  172.       image((x <-> "b") | monitor(&line)) | "none")
  173.    write("((x & 2 & 3 & 4) := 3) | monitor(&line) ----> ",
  174.       image(((x & 2 & 3 & 4) := 3) | monitor(&line)) | "none")
  175.    write("((1 <- y) & &fail) | monitor(&line) ----> ",
  176.       image(((1 <- y) & &fail) | monitor(&line)) | "none")
  177.    write("(-36. ^ -9.) | monitor(&line) ----> ",
  178.       image((-36. ^ -9.) | monitor(&line)) | "none")
  179. end
  180.  
  181. procedure main()
  182.    &error := -1
  183.    p1()
  184.    p2()
  185.    p3()
  186.    p4()
  187.    p5()
  188.    p6()
  189.    p7()
  190.    p8()
  191.    write("stop(&output,'testing stop') | monitor(&line) ----> ",
  192.       image(stop(&output,'testing stop') | monitor(&line)) | "none")
  193. end
  194.  
  195. procedure monitor(line)
  196.    write("\nerror in line ",line,":")
  197.    write("   &error = ",&error)
  198.    write("   &errornumber = ",&errornumber)
  199.    write("   &errortext = ",
  200.       image(&errortext))
  201.    write("   &errorvalue = ", image(&errorvalue))
  202.    return line
  203. end
  204.