Subversion Repositories tendra.SVN

Rev

Details | Last modification | View Log | RSS feed

Rev Author Line No. Line
2 7u83 1 
<sort_cond> :
2 
	builtin				# built-in sorts
3 
	simple				# simple sort
4 
	basic				# simple sort with encoding bits
5 
	dummy				# simple sort with zero encoding bits
6 
	list				# list sort
7 
	slist				# simple list sort
8 
	option				# optional sort
9 
	extends				# sort has extended encoding
10 
	special				# sort is marked as special
11 
	edge				# sort has edge construct
12 
	link				# sort is linkage entity
13 
	unit				# sort is a unit sort
14 
	name.<construct_cond>		# refers to sortname
15 
	sub.<sort_cond>			# refers to sub-sort
16 
	eq.<sort_name>			# sort has given name
17 
 
18 
<construct_cond> :
19 
	sort.<sort_cond>		# refers to result sort
20 
	simple				# simple construct
21 
	token				# apply_token construct
22 
	cond				# conditional construct
23 
	edge				# edge construct
24 
	foreign				# foreign sortname
25 
	special				# construct is marked as special
26 
	extends				# construct uses extended encoding
27 
	params				# construct has parameters
28 
	eq.<construct_name>		# construct has given name
29 
 
30 
<param_cond> :
31 
	sort.<sort_cond>		# refers to parameter sort
32 
	align				# parameter is aligned
33 
	break				# parameter has break
34 
	intro				# parameter is introduced tag etc.
35 
	first				# first parameter for construct
36 
	last				# last parameter for construct
37 
	eq.<param_name>			# parameter has given name
38 
 
39 
<condition> :
40 
	true
41 
	false
42 
	uniq
43 
	!<condition>
44 
	sort.<sort_cond>
45 
	cons.<construct_cond>
46 
	param.<param_cond>
47 
 
48 
<control> :
49 
	sort
50 
	sort.cons
51 
	cons.param
52 
	param.prev
53 
 
54 
<sort_escape> :
55 
	N
56 
	T
57 
	L
58 
	U
59 
	B
60 
	E
61 
	M
62 
	C<construct_escape>
63 
	S<sort_escape>
64 
	X
65 
 
66 
<construct_escape> :
67 
	N
68 
	E
69 
	S<sort_escape>
70 
	X
71 
 
72 
<param_escape> :
73 
	N
74 
	S<sort_escape>
75 
	E
76 
 
77 
<digit> : one of
78 
 
79 
 
80 
<escape> :
81 
	<digit><escape>
82 
	C<construct_escape>
83 
	P<param_escape>
84 
	VA
85 
	VB
86 
	ZV
87 
	ZX
88 
	b
89 
	t
90 
	u
91 
	%
92 
	@
93 
	_
94 
	<newline>
95 
 
96 
<use_argument> :
97 
	all
98 
	!<use_argument>
99 
	<sort_name>
100 
	<sort_name> <construct_name>
101 
 
102 
<special_argument> :
103 
	!<special_argument>
104 
	<sort_name>
105 
	<sort_name> <construct_name>
106 
 
107 
<command> :
108 
	@if <condition>
109 
	@else
110 
	@endif
111 
	@loop <control>
112 
	@end
113 
	@use <use_argument>
114 
	@special <special_argument>
115 
	@comment ....
116 
	....