1 /* Copyright (c) 2012-2017 The ANTLR Project. All rights reserved.
2 * Use of this file is governed by the BSD 3-clause license that
3 * can be found in the LICENSE.txt file in the project root.
7 #include "atn/Transition.h"
8 #include "misc/IntervalSet.h"
9 #include "support/CPPUtils.h"
11 #include "atn/ATNState.h"
13 using namespace antlr4::atn;
14 using namespace antlrcpp;
16 ATNState::ATNState() {
19 ATNState::~ATNState() {
20 for (auto *transition : transitions) {
25 const std::vector<std::string> ATNState::serializationNames = {
26 "INVALID", "BASIC", "RULE_START", "BLOCK_START",
27 "PLUS_BLOCK_START", "STAR_BLOCK_START", "TOKEN_START", "RULE_STOP",
28 "BLOCK_END", "STAR_LOOP_BACK", "STAR_LOOP_ENTRY", "PLUS_LOOP_BACK", "LOOP_END"
31 size_t ATNState::hashCode() {
35 bool ATNState::operator == (const ATNState &other) {
36 return stateNumber == other.stateNumber;
39 bool ATNState::isNonGreedyExitState() {
43 std::string ATNState::toString() const {
44 return std::to_string(stateNumber);
47 void ATNState::addTransition(Transition *e) {
48 addTransition(transitions.size(), e);
51 void ATNState::addTransition(size_t index, Transition *e) {
52 for (Transition *transition : transitions)
53 if (transition->target->stateNumber == e->target->stateNumber) {
58 if (transitions.empty()) {
59 epsilonOnlyTransitions = e->isEpsilon();
60 } else if (epsilonOnlyTransitions != e->isEpsilon()) {
61 std::cerr << "ATN state %d has both epsilon and non-epsilon transitions.\n" << stateNumber;
62 epsilonOnlyTransitions = false;
65 transitions.insert(transitions.begin() + index, e);
68 Transition *ATNState::removeTransition(size_t index) {
69 Transition *result = transitions[index];
70 transitions.erase(transitions.begin() + index);