blob: 7039d0aec2bd6175334549809cece0b0e3b14d8d (
plain)
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
|
# AT_BISON_OPTION_PUSHDEFS/AT_BISON_OPTION_POPDEFS
These two macros must be given the (main) directives so that they
define a number of other macros to:
- what the language is (so what compiler tool chain to use, what
definition of yylex/yyerror, etc.)
- what skeleton is used
# Keywords
The following keywords are used to label tests (with
AT_KEYWORDS([[category]])). Please follow them and avoid creating
synonyms.
- action
- api.value.type
- c++: c++ language
- cex: counterexamples.
- d: d language
- deprec: deprecated features.
- diagnostics
- glr
- graph
- html: html reports
- java
- lac
- %merge
- multistart
- push
- report: for automaton dumps
- %union
- variant
- yacc: POSIX yacc (%yacc)
# Calculator
The grammar features several special directives:
- `!!` YYERROR
- `!+` YYACCEPT
- `!-` YYABORT
- `!*` YYNOMEM
|
