1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
|
/* 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.
*/
#include "SemanticContext.h"
#include "atn/DecisionState.h"
#include "atn/LexerActionExecutor.h"
#include "atn/PredictionContext.h"
#include "misc/MurmurHash.h"
#include "support/CPPUtils.h"
#include "atn/LexerATNConfig.h"
using namespace antlr4::atn;
using namespace antlrcpp;
LexerATNConfig::LexerATNConfig(ATNState* state, int alt,
Ref<PredictionContext> const& context)
: ATNConfig(state, alt, context, SemanticContext::NONE),
_passedThroughNonGreedyDecision(false) {}
LexerATNConfig::LexerATNConfig(
ATNState* state, int alt, Ref<PredictionContext> const& context,
Ref<LexerActionExecutor> const& lexerActionExecutor)
: ATNConfig(state, alt, context, SemanticContext::NONE),
_lexerActionExecutor(lexerActionExecutor),
_passedThroughNonGreedyDecision(false) {}
LexerATNConfig::LexerATNConfig(Ref<LexerATNConfig> const& c, ATNState* state)
: ATNConfig(c, state, c->context, c->semanticContext),
_lexerActionExecutor(c->_lexerActionExecutor),
_passedThroughNonGreedyDecision(checkNonGreedyDecision(c, state)) {}
LexerATNConfig::LexerATNConfig(
Ref<LexerATNConfig> const& c, ATNState* state,
Ref<LexerActionExecutor> const& lexerActionExecutor)
: ATNConfig(c, state, c->context, c->semanticContext),
_lexerActionExecutor(lexerActionExecutor),
_passedThroughNonGreedyDecision(checkNonGreedyDecision(c, state)) {}
LexerATNConfig::LexerATNConfig(Ref<LexerATNConfig> const& c, ATNState* state,
Ref<PredictionContext> const& context)
: ATNConfig(c, state, context, c->semanticContext),
_lexerActionExecutor(c->_lexerActionExecutor),
_passedThroughNonGreedyDecision(checkNonGreedyDecision(c, state)) {}
Ref<LexerActionExecutor> LexerATNConfig::getLexerActionExecutor() const {
return _lexerActionExecutor;
}
bool LexerATNConfig::hasPassedThroughNonGreedyDecision() {
return _passedThroughNonGreedyDecision;
}
size_t LexerATNConfig::hashCode() const {
size_t hashCode = misc::MurmurHash::initialize(7);
hashCode = misc::MurmurHash::update(hashCode, state->stateNumber);
hashCode = misc::MurmurHash::update(hashCode, alt);
hashCode = misc::MurmurHash::update(hashCode, context);
hashCode = misc::MurmurHash::update(hashCode, semanticContext);
hashCode = misc::MurmurHash::update(hashCode,
_passedThroughNonGreedyDecision ? 1 : 0);
hashCode = misc::MurmurHash::update(hashCode, _lexerActionExecutor);
hashCode = misc::MurmurHash::finish(hashCode, 6);
return hashCode;
}
bool LexerATNConfig::operator==(const LexerATNConfig& other) const {
if (this == &other) return true;
if (_passedThroughNonGreedyDecision != other._passedThroughNonGreedyDecision)
return false;
if (_lexerActionExecutor == nullptr)
return other._lexerActionExecutor == nullptr;
if (*_lexerActionExecutor != *(other._lexerActionExecutor)) {
return false;
}
return ATNConfig::operator==(other);
}
bool LexerATNConfig::checkNonGreedyDecision(Ref<LexerATNConfig> const& source,
ATNState* target) {
return source->_passedThroughNonGreedyDecision ||
(is<DecisionState*>(target) &&
(static_cast<DecisionState*>(target))->nonGreedy);
}
|