diff options
Diffstat (limited to 'deps/v8/third_party/antlr4/runtime/Cpp/runtime/src/atn/ATN.h')
-rw-r--r-- | deps/v8/third_party/antlr4/runtime/Cpp/runtime/src/atn/ATN.h | 115 |
1 files changed, 115 insertions, 0 deletions
diff --git a/deps/v8/third_party/antlr4/runtime/Cpp/runtime/src/atn/ATN.h b/deps/v8/third_party/antlr4/runtime/Cpp/runtime/src/atn/ATN.h new file mode 100644 index 0000000000..7af0f931ff --- /dev/null +++ b/deps/v8/third_party/antlr4/runtime/Cpp/runtime/src/atn/ATN.h @@ -0,0 +1,115 @@ +/* Copyright (c) 2012-2017 The ANTLR Project. All rights reserved. + * Use of this file is governed by the BSD 3-clause license that + * can be found in the LICENSE.txt file in the project root. + */ + +#pragma once + +#include "RuleContext.h" + +namespace antlr4 { +namespace atn { + +class ANTLR4CPP_PUBLIC ATN { + public: + static const size_t INVALID_ALT_NUMBER = 0; + + /// Used for runtime deserialization of ATNs from strings. + ATN(); + ATN(ATN&& other); + ATN(ATNType grammarType, size_t maxTokenType); + virtual ~ATN(); + + std::vector<ATNState*> states; + + /// Each subrule/rule is a decision point and we must track them so we + /// can go back later and build DFA predictors for them. This includes + /// all the rules, subrules, optional blocks, ()+, ()* etc... + std::vector<DecisionState*> decisionToState; + + /// Maps from rule index to starting state number. + std::vector<RuleStartState*> ruleToStartState; + + /// Maps from rule index to stop state number. + std::vector<RuleStopState*> ruleToStopState; + + /// The type of the ATN. + ATNType grammarType; + + /// The maximum value for any symbol recognized by a transition in the ATN. + size_t maxTokenType; + + /// <summary> + /// For lexer ATNs, this maps the rule index to the resulting token type. + /// For parser ATNs, this maps the rule index to the generated bypass token + /// type if the + /// <seealso + /// cref="ATNDeserializationOptions#isGenerateRuleBypassTransitions"/> + /// deserialization option was specified; otherwise, this is {@code null}. + /// </summary> + std::vector<size_t> ruleToTokenType; + + /// For lexer ATNs, this is an array of {@link LexerAction} objects which may + /// be referenced by action transitions in the ATN. + std::vector<Ref<LexerAction>> lexerActions; + + std::vector<TokensStartState*> modeToStartState; + + ATN& operator=(ATN& other) NOEXCEPT; + ATN& operator=(ATN&& other) NOEXCEPT; + + /// <summary> + /// Compute the set of valid tokens that can occur starting in state {@code + /// s}. + /// If {@code ctx} is null, the set of tokens will not include what can + /// follow the rule surrounding {@code s}. In other words, the set will be + /// restricted to tokens reachable staying within {@code s}'s rule. + /// </summary> + virtual misc::IntervalSet nextTokens(ATNState* s, RuleContext* ctx) const; + + /// <summary> + /// Compute the set of valid tokens that can occur starting in {@code s} and + /// staying in same rule. <seealso cref="Token#EPSILON"/> is in set if we + /// reach end of rule. + /// </summary> + virtual misc::IntervalSet const& nextTokens(ATNState* s) const; + + virtual void addState(ATNState* state); + + virtual void removeState(ATNState* state); + + virtual int defineDecisionState(DecisionState* s); + + virtual DecisionState* getDecisionState(size_t decision) const; + + virtual size_t getNumberOfDecisions() const; + + /// <summary> + /// Computes the set of input symbols which could follow ATN state number + /// {@code stateNumber} in the specified full {@code context}. This method + /// considers the complete parser context, but does not evaluate semantic + /// predicates (i.e. all predicates encountered during the calculation are + /// assumed true). If a path in the ATN exists from the starting state to the + /// <seealso cref="RuleStopState"/> of the outermost context without matching + /// any symbols, <seealso cref="Token#EOF"/> is added to the returned set. + /// <p/> + /// If {@code context} is {@code null}, it is treated as + /// <seealso cref="ParserRuleContext#EMPTY"/>. + /// </summary> + /// <param name="stateNumber"> the ATN state number </param> + /// <param name="context"> the full parse context </param> + /// <returns> The set of potentially valid input symbols which could follow + /// the specified state in the specified context. </returns> <exception + /// cref="IllegalArgumentException"> if the ATN does not contain a state with + /// number {@code stateNumber} </exception> + virtual misc::IntervalSet getExpectedTokens(size_t stateNumber, + RuleContext* context) const; + + std::string toString() const; + + private: + mutable std::mutex _mutex; +}; + +} // namespace atn +} // namespace antlr4 |