diff options
| author | DongHun Kwak <dh0128.kwak@samsung.com> | 2022-02-09 08:13:54 +0900 |
|---|---|---|
| committer | DongHun Kwak <dh0128.kwak@samsung.com> | 2022-02-09 08:13:54 +0900 |
| commit | 9d87c563f0ba698043ddbedc4b541cb3c465413f (patch) | |
| tree | 4408e04efe3457475f94a7c74d3c812fd1c1b361 /src/options/opt.h | |
| parent | b2bb05c4286dc7f13ff5709128c91fde141bc39d (diff) | |
| download | re2c-upstream/1.3.tar.gz re2c-upstream/1.3.tar.bz2 re2c-upstream/1.3.zip | |
Imported Upstream version 1.3upstream/1.3
Diffstat (limited to 'src/options/opt.h')
| -rw-r--r-- | src/options/opt.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/options/opt.h b/src/options/opt.h index efc407f9..87ecef39 100644 --- a/src/options/opt.h +++ b/src/options/opt.h @@ -63,6 +63,7 @@ const uint32_t NOEOF = ~0u - 1; CONSTOPT (bool, eager_skip, false) \ CONSTOPT (bool, optimize_tags, true) \ CONSTOPT (bool, backward, false) \ + CONSTOPT (bool, stadfa, false) \ /* debug */ \ CONSTOPT (bool, dump_nfa, false) \ CONSTOPT (bool, dump_dfa_raw, false) \ @@ -124,6 +125,7 @@ const uint32_t NOEOF = ~0u - 1; MUTOPT (std::string, yytarget, "yytarget") \ MUTOPT (uint32_t, cGotoThreshold, 9) \ MUTOPT (uint32_t, eof, NOEOF) \ + MUTOPT (uint32_t, sentinel, NOEOF) \ /* formatting */ \ MUTOPT (uint32_t, topIndent, 0) \ MUTOPT (std::string, indString, "\t") \ @@ -143,8 +145,10 @@ const uint32_t NOEOF = ~0u - 1; MUTOPT (std::string, yylessthan, "YYLESSTHAN") \ MUTOPT (std::string, yystagn, "YYSTAGN") \ MUTOPT (std::string, yystagp, "YYSTAGP") \ + MUTOPT (std::string, yystagpd, "YYSTAGPD") \ MUTOPT (std::string, yymtagn, "YYMTAGN") \ MUTOPT (std::string, yymtagp, "YYMTAGP") \ + MUTOPT (std::string, yymtagpd, "YYMTAGPD") \ /* #line directives */ \ MUTOPT (bool, iFlag, false) \ /* debug */ \ |