#pragma once
#if ENABLE(CONTENT_EXTENSIONS)
#include "ImmutableNFA.h"
#include <wtf/FileSystem.h>
namespace WebCore {
namespace ContentExtensions {
struct NFA;
class SerializedNFA {
public:
static Optional<SerializedNFA> serialize(NFA&&);
SerializedNFA(SerializedNFA&&) = default;
template<typename T>
class Range {
public:
Range(const T* begin, size_t size)
: m_begin(begin)
, m_size(size) { }
const T* begin() const { return m_begin; }
const T* end() const { return m_begin + m_size; }
size_t size() const { return m_size; }
const T& operator[](size_t i) const
{
RELEASE_ASSERT(i < m_size);
return begin()[i];
}
private:
const T* m_begin { nullptr };
size_t m_size { 0 };
};
const Range<ImmutableNFANode> nodes() const;
const Range<ImmutableRange<char>> transitions() const;
const Range<uint32_t> targets() const;
const Range<uint32_t> epsilonTransitionsTargets() const;
const Range<uint64_t> actions() const;
uint32_t root() const
{
RELEASE_ASSERT(nodes().size());
return 0;
}
struct ConstTargetIterator {
const SerializedNFA& serializedNFA;
uint32_t position;
const uint32_t& operator*() const { return serializedNFA.targets()[position]; }
const uint32_t* operator->() const { return &serializedNFA.targets()[position]; }
bool operator==(const ConstTargetIterator& other) const
{
ASSERT(&serializedNFA == &other.serializedNFA);
return position == other.position;
}
bool operator!=(const ConstTargetIterator& other) const { return !(*this == other); }
ConstTargetIterator& operator++()
{
++position;
return *this;
}
};
struct IterableConstTargets {
const SerializedNFA& serializedNFA;
uint32_t targetStart;
uint32_t targetEnd;
ConstTargetIterator begin() const { return { serializedNFA, targetStart }; }
ConstTargetIterator end() const { return { serializedNFA, targetEnd }; }
};
struct ConstRangeIterator {
const SerializedNFA& serializedNFA;
uint32_t position;
bool operator==(const ConstRangeIterator& other) const
{
ASSERT(&serializedNFA == &other.serializedNFA);
return position == other.position;
}
bool operator!=(const ConstRangeIterator& other) const { return !(*this == other); }
ConstRangeIterator& operator++()
{
++position;
return *this;
}
char first() const
{
return range().first;
}
char last() const
{
return range().last;
}
IterableConstTargets data() const
{
const ImmutableRange<char>& range = this->range();
return { serializedNFA, range.targetStart, range.targetEnd };
};
private:
const ImmutableRange<char>& range() const
{
return serializedNFA.transitions()[position];
}
};
struct IterableConstRange {
const SerializedNFA& serializedNFA;
uint32_t rangesStart;
uint32_t rangesEnd;
ConstRangeIterator begin() const { return { serializedNFA, rangesStart }; }
ConstRangeIterator end() const { return { serializedNFA, rangesEnd }; }
#if CONTENT_EXTENSIONS_STATE_MACHINE_DEBUGGING
void debugPrint() const
{
for (const auto& range : *this)
WTFLogAlways(" %d-%d", range.first, range.last);
}
#endif
};
IterableConstRange transitionsForNode(uint32_t nodeId) const
{
const auto& node = nodes()[nodeId];
return { *this, node.rangesStart, node.rangesEnd };
}
private:
struct Metadata {
size_t nodesSize { 0 };
size_t transitionsSize { 0 };
size_t targetsSize { 0 };
size_t epsilonTransitionsTargetsSize { 0 };
size_t actionsSize { 0 };
size_t nodesOffset { 0 };
size_t transitionsOffset { 0 };
size_t targetsOffset { 0 };
size_t epsilonTransitionsTargetsOffset { 0 };
size_t actionsOffset { 0 };
};
SerializedNFA(FileSystem::MappedFileData&&, Metadata&&);
template<typename T>
const T* pointerAtOffsetInFile(size_t) const;
FileSystem::MappedFileData m_file;
Metadata m_metadata;
};
} }
#endif // ENABLE(CONTENT_EXTENSIONS)