v8::internal::DispatchTable Class Reference

#include <jsregexp.h>

Inheritance diagram for v8::internal::DispatchTable:

Collaboration diagram for v8::internal::DispatchTable:

Classes
class	Config
class	Entry

Public Member Functions
	DispatchTable (Zone *zone)
void	AddRange (CharacterRange range, int value, Zone *zone)
OutSet *	Get (uc16 value)
void	Dump ()
template<typename Callback >
void	ForEach (Callback *callback)
Public Member Functions inherited from v8::internal::ZoneObject
	INLINE (void *operator new(size_t size, Zone *zone))
void	operator delete (void *, size_t)
void	operator delete (void *pointer, Zone *zone)

Private Member Functions
OutSet *	empty ()
ZoneSplayTree< Config > *	tree ()

Private Attributes
OutSet	empty_
ZoneSplayTree< Config >	tree_

Detailed Description

Definition at line 325 of file jsregexp.h.

Constructor & Destructor Documentation

DispatchTable()

v8::internal::DispatchTable::DispatchTable ( Zone *  zone )

inlineexplicit

Definition at line 327 of file jsregexp.h.

: tree_(zone) { }

Member Function Documentation

AddRange()

void v8::internal::DispatchTable::AddRange	(	CharacterRange	range,
		int	value,
		Zone *	zone
	)

Definition at line 5619 of file jsregexp.cc.

                                         {
  CharacterRange current = full_range;
  if (tree()->is_empty()) {
    // If this is the first range we just insert into the table.
    ZoneSplayTree<Config>::Locator loc;
    DCHECK_RESULT(tree()->Insert(current.from(), &loc));
    loc.set_value(Entry(current.from(), current.to(),
                        empty()->Extend(value, zone)));
    return;
  }
  // First see if there is a range to the left of this one that
  // overlaps.
  ZoneSplayTree<Config>::Locator loc;
  if (tree()->FindGreatestLessThan(current.from(), &loc)) {
    Entry* entry = &loc.value();
    // If we've found a range that overlaps with this one, and it
    // starts strictly to the left of this one, we have to fix it
    // because the following code only handles ranges that start on
    // or after the start point of the range we're adding.
    if (entry->from() < current.from() && entry->to() >= current.from()) {
      // Snap the overlapping range in half around the start point of
      // the range we're adding.
      CharacterRange left(entry->from(), current.from() - 1);
      CharacterRange right(current.from(), entry->to());
      // The left part of the overlapping range doesn't overlap.
      // Truncate the whole entry to be just the left part.
      entry->set_to(left.to());
      // The right part is the one that overlaps.  We add this part
      // to the map and let the next step deal with merging it with
      // the range we're adding.
      ZoneSplayTree<Config>::Locator loc;
      DCHECK_RESULT(tree()->Insert(right.from(), &loc));
      loc.set_value(Entry(right.from(),
                          right.to(),
                          entry->out_set()));
    }
  }
  while (current.is_valid()) {
    if (tree()->FindLeastGreaterThan(current.from(), &loc) &&
        (loc.value().from() <= current.to()) &&
        (loc.value().to() >= current.from())) {
      Entry* entry = &loc.value();
      // We have overlap.  If there is space between the start point of
      // the range we're adding and where the overlapping range starts
      // then we have to add a range covering just that space.
      if (current.from() < entry->from()) {
        ZoneSplayTree<Config>::Locator ins;
        DCHECK_RESULT(tree()->Insert(current.from(), &ins));
        ins.set_value(Entry(current.from(),
                            entry->from() - 1,
                            empty()->Extend(value, zone)));
        current.set_from(entry->from());
      }
      DCHECK_EQ(current.from(), entry->from());
      // If the overlapping range extends beyond the one we want to add
      // we have to snap the right part off and add it separately.
      if (entry->to() > current.to()) {
        ZoneSplayTree<Config>::Locator ins;
        DCHECK_RESULT(tree()->Insert(current.to() + 1, &ins));
        ins.set_value(Entry(current.to() + 1,
                            entry->to(),
                            entry->out_set()));
        entry->set_to(current.to());
      }
      DCHECK(entry->to() <= current.to());
      // The overlapping range is now completely contained by the range
      // we're adding so we can just update it and move the start point
      // of the range we're adding just past it.
      entry->AddValue(value, zone);
      // Bail out if the last interval ended at 0xFFFF since otherwise
      // adding 1 will wrap around to 0.
      if (entry->to() == String::kMaxUtf16CodeUnit)
        break;
      DCHECK(entry->to() + 1 > current.from());
      current.set_from(entry->to() + 1);
    } else {
      // There is no overlap so we can just add the range
      ZoneSplayTree<Config>::Locator ins;
      DCHECK_RESULT(tree()->Insert(current.from(), &ins));
      ins.set_value(Entry(current.from(),
                          current.to(),
                          empty()->Extend(value, zone)));
      break;
    }
  }
}

References v8::internal::DispatchTable::Entry::AddValue(), DCHECK, DCHECK_EQ, DCHECK_RESULT, empty(), v8::internal::DispatchTable::Entry::from(), v8::internal::CharacterRange::from(), v8::internal::CharacterRange::is_valid(), v8::internal::String::kMaxUtf16CodeUnit, v8::internal::DispatchTable::Entry::out_set(), v8::internal::CharacterRange::set_from(), v8::internal::DispatchTable::Entry::set_to(), v8::internal::DispatchTable::Entry::to(), v8::internal::CharacterRange::to(), and tree().

Referenced by v8::internal::DispatchTableConstructor::AddRange(), and v8::internal::CharacterRange::Split().

Here is the call graph for this function:

Here is the caller graph for this function:

Dump()

void v8::internal::DispatchTable::Dump

(

)

empty()

OutSet* v8::internal::DispatchTable::empty ( )

inlineprivate

Definition at line 375 of file jsregexp.h.

{ return &empty_; }

References empty_.

Referenced by AddRange(), and Get().

Here is the caller graph for this function:

ForEach()

template<typename Callback >

void v8::internal::DispatchTable::ForEach ( Callback *  callback )

inline

Definition at line 368 of file jsregexp.h.

                                   {
    return tree()->ForEach(callback);
  }

References tree().

Referenced by v8::internal::CharacterRange::Split().

Here is the call graph for this function:

Here is the caller graph for this function:

Get()

OutSet * v8::internal::DispatchTable::Get

(

uc16

value

)

Definition at line 5708 of file jsregexp.cc.

                                     {
  ZoneSplayTree<Config>::Locator loc;
  if (!tree()->FindGreatestLessThan(value, &loc))
    return empty();
  Entry* entry = &loc.value();
  if (value <= entry->to())
    return entry->out_set();
  else
    return empty();
}

References empty(), v8::internal::DispatchTable::Entry::out_set(), to(), and tree().

Here is the call graph for this function:

tree()

ZoneSplayTree<Config>* v8::internal::DispatchTable::tree ( )

inlineprivate

Definition at line 377 of file jsregexp.h.

{ return &tree_; }

References tree_.

Referenced by AddRange(), ForEach(), and Get().

Here is the caller graph for this function:

Member Data Documentation

empty_

OutSet v8::internal::DispatchTable::empty_

private

Definition at line 376 of file jsregexp.h.

Referenced by empty().

tree_

ZoneSplayTree<Config> v8::internal::DispatchTable::tree_

private

Definition at line 378 of file jsregexp.h.

Referenced by tree().

---

The documentation for this class was generated from the following files:

• /mnt/V8SourceCode/src/jsregexp.h
• /mnt/V8SourceCode/src/jsregexp.cc