1 | /* |
2 | * Copyright (c) 2015, Intel Corporation |
3 | * |
4 | * Redistribution and use in source and binary forms, with or without |
5 | * modification, are permitted provided that the following conditions are met: |
6 | * |
7 | * * Redistributions of source code must retain the above copyright notice, |
8 | * this list of conditions and the following disclaimer. |
9 | * * Redistributions in binary form must reproduce the above copyright |
10 | * notice, this list of conditions and the following disclaimer in the |
11 | * documentation and/or other materials provided with the distribution. |
12 | * * Neither the name of Intel Corporation nor the names of its contributors |
13 | * may be used to endorse or promote products derived from this software |
14 | * without specific prior written permission. |
15 | * |
16 | * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" |
17 | * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE |
18 | * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE |
19 | * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE |
20 | * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR |
21 | * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF |
22 | * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS |
23 | * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN |
24 | * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) |
25 | * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE |
26 | * POSSIBILITY OF SUCH DAMAGE. |
27 | */ |
28 | |
29 | /** \file |
30 | * \brief Per-position flags used during Glushkov construction, PositionInfo class. |
31 | */ |
32 | |
33 | #ifndef PARSER_POSITION_H |
34 | #define PARSER_POSITION_H |
35 | |
36 | #include "ue2common.h" |
37 | |
38 | #include <set> |
39 | |
40 | namespace ue2 { |
41 | |
42 | #define POS_FLAG_NOFLOAT (1 << 0) //!< don't wire to start-dotstar |
43 | #define POS_FLAG_MUST_FLOAT (1 << 1) //!< don't wire solely to start |
44 | #define POS_FLAG_FIDDLE_ACCEPT (1 << 2) //!< add a dot with an offset adjustment when wiring to accept |
45 | #define POS_FLAG_ASSERT_WORD_TO_NONWORD (1 << 3) //!< epsilon for word to nonword transition |
46 | #define POS_FLAG_ASSERT_NONWORD_TO_WORD (1 << 4) //!< epsilon for nonword to word transition |
47 | #define POS_FLAG_ASSERT_WORD_TO_WORD (1 << 5) //!< epsilon for word to word transition |
48 | #define POS_FLAG_ASSERT_NONWORD_TO_NONWORD (1 << 6) //!< epsilon for nonword to nonword transition |
49 | |
50 | /** vertex created by cloning startDs, not considered part of the match. |
51 | * mirrors POS_FLAG_FIDDLE_ACCEPT */ |
52 | #define POS_FLAG_VIRTUAL_START (1 << 7) |
53 | |
54 | /** multi-line ^ does not match \\n at end of buffer. As a result, we must never |
55 | * wire the \\n from ^ to eod */ |
56 | #define POS_FLAG_MULTILINE_START (1 << 8) |
57 | |
58 | #define POS_FLAG_ASSERT_WORD_TO_NONWORD_UCP (1 << 9) |
59 | #define POS_FLAG_ASSERT_NONWORD_TO_WORD_UCP (1 << 10) |
60 | #define POS_FLAG_ASSERT_WORD_TO_WORD_UCP (1 << 11) |
61 | #define POS_FLAG_ASSERT_NONWORD_TO_NONWORD_UCP (1 << 12) |
62 | |
63 | #define POS_FLAG_ASSERT_NONWORD_TO_ANY (POS_FLAG_ASSERT_NONWORD_TO_NONWORD \ |
64 | | POS_FLAG_ASSERT_NONWORD_TO_WORD) |
65 | #define POS_FLAG_ASSERT_WORD_TO_ANY (POS_FLAG_ASSERT_WORD_TO_NONWORD \ |
66 | | POS_FLAG_ASSERT_WORD_TO_WORD) |
67 | |
68 | #define POS_FLAG_ASSERT_ANY_TO_NONWORD (POS_FLAG_ASSERT_NONWORD_TO_NONWORD \ |
69 | | POS_FLAG_ASSERT_WORD_TO_NONWORD) |
70 | #define POS_FLAG_ASSERT_ANY_TO_WORD (POS_FLAG_ASSERT_NONWORD_TO_WORD \ |
71 | | POS_FLAG_ASSERT_WORD_TO_WORD) |
72 | |
73 | #define POS_FLAG_ASSERT_NONWORD_TO_ANY_UCP \ |
74 | (POS_FLAG_ASSERT_NONWORD_TO_NONWORD_UCP \ |
75 | | POS_FLAG_ASSERT_NONWORD_TO_WORD_UCP) |
76 | #define POS_FLAG_ASSERT_WORD_TO_ANY_UCP (POS_FLAG_ASSERT_WORD_TO_NONWORD_UCP \ |
77 | | POS_FLAG_ASSERT_WORD_TO_WORD_UCP) |
78 | |
79 | #define POS_FLAG_ASSERT_ANY_TO_NONWORD_UCP \ |
80 | (POS_FLAG_ASSERT_NONWORD_TO_NONWORD_UCP \ |
81 | | POS_FLAG_ASSERT_WORD_TO_NONWORD_UCP) |
82 | #define POS_FLAG_ASSERT_ANY_TO_WORD_UCP (POS_FLAG_ASSERT_WORD_TO_WORD_UCP \ |
83 | | POS_FLAG_ASSERT_NONWORD_TO_WORD_UCP) |
84 | |
85 | #define UCP_ASSERT_FLAGS (POS_FLAG_ASSERT_WORD_TO_ANY_UCP \ |
86 | | POS_FLAG_ASSERT_NONWORD_TO_ANY_UCP) |
87 | |
88 | #define NON_UCP_ASSERT_FLAGS (POS_FLAG_ASSERT_WORD_TO_ANY \ |
89 | | POS_FLAG_ASSERT_NONWORD_TO_ANY) |
90 | |
91 | /** do not wire to accept or other pos; may still wire to eod, etc if |
92 | * instructed */ |
93 | #define POS_FLAG_ONLY_ENDS (1 << 23) |
94 | |
95 | #define POS_FLAG_WIRE_EOD (1 << 24) /**< wire to accept eod */ |
96 | #define POS_FLAG_WIRE_NL_EOD (1 << 25) /**< wire to nl before accept eod */ |
97 | #define POS_FLAG_WIRE_NL_ACCEPT (1 << 26) /**< wire to nl before accept */ |
98 | #define POS_FLAG_NO_NL_EOD (1 << 27) /**< disallow nl before accept eod */ |
99 | #define POS_FLAG_NO_NL_ACCEPT (1 << 28) /**< disallow nl before accept */ |
100 | |
101 | /** \brief Parse and Glushkov construction use only. State number within the |
102 | * NFA as it is being constructed. */ |
103 | typedef u32 Position; |
104 | |
105 | } // namespace ue2 |
106 | |
107 | #endif // PARSER_POSITION_H |
108 | |