simple.cc - generated code example
[prop.git] / docs / refman.ind
blob39279a41090754bbf98158748b0828281f533cc3
1 \begin{theindex}
2   \item {\tt  PROP\relax  \_EXPLICIT\relax  \_TEMPLATE\relax  \_INSTANTIATION}, 
3                 25
5   \indexspace
7   \item Classes
8     \subitem {\tt  BGC}, 64, 68
9      \subitem {\tt  CGC}, 64
10      \subitem {\tt  GCHeapManager}, 64
11      \subitem {\tt  GCObject}, 64, 66
12      \subitem {\tt  GCRewriteCache}, 44
13      \subitem {\tt  GCVerifier}, 66
14      \subitem {\tt  GCVerify}, 70
15      \subitem {\tt  GC}, 64--66, 68, 70
16      \subitem {\tt  IOLexerBuffer}, 12
17      \subitem {\tt  IOLexerStack}, 12
18      \subitem {\tt  LexerBuffer}, 11
19      \subitem {\tt  MarkSweepGC}, 64
20      \subitem {\tt  Mem}, 64
21      \subitem {\tt  RewriteCache}, 44
22      \subitem {\tt  WeakPointerManager}, 64
23      \subitem {\tt  WeakPointer}, 70
24   \item Command line options
25     \subitem {\tt  -G -GNU}, 56
26      \subitem {\tt  -I{\em  path}}, 56
27      \subitem {\tt  -M -make\relax  \_depends}, 56
28      \subitem {\tt  -N -non\relax  \_linear}, 56
29      \subitem {\tt  -Oadaptive\relax  \_matching}, 56
30      \subitem {\tt  -Ofast\relax  \_string\relax  \_match}, 56
31      \subitem {\tt  -Oinline\relax  \_casts}, 56
32      \subitem {\tt  -Orewriting}, 47, 56
33      \subitem {\tt  -Otagged\relax  \_pointer}, 56
34      \subitem {\tt  -S -save\relax  \_space}, 57
35      \subitem {\tt  -fno-implicit-templates}, 25
36      \subitem {\tt  -l -no\relax  \_line\relax  \_directives}, 56
37      \subitem {\tt  -memory\relax  \_usage}, 56
38      \subitem {\tt  -n -no\relax  \_codegen}, 56
39      \subitem {\tt  -o{\em  outfile}}, 56
40      \subitem {\tt  -r -report}, 56
41      \subitem {\tt  -r}, 16
42      \subitem {\tt  -s -strict}, 56
43      \subitem {\tt  -save\relax  \_space}, 25
44      \subitem {\tt  -t -stdout}, 57
45      \subitem {\tt  -use\relax  \_global\relax  \_pool}, 57
46      \subitem {\tt  -v{\em  num}}, 57
47      \subitem {\tt  -v}, 16
49   \indexspace
51   \item graph type, 54
53   \indexspace
55   \item state caching, 42
56   \item Syntax
57     \subitem Keywords
58       \subsubitem {\tt  \relax  \$$n$}, 16
59      \subsubitem {\tt  \relax  \$\relax  \$}, 16
60      \subsubitem {\tt  applicative}, 37
61      \subsubitem {\tt  before:}, 38
62      \subsubitem {\tt  bottomup:}, 38
63      \subsubitem {\tt  classof}, 28, 70
64      \subsubitem {\tt  collectable}, 23, 29
65      \subsubitem {\tt  cutrewrite}, 45
66      \subsubitem {\tt  datatype view}, 49
67      \subsubitem {\tt  datatype}, 9, 23
68      \subsubitem {\tt  edge:}, 54
69      \subsubitem {\tt  expect:}, 14
70      \subsubitem {\tt  extern}, 23, 25, 42
71      \subsubitem {\tt  failrewrite}, 46
72      \subsubitem {\tt  graphtype}, 54
73      \subsubitem {\tt  index:}, 42
74      \subsubitem {\tt  inline}, 23, 25
75      \subsubitem {\tt  instantiate datatype}, 25, 30, 57
76      \subsubitem {\tt  instantiate}, 25
77      \subsubitem {\tt  law}, 23
78      \subsubitem {\tt  left:}, 14
79      \subsubitem {\tt  lexeme class}, 8, 9
80      \subsubitem {\tt  lexeme}, 8, 9, 23
81      \subsubitem {\tt  matchall}, 25
82      \subsubitem {\tt  matchscan*}, 10
83      \subsubitem {\tt  matchscan}, 10
84      \subsubitem {\tt  match}, 25, 50
85      \subsubitem {\tt  node:}, 54
86      \subsubitem {\tt  persistent}, 23, 30
87      \subsubitem {\tt  postorder:}, 38
88      \subsubitem {\tt  preorder:}, 38
89      \subsubitem {\tt  refine persistent}, 30
90      \subsubitem {\tt  refine}, 28
91      \subsubitem {\tt  relation}, 32
92      \subsubitem {\tt  rewrite class}, 37
93      \subsubitem {\tt  rewrite}, 23, 37, 41, 42
94      \subsubitem {\tt  right:}, 14
95      \subsubitem {\tt  syntax class}, 13
96      \subsubitem {\tt  syntax}, 14
97      \subsubitem {\tt  this}, 50
98      \subsubitem {\tt  topdown:}, 38
99      \subsubitem {\tt  topdown}, 37
100      \subsubitem {\tt  treeparser}, 37
101      \subsubitem {\tt  type}, 41
102      \subsubitem {\tt  view}, 50, 53
103      \subsubitem {\tt  where type}, 23
104      \subsubitem {\tt  while}, 26
105      \subsubitem {\tt  with}, 27
106      \subitem Non--terminals
107       \subsubitem {\it  Char}, 5
108      \subsubitem {\it  Cons\relax  \_Specs}, 23
109      \subsubitem {\it  Cons\relax  \_Spec}, 23
110      \subsubitem {\it  Context\relax  \_Spec}, 10
111      \subsubitem {\it  Cost}, 25
112      \subsubitem {\it  Datatype\relax  \_Decl}, 23
113      \subsubitem {\it  Datatype\relax  \_Qualifiers}, 23
114      \subsubitem {\it  Datatype\relax  \_Qualifier}, 23
115      \subsubitem {\it  Datatype\relax  \_Spec}, 23, 53
116      \subsubitem {\it  Datatype\relax  \_View\relax  \_Spec}, 53
117      \subsubitem {\it  Edge\relax  \_Def}, 54
118      \subsubitem {\it  Expect\relax  \_Decl}, 14
119      \subsubitem {\it  Graph\relax  \_Mode}, 54
120      \subsubitem {\it  Graph\relax  \_Type}, 54
121      \subsubitem {\it  Guard}, 25
122      \subsubitem {\it  Id}, 5
123      \subsubitem {\it  Index\relax  \_Decl}, 42
124      \subsubitem {\it  Index\relax  \_Spec}, 42
125      \subsubitem {\it  Instantiate\relax  \_Decl}, 25
126      \subsubitem {\it  Integer}, 5
127      \subsubitem {\it  Lab\relax  \_Pat}, 27
128      \subsubitem {\it  Lab\relax  \_Type\relax  \_Exp}, 24
129      \subsubitem {\it  Law\relax  \_Arg}, 24
130      \subsubitem {\it  Law\relax  \_Spec}, 24
131      \subsubitem {\it  Lexeme\relax  \_Class\relax  \_Decl}, 8
132      \subsubitem {\it  Lexeme\relax  \_Class\relax  \_Eq}, 8
133      \subsubitem {\it  Lexeme\relax  \_Decl}, 8
134      \subsubitem {\it  Lexeme\relax  \_Eq}, 8
135      \subsubitem {\it  Lexeme\relax  \_Spec}, 8
136      \subsubitem {\it  Match\relax  \_Action}, 25
137      \subsubitem {\it  Match\relax  \_Mode}, 25
138      \subsubitem {\it  Match\relax  \_Rule}, 25
139      \subsubitem {\it  Matchscan\relax  \_Action}, 10
140      \subsubitem {\it  Matchscan\relax  \_Mode}, 10
141      \subsubitem {\it  Matchscan\relax  \_Rule}, 10
142      \subsubitem {\it  Matchscan}, 10
143      \subsubitem {\it  Match}, 25
144      \subsubitem {\it  Node\relax  \_Def}, 54
145      \subsubitem {\it  One\relax  \_Alt}, 15
146      \subsubitem {\it  Operator}, 14
147      \subsubitem {\it  PatArg}, 27
148      \subsubitem {\it  Pat\relax  \_Var}, 27
149      \subsubitem {\it  Pat}, 27
150      \subsubitem {\it  Placement\relax  \_Cons}, 29
151      \subsubitem {\it  Precedence\relax  \_Decl}, 14
152      \subsubitem {\it  Production\relax  \_Rule}, 15
153      \subsubitem {\it  Quark}, 5
154      \subsubitem {\it  Real}, 5
155      \subsubitem {\it  Refine\relax  \_Decl}, 29
156      \subsubitem {\it  Refine\relax  \_Spec}, 29
157      \subsubitem {\it  Rewrite\relax  \_Action}, 37
158      \subsubitem {\it  Rewrite\relax  \_Class\relax  \_Decl}, 37
159      \subsubitem {\it  Rewrite\relax  \_Decl}, 37
160      \subsubitem {\it  Rewrite\relax  \_Mode}, 37
161      \subsubitem {\it  Rewrite\relax  \_Modifier}, 37
162      \subsubitem {\it  Rewrite\relax  \_Rule}, 37
163      \subsubitem {\it  Rewrite\relax  \_Stmt}, 41
164      \subsubitem {\it  Running\relax  \_Prop}, 56
165      \subsubitem {\it  Simple\relax  \_Cons\relax  \_Spec}, 23
166      \subsubitem {\it  Stmt}, 5
167      \subsubitem {\it  String}, 5
168      \subsubitem {\it  Symbol}, 15
169      \subsubitem {\it  Syntax\relax  \_Class\relax  \_Decl}, 13
170      \subsubitem {\it  Syntax\relax  \_Decl}, 14
171      \subsubitem {\it  Token\relax  \_Spec}, 9
172      \subsubitem {\it  Tokens\relax  \_Decl}, 9
173      \subsubitem {\it  Type\relax  \_Exp}, 24
174      \subsubitem {\it  Type\relax  \_Qualifier}, 24
175      \subsubitem {\it  Type\relax  \_Spec}, 24, 25
176      \subsubitem {\it  View\relax  \_Cons\relax  \_Specs}, 53\end{theindex}