569 lines
12 KiB
C++
569 lines
12 KiB
C++
|
// Copyright (c) 1994 James Clark
|
||
|
// See the file COPYING for copying permission.
|
||
|
|
||
|
#ifdef __GNUG__
|
||
|
#pragma implementation
|
||
|
#endif
|
||
|
#include "splib.h"
|
||
|
#include "Location.h"
|
||
|
#include "Entity.h"
|
||
|
#include "Mutex.h"
|
||
|
|
||
|
#ifdef SP_NAMESPACE
|
||
|
namespace SP_NAMESPACE {
|
||
|
#endif
|
||
|
|
||
|
class InputSourceOriginImpl : public EntityOrigin {
|
||
|
public:
|
||
|
InputSourceOriginImpl();
|
||
|
InputSourceOriginImpl(const Location &refLocation);
|
||
|
const Location &parent() const;
|
||
|
const ExternalInfo *externalInfo() const;
|
||
|
Offset startOffset(Index ind) const;
|
||
|
void noteCharRef(Index replacementIndex, const NamedCharRef &);
|
||
|
Boolean isNamedCharRef(Index ind, NamedCharRef &ref) const;
|
||
|
void setExternalInfo(ExternalInfo *);
|
||
|
virtual InputSourceOrigin *copy() const;
|
||
|
const InputSourceOrigin *asInputSourceOrigin() const;
|
||
|
private:
|
||
|
InputSourceOriginImpl(const InputSourceOriginImpl &); // undefined
|
||
|
void operator=(const InputSourceOriginImpl &); // undefined
|
||
|
size_t nPrecedingCharRefs(Index ind) const;
|
||
|
Vector<InputSourceOriginNamedCharRef> charRefs_;
|
||
|
StringC charRefOrigNames_;
|
||
|
Owner<ExternalInfo> externalInfo_; // 0 for internal entities
|
||
|
Location refLocation_; // where referenced from
|
||
|
Mutex mutex_;
|
||
|
};
|
||
|
|
||
|
InputSourceOrigin::~InputSourceOrigin() {}
|
||
|
|
||
|
class EntityOriginImpl : public InputSourceOriginImpl {
|
||
|
public:
|
||
|
void *operator new(size_t sz, Allocator &alloc) {
|
||
|
return alloc.alloc(sz);
|
||
|
}
|
||
|
void *operator new(size_t sz) {
|
||
|
return Allocator::allocSimple(sz);
|
||
|
}
|
||
|
void operator delete(void *p) {
|
||
|
Allocator::free(p);
|
||
|
}
|
||
|
#ifdef SP_HAVE_PLACEMENT_OPERATOR_DELETE
|
||
|
void operator delete(void *p, Allocator &) { Allocator::free(p); }
|
||
|
#endif
|
||
|
EntityOriginImpl(const ConstPtr<Entity> &);
|
||
|
EntityOriginImpl(const ConstPtr<Entity> &,
|
||
|
const Location &refLocation);
|
||
|
EntityOriginImpl(const ConstPtr<Entity> &,
|
||
|
const Location &refLocation, Index refLength,
|
||
|
Owner<Markup> &markup);
|
||
|
~EntityOriginImpl();
|
||
|
InputSourceOrigin *copy() const;
|
||
|
const Entity *entity() const { return entity_.pointer(); }
|
||
|
const EntityDecl *entityDecl() const;
|
||
|
const EntityOrigin *asEntityOrigin() const;
|
||
|
Boolean defLocation(Offset off, const Origin *&, Index &) const;
|
||
|
Index refLength() const;
|
||
|
const Markup *markup() const;
|
||
|
private:
|
||
|
EntityOriginImpl(const EntityOriginImpl &); // undefined
|
||
|
void operator=(const EntityOriginImpl &); // undefined
|
||
|
ConstPtr<Entity> entity_; // 0 for document entity
|
||
|
// total length of reference
|
||
|
// (characters that were replaced by the entity)
|
||
|
Index refLength_;
|
||
|
Owner<Markup> markup_;
|
||
|
};
|
||
|
|
||
|
const size_t EntityOrigin::allocSize = sizeof(EntityOriginImpl);
|
||
|
|
||
|
Location::Location()
|
||
|
{
|
||
|
}
|
||
|
|
||
|
Location::Location(const Location& x)
|
||
|
: origin_(x.origin_), index_(x.index_)
|
||
|
{
|
||
|
}
|
||
|
|
||
|
Location::Location(Origin *origin, Index i)
|
||
|
: origin_(origin), index_(i)
|
||
|
{
|
||
|
}
|
||
|
|
||
|
Location::Location(ConstPtr<Origin> origin, Index i)
|
||
|
: origin_(origin), index_(i)
|
||
|
{
|
||
|
}
|
||
|
|
||
|
Origin::~Origin()
|
||
|
{
|
||
|
}
|
||
|
|
||
|
const EntityOrigin *Origin::asEntityOrigin() const
|
||
|
{
|
||
|
return 0;
|
||
|
}
|
||
|
|
||
|
const InputSourceOrigin *Origin::asInputSourceOrigin() const
|
||
|
{
|
||
|
return 0;
|
||
|
}
|
||
|
|
||
|
Index Origin::refLength() const
|
||
|
{
|
||
|
return 0;
|
||
|
}
|
||
|
|
||
|
Boolean Origin::origChars(const Char *&) const
|
||
|
{
|
||
|
return 0;
|
||
|
}
|
||
|
|
||
|
Boolean Origin::inBracketedTextOpenDelim() const
|
||
|
{
|
||
|
return 0;
|
||
|
}
|
||
|
|
||
|
Boolean Origin::inBracketedTextCloseDelim() const
|
||
|
{
|
||
|
return 0;
|
||
|
}
|
||
|
|
||
|
Boolean Origin::isNumericCharRef(const Markup *&) const
|
||
|
{
|
||
|
return 0;
|
||
|
}
|
||
|
|
||
|
Boolean Origin::isNamedCharRef(Index, NamedCharRef &) const
|
||
|
{
|
||
|
return 0;
|
||
|
}
|
||
|
|
||
|
const EntityDecl *Origin::entityDecl() const
|
||
|
{
|
||
|
return 0;
|
||
|
}
|
||
|
|
||
|
const Markup *Origin::markup() const
|
||
|
{
|
||
|
return 0;
|
||
|
}
|
||
|
|
||
|
const Entity *Origin::entity() const
|
||
|
{
|
||
|
return 0;
|
||
|
}
|
||
|
|
||
|
Boolean Origin::defLocation(Offset, const Origin *&, Index &) const
|
||
|
{
|
||
|
return 0;
|
||
|
}
|
||
|
|
||
|
const ExternalInfo *Origin::externalInfo() const
|
||
|
{
|
||
|
return 0;
|
||
|
}
|
||
|
|
||
|
Offset Origin::startOffset(Index ind) const
|
||
|
{
|
||
|
return ind;
|
||
|
}
|
||
|
|
||
|
const StringC *Origin::entityName() const
|
||
|
{
|
||
|
const EntityDecl *ent = entityDecl();
|
||
|
if (ent)
|
||
|
return &ent->name();
|
||
|
else
|
||
|
return 0;
|
||
|
}
|
||
|
|
||
|
BracketOrigin::BracketOrigin(const Location &loc, Position pos)
|
||
|
: loc_(loc), pos_(pos)
|
||
|
{
|
||
|
}
|
||
|
|
||
|
const Location &BracketOrigin::parent() const
|
||
|
{
|
||
|
return loc_;
|
||
|
}
|
||
|
|
||
|
Boolean BracketOrigin::inBracketedTextOpenDelim() const
|
||
|
{
|
||
|
return pos_ == open;
|
||
|
}
|
||
|
|
||
|
Boolean BracketOrigin::inBracketedTextCloseDelim() const
|
||
|
{
|
||
|
return pos_ == close;
|
||
|
}
|
||
|
|
||
|
InputSourceOrigin *InputSourceOrigin::make()
|
||
|
{
|
||
|
return new InputSourceOriginImpl;
|
||
|
}
|
||
|
|
||
|
InputSourceOrigin *InputSourceOrigin::make(const Location &refLocation)
|
||
|
{
|
||
|
return new InputSourceOriginImpl(refLocation);
|
||
|
}
|
||
|
|
||
|
InputSourceOriginImpl::InputSourceOriginImpl()
|
||
|
{
|
||
|
}
|
||
|
|
||
|
InputSourceOriginImpl::InputSourceOriginImpl(const Location &refLocation)
|
||
|
: refLocation_(refLocation)
|
||
|
{
|
||
|
}
|
||
|
|
||
|
const InputSourceOrigin *InputSourceOriginImpl::asInputSourceOrigin() const
|
||
|
{
|
||
|
return this;
|
||
|
}
|
||
|
|
||
|
const ExternalInfo *InputSourceOriginImpl::externalInfo() const
|
||
|
{
|
||
|
return externalInfo_.pointer();
|
||
|
}
|
||
|
|
||
|
InputSourceOrigin *InputSourceOriginImpl::copy() const
|
||
|
{
|
||
|
return new InputSourceOriginImpl(refLocation_);
|
||
|
}
|
||
|
|
||
|
const Location &InputSourceOriginImpl::parent() const
|
||
|
{
|
||
|
return refLocation_;
|
||
|
}
|
||
|
|
||
|
void InputSourceOriginImpl::setExternalInfo(ExternalInfo *info)
|
||
|
{
|
||
|
externalInfo_ = info;
|
||
|
}
|
||
|
|
||
|
void InputSourceOriginImpl::noteCharRef(Index replacementIndex,
|
||
|
const NamedCharRef &ref)
|
||
|
{
|
||
|
Mutex::Lock lock(&mutex_);
|
||
|
charRefs_.resize(charRefs_.size() + 1);
|
||
|
charRefs_.back().replacementIndex = replacementIndex;
|
||
|
charRefs_.back().refStartIndex = ref.refStartIndex();
|
||
|
charRefs_.back().refEndType = ref.refEndType();
|
||
|
charRefs_.back().origNameOffset = charRefOrigNames_.size();
|
||
|
charRefOrigNames_ += ref.origName();
|
||
|
}
|
||
|
|
||
|
// Number of character references whose replacement index < ind.
|
||
|
|
||
|
size_t InputSourceOriginImpl::nPrecedingCharRefs(Index ind) const
|
||
|
{
|
||
|
size_t i;
|
||
|
// Find i such that
|
||
|
// charRefs_[I].replacementIndex >= ind
|
||
|
// charRefs_[i - 1].replacementIndex < ind
|
||
|
if (charRefs_.size() == 0
|
||
|
|| ind > charRefs_.back().replacementIndex)
|
||
|
// This will be a common case, so optimize it.
|
||
|
i = charRefs_.size();
|
||
|
else {
|
||
|
// Binary search
|
||
|
// Invariant:
|
||
|
// charRefs_ < i have replacementIndex < ind
|
||
|
// charRefs_ >= lim have replacementIndex >= ind
|
||
|
i = 0;
|
||
|
size_t lim = charRefs_.size();
|
||
|
while (i < lim) {
|
||
|
size_t mid = i + (lim - i)/2;
|
||
|
if (charRefs_[mid].replacementIndex >= ind)
|
||
|
lim = mid;
|
||
|
else
|
||
|
i = mid + 1;
|
||
|
}
|
||
|
}
|
||
|
return i;
|
||
|
}
|
||
|
|
||
|
Offset InputSourceOriginImpl::startOffset(Index ind) const
|
||
|
{
|
||
|
Mutex::Lock lock(&((InputSourceOriginImpl *)this)->mutex_);
|
||
|
size_t n = nPrecedingCharRefs(ind);
|
||
|
if (n < charRefs_.size()
|
||
|
&& ind == charRefs_[n].replacementIndex) {
|
||
|
for (;;) {
|
||
|
ind = charRefs_[n].refStartIndex;
|
||
|
if (n == 0 || charRefs_[n - 1].replacementIndex != ind)
|
||
|
break;
|
||
|
--n;
|
||
|
}
|
||
|
}
|
||
|
// charRefs[n - 1].replacementIndex < ind
|
||
|
return Offset(ind - n);
|
||
|
}
|
||
|
|
||
|
Boolean InputSourceOriginImpl::isNamedCharRef(Index ind, NamedCharRef &ref) const
|
||
|
{
|
||
|
Mutex::Lock lock(&((InputSourceOriginImpl *)this)->mutex_);
|
||
|
size_t n = nPrecedingCharRefs(ind);
|
||
|
if (n < charRefs_.size() && ind == charRefs_[n].replacementIndex) {
|
||
|
ref.set(charRefs_[n].refStartIndex,
|
||
|
charRefs_[n].refEndType,
|
||
|
charRefOrigNames_.data() + charRefs_[n].origNameOffset,
|
||
|
(n + 1 < charRefs_.size()
|
||
|
? charRefs_[n + 1].origNameOffset
|
||
|
: charRefOrigNames_.size())
|
||
|
- charRefs_[n].origNameOffset);
|
||
|
return 1;
|
||
|
}
|
||
|
return 0;
|
||
|
}
|
||
|
|
||
|
EntityOrigin::~EntityOrigin() {}
|
||
|
|
||
|
EntityOrigin *EntityOrigin::make(Allocator &alloc,
|
||
|
const ConstPtr<Entity> &entity)
|
||
|
{
|
||
|
return new (alloc) EntityOriginImpl(entity);
|
||
|
}
|
||
|
|
||
|
EntityOrigin *EntityOrigin::make(Allocator &alloc,
|
||
|
const ConstPtr<Entity> &entity,
|
||
|
const Location &refLocation)
|
||
|
{
|
||
|
return new (alloc) EntityOriginImpl(entity, refLocation);
|
||
|
}
|
||
|
|
||
|
EntityOrigin *EntityOrigin::make(Allocator &alloc,
|
||
|
const ConstPtr<Entity> &entity,
|
||
|
const Location &refLocation,
|
||
|
Index refLength,
|
||
|
Owner<Markup> &markup)
|
||
|
{
|
||
|
return new (alloc) EntityOriginImpl(entity, refLocation, refLength, markup);
|
||
|
}
|
||
|
|
||
|
EntityOrigin *EntityOrigin::make(const ConstPtr<Entity> &entity,
|
||
|
const Location &refLocation,
|
||
|
Index refLength,
|
||
|
Owner<Markup> &markup)
|
||
|
{
|
||
|
return new EntityOriginImpl(entity, refLocation, refLength, markup);
|
||
|
}
|
||
|
|
||
|
EntityOrigin *EntityOrigin::make(const ConstPtr<Entity> &entity,
|
||
|
const Location &refLocation)
|
||
|
{
|
||
|
return new EntityOriginImpl(entity, refLocation);
|
||
|
}
|
||
|
|
||
|
EntityOriginImpl::EntityOriginImpl(const ConstPtr<Entity> &entity)
|
||
|
: refLength_(0), entity_(entity)
|
||
|
{
|
||
|
}
|
||
|
|
||
|
EntityOriginImpl::EntityOriginImpl(const ConstPtr<Entity> &entity,
|
||
|
const Location &refLocation)
|
||
|
: InputSourceOriginImpl(refLocation), refLength_(0), entity_(entity)
|
||
|
{
|
||
|
}
|
||
|
|
||
|
EntityOriginImpl::EntityOriginImpl(const ConstPtr<Entity> &entity,
|
||
|
const Location &refLocation,
|
||
|
Index refLength,
|
||
|
Owner<Markup> &markup)
|
||
|
: InputSourceOriginImpl(refLocation), refLength_(refLength), entity_(entity)
|
||
|
{
|
||
|
markup.swap(markup_);
|
||
|
}
|
||
|
|
||
|
EntityOriginImpl::~EntityOriginImpl()
|
||
|
{
|
||
|
}
|
||
|
|
||
|
InputSourceOrigin *EntityOriginImpl::copy() const
|
||
|
{
|
||
|
Owner<Markup> m;
|
||
|
if (markup_)
|
||
|
m = new Markup(*markup_);
|
||
|
return new EntityOriginImpl(entity_, parent(), refLength_, m);
|
||
|
}
|
||
|
|
||
|
Index EntityOriginImpl::refLength() const
|
||
|
{
|
||
|
return refLength_;
|
||
|
}
|
||
|
|
||
|
const EntityOrigin *EntityOriginImpl::asEntityOrigin() const
|
||
|
{
|
||
|
return this;
|
||
|
}
|
||
|
|
||
|
Boolean EntityOriginImpl::defLocation(Offset off, const Origin *&origin, Index &index) const
|
||
|
{
|
||
|
if (entity_.isNull())
|
||
|
return 0;
|
||
|
const InternalEntity *internal = entity_->asInternalEntity();
|
||
|
if (!internal)
|
||
|
return 0;
|
||
|
return internal->text().charLocation(off, origin, index);
|
||
|
}
|
||
|
|
||
|
const EntityDecl *EntityOriginImpl::entityDecl() const
|
||
|
{
|
||
|
return entity_.pointer();
|
||
|
}
|
||
|
|
||
|
const Markup *EntityOriginImpl::markup() const
|
||
|
{
|
||
|
return markup_.pointer();
|
||
|
}
|
||
|
|
||
|
|
||
|
ReplacementOrigin::ReplacementOrigin(const Location &loc, Char origChar)
|
||
|
: loc_(loc), origChar_(origChar)
|
||
|
{
|
||
|
}
|
||
|
|
||
|
const Location &ReplacementOrigin::parent() const
|
||
|
{
|
||
|
return loc_;
|
||
|
}
|
||
|
|
||
|
Boolean ReplacementOrigin::origChars(const Char *&s) const
|
||
|
{
|
||
|
if (loc_.origin().isNull() || !loc_.origin()->origChars(s))
|
||
|
s = &origChar_;
|
||
|
return 1;
|
||
|
}
|
||
|
|
||
|
MultiReplacementOrigin::MultiReplacementOrigin(const Location &loc,
|
||
|
StringC &origChars)
|
||
|
: loc_(loc)
|
||
|
{
|
||
|
origChars.swap(origChars_);
|
||
|
}
|
||
|
|
||
|
const Location &MultiReplacementOrigin::parent() const
|
||
|
{
|
||
|
return loc_;
|
||
|
}
|
||
|
|
||
|
Boolean MultiReplacementOrigin::origChars(const Char *&s) const
|
||
|
{
|
||
|
if (loc_.origin().isNull() || !loc_.origin()->origChars(s))
|
||
|
s = origChars_.data();
|
||
|
return 1;
|
||
|
}
|
||
|
|
||
|
ProxyOrigin::ProxyOrigin(const Origin *origin)
|
||
|
: origin_(origin)
|
||
|
{
|
||
|
}
|
||
|
|
||
|
const EntityOrigin *ProxyOrigin::asEntityOrigin() const
|
||
|
{
|
||
|
return origin_->asEntityOrigin();
|
||
|
}
|
||
|
|
||
|
const InputSourceOrigin *ProxyOrigin::asInputSourceOrigin() const
|
||
|
{
|
||
|
return origin_->asInputSourceOrigin();
|
||
|
}
|
||
|
|
||
|
const Location &ProxyOrigin::parent() const
|
||
|
{
|
||
|
return origin_->parent();
|
||
|
}
|
||
|
|
||
|
Index ProxyOrigin::refLength() const
|
||
|
{
|
||
|
return origin_->refLength();
|
||
|
}
|
||
|
|
||
|
Boolean ProxyOrigin::origChars(const Char *&p) const
|
||
|
{
|
||
|
return origin_->origChars(p);
|
||
|
}
|
||
|
|
||
|
Boolean ProxyOrigin::inBracketedTextOpenDelim() const
|
||
|
{
|
||
|
return origin_->inBracketedTextOpenDelim();
|
||
|
}
|
||
|
|
||
|
Boolean ProxyOrigin::inBracketedTextCloseDelim() const
|
||
|
{
|
||
|
return origin_->inBracketedTextCloseDelim();
|
||
|
}
|
||
|
|
||
|
Boolean ProxyOrigin::isNumericCharRef(const Markup *&markup) const
|
||
|
{
|
||
|
return origin_->isNumericCharRef(markup);
|
||
|
}
|
||
|
|
||
|
Boolean ProxyOrigin::isNamedCharRef(Index ind, NamedCharRef &ref) const
|
||
|
{
|
||
|
return origin_->isNamedCharRef(ind, ref);
|
||
|
}
|
||
|
|
||
|
const EntityDecl *ProxyOrigin::entityDecl() const
|
||
|
{
|
||
|
return origin_->entityDecl();
|
||
|
}
|
||
|
|
||
|
Boolean ProxyOrigin::defLocation(Offset off, const Origin *&origin, Index &index) const
|
||
|
{
|
||
|
return origin_->defLocation(off, origin, index);
|
||
|
}
|
||
|
|
||
|
const Markup *ProxyOrigin::markup() const
|
||
|
{
|
||
|
return origin_->markup();
|
||
|
}
|
||
|
|
||
|
const Entity *ProxyOrigin::entity() const
|
||
|
{
|
||
|
return origin_->entity();
|
||
|
}
|
||
|
|
||
|
const ExternalInfo *ProxyOrigin::externalInfo() const
|
||
|
{
|
||
|
return origin_->externalInfo();
|
||
|
}
|
||
|
|
||
|
Offset ProxyOrigin::startOffset(Index ind) const
|
||
|
{
|
||
|
return origin_->startOffset(ind);
|
||
|
}
|
||
|
|
||
|
ExternalInfo::~ExternalInfo()
|
||
|
{
|
||
|
}
|
||
|
|
||
|
RTTI_DEF0(ExternalInfo)
|
||
|
|
||
|
NamedCharRef::NamedCharRef()
|
||
|
{
|
||
|
}
|
||
|
|
||
|
NamedCharRef::NamedCharRef(Index refStartIndex, RefEndType refEndType,
|
||
|
const StringC &origName)
|
||
|
: refStartIndex_(refStartIndex),
|
||
|
refEndType_(refEndType),
|
||
|
origName_(origName)
|
||
|
{
|
||
|
}
|
||
|
|
||
|
void NamedCharRef::set(Index refStartIndex, RefEndType refEndType,
|
||
|
const Char *s, size_t n)
|
||
|
{
|
||
|
refStartIndex_ = refStartIndex;
|
||
|
refEndType_ = refEndType;
|
||
|
origName_.assign(s, n);
|
||
|
}
|
||
|
|
||
|
#ifdef SP_NAMESPACE
|
||
|
}
|
||
|
#endif
|