/* 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 "atn/ATNSimulator.h"

#include "atn/ATNConfigSet.h"
#include "atn/ATNDeserializer.h"
#include "atn/ATNType.h"
#include "atn/EmptyPredictionContext.h"
#include "dfa/DFAState.h"

using namespace antlr4;
using namespace antlr4::dfa;
using namespace antlr4::atn;

const Ref<DFAState> ATNSimulator::ERROR = std::make_shared<DFAState>(INT32_MAX);
antlrcpp::SingleWriteMultipleReadLock ATNSimulator::_stateLock;
antlrcpp::SingleWriteMultipleReadLock ATNSimulator::_edgeLock;

ATNSimulator::ATNSimulator(const ATN& atn, PredictionContextCache& sharedContextCache)
    : atn(atn), _sharedContextCache(sharedContextCache) {}

ATNSimulator::~ATNSimulator() {}

void ATNSimulator::clearDFA() {
    throw UnsupportedOperationException("This ATN simulator does not support clearing the DFA.");
}

PredictionContextCache& ATNSimulator::getSharedContextCache() {
    return _sharedContextCache;
}

Ref<PredictionContext> ATNSimulator::getCachedContext(Ref<PredictionContext> const& context) {
    // This function must only be called with an active state lock, as we are going to change a
    // shared structure.
    std::map<Ref<PredictionContext>, Ref<PredictionContext>> visited;
    return PredictionContext::getCachedContext(context, _sharedContextCache, visited);
}

ATN ATNSimulator::deserialize(const std::vector<uint16_t>& data) {
    ATNDeserializer deserializer;
    return deserializer.deserialize(data);
}

void ATNSimulator::checkCondition(bool condition) {
    ATNDeserializer::checkCondition(condition);
}

void ATNSimulator::checkCondition(bool condition, const std::string& message) {
    ATNDeserializer::checkCondition(condition, message);
}

Transition* ATNSimulator::edgeFactory(const ATN& atn, int type, int src, int trg, int arg1,
    int arg2, int arg3, const std::vector<misc::IntervalSet>& sets) {
    return ATNDeserializer::edgeFactory(atn, type, src, trg, arg1, arg2, arg3, sets);
}

ATNState* ATNSimulator::stateFactory(int type, int ruleIndex) {
    return ATNDeserializer::stateFactory(type, ruleIndex);
}
