dart::BackReferenceNode Class Reference

#include <regexp.h>

Inheritance diagram for dart::BackReferenceNode:

Public Member Functions
	BackReferenceNode (intptr_t start_reg, intptr_t end_reg, RegExpFlags flags, bool read_backward, RegExpNode *on_success)
virtual void	Accept (NodeVisitor *visitor)
intptr_t	start_register ()
intptr_t	end_register ()
bool	read_backward ()
virtual void	Emit (RegExpCompiler *compiler, Trace *trace)
virtual intptr_t	EatsAtLeast (intptr_t still_to_find, intptr_t recursion_depth, bool not_at_start)
virtual void	GetQuickCheckDetails (QuickCheckDetails *details, RegExpCompiler *compiler, intptr_t characters_filled_in, bool not_at_start)
virtual void	FillInBMInfo (intptr_t offset, intptr_t budget, BoyerMooreLookahead *bm, bool not_at_start)
Public Member Functions inherited from dart::SeqRegExpNode
	SeqRegExpNode (RegExpNode *on_success)
RegExpNode *	on_success ()
void	set_on_success (RegExpNode *node)
virtual RegExpNode *	FilterOneByte (intptr_t depth)
virtual void	FillInBMInfo (intptr_t offset, intptr_t budget, BoyerMooreLookahead *bm, bool not_at_start)
Public Member Functions inherited from dart::RegExpNode
	RegExpNode (Zone *zone)
virtual	~RegExpNode ()
virtual void	Accept (NodeVisitor *visitor)=0
virtual void	Emit (RegExpCompiler *compiler, Trace *trace)=0
virtual intptr_t	EatsAtLeast (intptr_t still_to_find, intptr_t budget, bool not_at_start)=0
bool	EmitQuickCheck (RegExpCompiler *compiler, Trace *bounds_check_trace, Trace *trace, bool preload_has_checked_bounds, BlockLabel *on_possible_success, QuickCheckDetails *details_return, bool fall_through_on_failure)
virtual void	GetQuickCheckDetails (QuickCheckDetails *details, RegExpCompiler *compiler, intptr_t characters_filled_in, bool not_at_start)=0
virtual intptr_t	GreedyLoopTextLength ()
virtual RegExpNode *	GetSuccessorOfOmnivorousTextNode (RegExpCompiler *compiler)
virtual void	FillInBMInfo (intptr_t offset, intptr_t budget, BoyerMooreLookahead *bm, bool not_at_start)
virtual RegExpNode *	FilterOneByte (intptr_t depth)
RegExpNode *	replacement ()
RegExpNode *	set_replacement (RegExpNode *replacement)
void	SaveBMInfo (BoyerMooreLookahead *bm, bool not_at_start, intptr_t offset)
BlockLabel *	label ()
NodeInfo *	info ()
BoyerMooreLookahead *	bm_info (bool not_at_start)
Zone *	zone () const
Public Member Functions inherited from dart::ZoneAllocated
	ZoneAllocated ()
void *	operator new (size_t size)
void *	operator new (size_t size, Zone *zone)
void	operator delete (void *pointer)

Additional Inherited Members
Static Public Attributes inherited from dart::RegExpNode
static constexpr intptr_t	kNodeIsTooComplexForGreedyLoops = -1
static constexpr intptr_t	kRecursionBudget = 200
static constexpr intptr_t	kMaxCopiesCodeGenerated = 10
Protected Types inherited from dart::RegExpNode
enum	LimitResult { DONE , CONTINUE }
Protected Member Functions inherited from dart::SeqRegExpNode
RegExpNode *	FilterSuccessor (intptr_t depth)
Protected Member Functions inherited from dart::RegExpNode
LimitResult	LimitVersions (RegExpCompiler *compiler, Trace *trace)
void	set_bm_info (bool not_at_start, BoyerMooreLookahead *bm)
Protected Attributes inherited from dart::RegExpNode
RegExpNode *	replacement_

Detailed Description

Definition at line 771 of file regexp.h.

Constructor & Destructor Documentation

BackReferenceNode()

dart::BackReferenceNode::BackReferenceNode ( intptr_t  start_reg, intptr_t  end_reg, RegExpFlags  flags, bool  read_backward, RegExpNode *  on_success  )

inline

Definition at line 773 of file regexp.h.

      : SeqRegExpNode(on_success),
        start_reg_(start_reg),
        end_reg_(end_reg),
        flags_(flags),
        read_backward_(read_backward) {}

Member Function Documentation

Accept()

virtual void dart::BackReferenceNode::Accept ( NodeVisitor *  visitor )

virtual

Implements dart::RegExpNode.

EatsAtLeast()

intptr_t dart::BackReferenceNode::EatsAtLeast ( intptr_t  still_to_find, intptr_t  recursion_depth, bool  not_at_start  )

virtual

Implements dart::RegExpNode.

Definition at line 1516 of file regexp.cc.

                                                           {
  if (read_backward()) return 0;
  if (budget <= 0) return 0;
  return on_success()->EatsAtLeast(still_to_find, budget - 1, not_at_start);
}

Emit()

void dart::BackReferenceNode::Emit ( RegExpCompiler *  compiler, Trace *  trace  )

virtual

Implements dart::RegExpNode.

Definition at line 3527 of file regexp.cc.

                                                                   {
  RegExpMacroAssembler* assembler = compiler->macro_assembler();
  if (!trace->is_trivial()) {
    trace->Flush(compiler, this);
    return;
  }
 
  LimitResult limit_result = LimitVersions(compiler, trace);
  if (limit_result == DONE) return;
  ASSERT(limit_result == CONTINUE);
 
  RecursionCheck rc(compiler);
 
  ASSERT(start_reg_ + 1 == end_reg_);
  if (flags_.IgnoreCase()) {
    assembler->CheckNotBackReferenceIgnoreCase(
        start_reg_, read_backward(), flags_.IsUnicode(), trace->backtrack());
  } else {
    assembler->CheckNotBackReference(start_reg_, read_backward(),
                                     trace->backtrack());
  }
  // We are going to advance backward, so we may end up at the start.
  if (read_backward()) trace->set_at_start(Trace::UNKNOWN);
 
  // Check that the back reference does not end inside a surrogate pair.
  if (flags_.IsUnicode() && !compiler->one_byte()) {
    assembler->CheckNotInSurrogatePair(trace->cp_offset(), trace->backtrack());
  }
 
  on_success()->Emit(compiler, trace);
}

end_register()

intptr_t dart::BackReferenceNode::end_register ( )

inline

Definition at line 785 of file regexp.h.

{ return end_reg_; }

FillInBMInfo()

void dart::BackReferenceNode::FillInBMInfo ( intptr_t  offset, intptr_t  budget, BoyerMooreLookahead *  bm, bool  not_at_start  )

virtual

Reimplemented from dart::SeqRegExpNode.

Definition at line 5172 of file regexp.cc.

                                                        {
  // Working out the set of characters that a backreference can match is too
  // hard, so we just say that any character can match.
  bm->SetRest(offset);
  SaveBMInfo(bm, not_at_start, offset);
}

GetQuickCheckDetails()

virtual void dart::BackReferenceNode::GetQuickCheckDetails ( QuickCheckDetails *  details, RegExpCompiler *  compiler, intptr_t  characters_filled_in, bool  not_at_start  )

inlinevirtual

Implements dart::RegExpNode.

Definition at line 791 of file regexp.h.

                                                       {
    return;
  }

read_backward()

bool dart::BackReferenceNode::read_backward ( )

inline

Definition at line 786 of file regexp.h.

{ return read_backward_; }

start_register()

intptr_t dart::BackReferenceNode::start_register ( )

inline

Definition at line 784 of file regexp.h.

{ return start_reg_; }

---

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

• third_party/dart-lang/sdk/runtime/vm/regexp.h
• third_party/dart-lang/sdk/runtime/vm/regexp.cc