Unreviewed, rolling out r180260.
[WebKit-https.git] / Source / WebCore / contentextensions / DFA.h
1 /*
2  * Copyright (C) 2014, 2015 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 DFA_h
27 #define DFA_h
28
29 #if ENABLE(CONTENT_EXTENSIONS)
30
31 #include "ContentExtensionsDebugging.h"
32 #include "DFANode.h"
33 #include <wtf/Vector.h>
34
35 namespace WebCore {
36
37 namespace ContentExtensions {
38
39 // The DFA abstract a partial DFA graph in a compact form.
40 class DFA {
41 public:
42     DFA();
43     DFA(Vector<DFANode>&& nodes, unsigned rootIndex);
44     DFA(const DFA& dfa);
45
46     DFA& operator=(const DFA&);
47
48     unsigned root() const { return m_root; }
49     // If there is a transition to a valid state on "character", return that state and set ok to true.
50     // Otherwise, the return value is undefined and ok is false.
51     unsigned nextState(unsigned currentState, char character, bool& ok) const;
52     const Vector<uint64_t>& actions(unsigned currentState) const;
53
54 #if CONTENT_EXTENSIONS_STATE_MACHINE_DEBUGGING
55     void debugPrintDot() const;
56 #endif
57
58 private:
59     Vector<DFANode> m_nodes;
60     unsigned m_root;
61 };
62
63 }
64
65 } // namespace WebCore
66
67 #endif // ENABLE(CONTENT_EXTENSIONS)
68
69 #endif // DFA_h