File: TestResOK.ATG

package info (click to toggle)
coco-doc 20050316-1
  • links: PTS
  • area: main
  • in suites: sarge
  • size: 876 kB
  • ctags: 1
  • sloc: makefile: 29
file content (49 lines) | stat: -rw-r--r-- 524 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
 
$AFGJSX
COMPILER Test
PRODUCTIONS
  Test = A B C D E F G H.
  
  A = "a" {[IF (true) "b" "c"] "b"} "c".
  
  B =
  ( "a"
  | IF (eee) "b"
  |
  ) "b".
  
  C = (IF(true) "a" "b" | "a").
  
  D = {
  	IF (true) "a"
  | "a" "b"
  } "c".
  
  E = 
  ( "a"
  | [ IF(true) "c"
  	| "c" "b"
  	]
  | "b"
  ) "d".
  
  F =
  { IF(true) ["a"] "b"
  | ANY
  | "a"
  } "c".
  
	G = 
	{ IF (aaa) "a"}
	{ IF (bbb)
		(IF (eee) ("a" | "b")
		| "b"
		)
	} "a".
  
	H = 
	{ IF (aaa) "a"}
	{ IF (eee) ("a" | "b")
	| "b"
	} "c".
  
END Test.