When building the NFA of the global disjunction, share the prefix subgraph of existin...
[WebKit-https.git] / Source / WebCore / contentextensions / NFA.h
1 /*
2  * Copyright (C) 2014 Apple Inc. All rights reserved.
3  *
4  * Redistribution and use in source and binary forms, with or without
5  * modification, are permitted provided that the following conditions
6  * are met:
7  * 1. Redistributions of source code must retain the above copyright
8  *    notice, this list of conditions and the following disclaimer.
9  * 2. 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  *
13  * THIS SOFTWARE IS PROVIDED BY APPLE INC. AND ITS CONTRIBUTORS ``AS IS''
14  * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO,
15  * THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
16  * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR ITS CONTRIBUTORS
17  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
18  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
19  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
20  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
21  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
22  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF
23  * THE POSSIBILITY OF SUCH DAMAGE.
24  */
25
26 #ifndef NFA_h
27 #define NFA_h
28
29 #if ENABLE(CONTENT_EXTENSIONS)
30
31 #include "ContentExtensionsDebugging.h"
32 #include "NFANode.h"
33 #include <wtf/Vector.h>
34
35 namespace WebCore {
36
37 namespace ContentExtensions {
38
39 class NFAToDFA;
40
41 // The NFA provides a way to build a NFA graph with characters or epsilon as transitions.
42 // The nodes are accessed through an identifier.
43 class NFA {
44 public:
45     NFA();
46     unsigned root() const { return m_root; }
47     unsigned createNode();
48
49     void addTransition(unsigned from, unsigned to, char character);
50     void addEpsilonTransition(unsigned from, unsigned to);
51     void setFinal(unsigned node, uint64_t ruleId);
52
53     unsigned graphSize() const;
54     void restoreToGraphSize(unsigned);
55
56 #if CONTENT_EXTENSIONS_STATE_MACHINE_DEBUGGING
57     void addRuleId(unsigned node, uint64_t ruleId);
58
59     void debugPrintDot() const;
60 #else
61     void addRuleId(unsigned, uint64_t) { }
62 #endif
63
64 private:
65     friend class NFAToDFA;
66
67     static const unsigned epsilonTransitionCharacter = 256;
68
69     Vector<NFANode> m_nodes;
70     unsigned m_root;
71 };
72
73 }
74
75 } // namespace WebCore
76
77 #endif // ENABLE(CONTENT_EXTENSIONS)
78
79 #endif // NFA_h