Gecko [ nbspublicschool.com ]

Name	Size	Permission
algorithmfwd.h	20.66 KB	-rw-r--r--
alloc_traits.h	17.66 KB	-rw-r--r--
allocator.h	6.1 KB	-rw-r--r--
atomic_base.h	24.99 KB	-rw-r--r--
atomic_lockfree_defines.h	2.2 KB	-rw-r--r--
basic_ios.h	14.76 KB	-rw-r--r--
basic_ios.tcc	5.89 KB	-rw-r--r--
basic_string.h	109.49 KB	-rw-r--r--
basic_string.tcc	38.43 KB	-rw-r--r--
boost_concept_check.h	26.41 KB	-rw-r--r--
c++0x_warning.h	1.47 KB	-rw-r--r--
char_traits.h	16.95 KB	-rw-r--r--
codecvt.h	16.23 KB	-rw-r--r--
concept_check.h	3.26 KB	-rw-r--r--
cpp_type_traits.h	9.56 KB	-rw-r--r--
cxxabi_forced.h	1.77 KB	-rw-r--r--
deque.tcc	31.91 KB	-rw-r--r--
exception_defines.h	1.6 KB	-rw-r--r--
exception_ptr.h	5.29 KB	-rw-r--r--
forward_list.h	46.72 KB	-rw-r--r--
forward_list.tcc	15.17 KB	-rw-r--r--
fstream.tcc	28.3 KB	-rw-r--r--
functexcept.h	3.04 KB	-rw-r--r--
functional_hash.h	6.05 KB	-rw-r--r--
gslice.h	5.39 KB	-rw-r--r--
gslice_array.h	7.59 KB	-rw-r--r--
hash_bytes.h	2.1 KB	-rw-r--r--
hashtable.h	61.05 KB	-rw-r--r--
hashtable_policy.h	52.72 KB	-rw-r--r--
indirect_array.h	7.68 KB	-rw-r--r--
ios_base.h	27.85 KB	-rw-r--r--
istream.tcc	30.36 KB	-rw-r--r--
list.tcc	12.2 KB	-rw-r--r--
locale_classes.h	22.45 KB	-rw-r--r--
locale_classes.tcc	8.18 KB	-rw-r--r--
locale_facets.h	88.84 KB	-rw-r--r--
locale_facets.tcc	38.02 KB	-rw-r--r--
locale_facets_nonio.h	63.51 KB	-rw-r--r--
locale_facets_nonio.tcc	40.85 KB	-rw-r--r--
localefwd.h	5.1 KB	-rw-r--r--
mask_array.h	7.41 KB	-rw-r--r--
memoryfwd.h	2.36 KB	-rw-r--r--
move.h	5.67 KB	-rw-r--r--
nested_exception.h	4.58 KB	-rw-r--r--
ostream.tcc	12.03 KB	-rw-r--r--
ostream_insert.h	3.91 KB	-rw-r--r--
postypes.h	8.02 KB	-rw-r--r--
ptr_traits.h	5.17 KB	-rw-r--r--
random.h	173.19 KB	-rw-r--r--
random.tcc	106.59 KB	-rw-r--r--
range_access.h	3.06 KB	-rw-r--r--
regex.h	83.49 KB	-rw-r--r--
regex_compiler.h	27.68 KB	-rw-r--r--
regex_constants.h	10.81 KB	-rw-r--r--
regex_cursor.h	2.7 KB	-rw-r--r--
regex_error.h	4.5 KB	-rw-r--r--
regex_grep_matcher.h	4.23 KB	-rw-r--r--
regex_grep_matcher.tcc	5.41 KB	-rw-r--r--
regex_nfa.h	10.65 KB	-rw-r--r--
regex_nfa.tcc	4.85 KB	-rw-r--r--
shared_ptr.h	18.97 KB	-rw-r--r--
shared_ptr_base.h	40.65 KB	-rw-r--r--
slice_array.h	9.12 KB	-rw-r--r--
sstream.tcc	9.27 KB	-rw-r--r--
stl_algo.h	212.55 KB	-rw-r--r--
stl_algobase.h	41.41 KB	-rw-r--r--
stl_bvector.h	28.98 KB	-rw-r--r--
stl_construct.h	5.05 KB	-rw-r--r--
stl_deque.h	66.41 KB	-rw-r--r--
stl_function.h	22.06 KB	-rw-r--r--
stl_heap.h	19.99 KB	-rw-r--r--
stl_iterator.h	35.77 KB	-rw-r--r--
stl_iterator_base_funcs.h	6.8 KB	-rw-r--r--
stl_iterator_base_types.h	8.19 KB	-rw-r--r--
stl_list.h	52.83 KB	-rw-r--r--
stl_map.h	36.78 KB	-rw-r--r--
stl_multimap.h	33.94 KB	-rw-r--r--
stl_multiset.h	28.37 KB	-rw-r--r--
stl_numeric.h	13.5 KB	-rw-r--r--
stl_pair.h	9.63 KB	-rw-r--r--
stl_queue.h	18.21 KB	-rw-r--r--
stl_raw_storage_iter.h	3.37 KB	-rw-r--r--
stl_relops.h	4.49 KB	-rw-r--r--
stl_set.h	28.61 KB	-rw-r--r--
stl_stack.h	9.65 KB	-rw-r--r--
stl_tempbuf.h	8.15 KB	-rw-r--r--
stl_tree.h	53.56 KB	-rw-r--r--
stl_uninitialized.h	19.95 KB	-rw-r--r--
stl_vector.h	48.64 KB	-rw-r--r--
stream_iterator.h	6.44 KB	-rw-r--r--
streambuf.tcc	4.81 KB	-rw-r--r--
streambuf_iterator.h	12.33 KB	-rw-r--r--
stringfwd.h	2.37 KB	-rw-r--r--
unique_ptr.h	17.19 KB	-rw-r--r--
unordered_map.h	47.76 KB	-rw-r--r--
unordered_set.h	43.25 KB	-rw-r--r--
uses_allocator.h	3.49 KB	-rw-r--r--
valarray_after.h	22.12 KB	-rw-r--r--
valarray_array.h	21.23 KB	-rw-r--r--
valarray_array.tcc	7.08 KB	-rw-r--r--
valarray_before.h	18.08 KB	-rw-r--r--
vector.tcc	25.55 KB	-rw-r--r--

Code Editor : regex_nfa.h

// class template regex -*- C++ -*-

// Copyright (C) 2010-2013 Free Software Foundation, Inc.
//
// This file is part of the GNU ISO C++ Library.  This library is free
// software; you can redistribute it and/or modify it under the
// terms of the GNU General Public License as published by the
// Free Software Foundation; either version 3, or (at your option)
// any later version.

// This library is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.

// Under Section 7 of GPL version 3, you are granted additional
// permissions described in the GCC Runtime Library Exception, version
// 3.1, as published by the Free Software Foundation.

// You should have received a copy of the GNU General Public License and
// a copy of the GCC Runtime Library Exception along with this program;
// see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
// <http://www.gnu.org/licenses/>.

/**
 *  @file bits/regex_nfa.h
 *  This is an internal header file, included by other library headers.
 *  Do not attempt to use it directly. @headername{regex}
 */

namespace std _GLIBCXX_VISIBILITY(default)
{
namespace __detail
{
_GLIBCXX_BEGIN_NAMESPACE_VERSION

/**
   * @addtogroup regex-detail
   * @{
   */

/// Base class for, um, automata.  Could be an NFA or a DFA.  Your choice.
  class _Automaton
  {
  public:
    typedef unsigned int _SizeT;

public:
    virtual
    ~_Automaton() { }

virtual _SizeT
    _M_sub_count() const = 0;

#ifdef _GLIBCXX_DEBUG
    virtual std::ostream&
    _M_dot(std::ostream& __ostr) const = 0;
#endif
  };

/// Generic shared pointer to an automaton.  
  typedef std::shared_ptr<_Automaton> _AutomatonPtr;

/// Operation codes that define the type of transitions within the base NFA
  /// that represents the regular expression.
  enum _Opcode
  {
      _S_opcode_unknown       =   0,
      _S_opcode_alternative   =   1,
      _S_opcode_subexpr_begin =   4,
      _S_opcode_subexpr_end   =   5,
      _S_opcode_match         = 100,
      _S_opcode_accept        = 255
  };

/// Provides a generic facade for a templated match_results.
  struct _Results
  {
    virtual void _M_set_pos(int __i, int __j, const _PatternCursor& __p) = 0;
    virtual void _M_set_matched(int __i, bool __is_matched) = 0;
  };

/// Tags current state (for subexpr begin/end).
  typedef std::function<void (const _PatternCursor&, _Results&)> _Tagger;

/// Start state tag.
  template<typename _FwdIterT, typename _TraitsT>
    struct _StartTagger
    {
      explicit
      _StartTagger(int __i)
      : _M_index(__i)
      { }

void
      operator()(const _PatternCursor& __pc, _Results& __r)
      { __r._M_set_pos(_M_index, 0, __pc); }

int       _M_index;
    };

/// End state tag.
  template<typename _FwdIterT, typename _TraitsT>
    struct _EndTagger
    {
      explicit
      _EndTagger(int __i)
      : _M_index(__i)
      { }

void
      operator()(const _PatternCursor& __pc, _Results& __r)
      { __r._M_set_pos(_M_index, 1, __pc); }

int       _M_index;
      _FwdIterT _M_pos;
    };

/// Indicates if current state matches cursor current.
  typedef std::function<bool (const _PatternCursor&)> _Matcher;

/// Matches any character
  inline bool
  _AnyMatcher(const _PatternCursor&)
  { return true; }

/// Matches a single character
  template<typename _InIterT, typename _TraitsT>
    struct _CharMatcher
    {
      typedef typename _TraitsT::char_type char_type;

explicit
      _CharMatcher(char_type __c, const _TraitsT& __t = _TraitsT())
      : _M_traits(__t), _M_c(_M_traits.translate(__c))
      { }

bool
      operator()(const _PatternCursor& __pc) const
      {
	typedef const _SpecializedCursor<_InIterT>& _CursorT;
	_CursorT __c = static_cast<_CursorT>(__pc);
	return _M_traits.translate(__c._M_current()) == _M_c;
      }

const _TraitsT& _M_traits;
      char_type       _M_c;
    };

/// Matches a character range (bracket expression)
  template<typename _InIterT, typename _TraitsT>
    struct _RangeMatcher
    {
      typedef typename _TraitsT::char_type _CharT;
      typedef std::basic_string<_CharT>    _StringT;

explicit
      _RangeMatcher(bool __is_non_matching, const _TraitsT& __t = _TraitsT())
      : _M_traits(__t), _M_is_non_matching(__is_non_matching)
      { }

bool
      operator()(const _PatternCursor& __pc) const
      {
	typedef const _SpecializedCursor<_InIterT>& _CursorT;
	_CursorT __c = static_cast<_CursorT>(__pc);
	return true;
      }

void
      _M_add_char(_CharT __c)
      { }

void
      _M_add_collating_element(const _StringT& __s)
      { }

void
      _M_add_equivalence_class(const _StringT& __s)
      { }

void
      _M_add_character_class(const _StringT& __s)
      { }

void
      _M_make_range()
      { }

const _TraitsT& _M_traits;
      bool            _M_is_non_matching;
    };

/// Identifies a state in the NFA.
  typedef int _StateIdT;

/// The special case in which a state identifier is not an index.
  static const _StateIdT _S_invalid_state_id  = -1;

/**
   * @brief struct _State
   *
   * An individual state in an NFA
   *
   * In this case a "state" is an entry in the NFA definition coupled
   * with its outgoing transition(s).  All states have a single outgoing
   * transition, except for accepting states (which have no outgoing
   * transitions) and alt states, which have two outgoing transitions.
   */
  struct _State
  {
    typedef int  _OpcodeT;

_OpcodeT     _M_opcode;    // type of outgoing transition
    _StateIdT    _M_next;      // outgoing transition
    _StateIdT    _M_alt;       // for _S_opcode_alternative
    unsigned int _M_subexpr;   // for _S_opcode_subexpr_*
    _Tagger      _M_tagger;    // for _S_opcode_subexpr_*
    _Matcher     _M_matches;   // for _S_opcode_match

explicit _State(_OpcodeT __opcode)
    : _M_opcode(__opcode), _M_next(_S_invalid_state_id)
    { }

_State(const _Matcher& __m)
    : _M_opcode(_S_opcode_match), _M_next(_S_invalid_state_id), _M_matches(__m)
    { }

_State(_OpcodeT __opcode, unsigned int __s, const _Tagger& __t)
    : _M_opcode(__opcode), _M_next(_S_invalid_state_id), _M_subexpr(__s),
      _M_tagger(__t)
    { }

_State(_StateIdT __next, _StateIdT __alt)
    : _M_opcode(_S_opcode_alternative), _M_next(__next), _M_alt(__alt)
    { }

#ifdef _GLIBCXX_DEBUG
    std::ostream&
    _M_print(std::ostream& ostr) const;

// Prints graphviz dot commands for state.
    std::ostream&
    _M_dot(std::ostream& __ostr, _StateIdT __id) const;
#endif
  };

/// The Grep Matcher works on sets of states.  Here are sets of states.
  typedef std::set<_StateIdT> _StateSet;

/**
   * @brief struct _Nfa
   *
   * A collection of all states making up an NFA.
   *
   * An NFA is a 4-tuple M = (K, S, s, F), where
   *    K is a finite set of states,
   *    S is the alphabet of the NFA,
   *    s is the initial state,
   *    F is a set of final (accepting) states.
   *
   * This NFA class is templated on S, a type that will hold values of the
   * underlying alphabet (without regard to semantics of that alphabet).  The
   * other elements of the tuple are generated during construction of the NFA
   * and are available through accessor member functions.
   */
  class _Nfa
  : public _Automaton, public std::vector<_State>
  {
  public:
    typedef _State                              _StateT;
    typedef unsigned int                        _SizeT;
    typedef regex_constants::syntax_option_type _FlagT;

_Nfa(_FlagT __f)
    : _M_flags(__f), _M_start_state(0), _M_subexpr_count(0)
    { }

~_Nfa()
    { }

_FlagT
    _M_options() const
    { return _M_flags; }

_StateIdT
    _M_start() const
    { return _M_start_state; }

const _StateSet&
    _M_final_states() const
    { return _M_accepting_states; }

_SizeT
    _M_sub_count() const
    { return _M_subexpr_count; }

_StateIdT
    _M_insert_accept()
    {
      this->push_back(_StateT(_S_opcode_accept));
      _M_accepting_states.insert(this->size()-1);
      return this->size()-1;
    }

_StateIdT
    _M_insert_alt(_StateIdT __next, _StateIdT __alt)
    {
      this->push_back(_StateT(__next, __alt));
      return this->size()-1;
    }

_StateIdT
    _M_insert_matcher(_Matcher __m)
    {
      this->push_back(_StateT(__m));
      return this->size()-1;
    }

_StateIdT
    _M_insert_subexpr_begin(const _Tagger& __t)
    {
      this->push_back(_StateT(_S_opcode_subexpr_begin, _M_subexpr_count++,
			      __t));
      return this->size()-1;
    }

_StateIdT 
    _M_insert_subexpr_end(unsigned int __i, const _Tagger& __t)
    {
      this->push_back(_StateT(_S_opcode_subexpr_end, __i, __t));
      return this->size()-1;
    }

#ifdef _GLIBCXX_DEBUG
    std::ostream&
    _M_dot(std::ostream& __ostr) const;
#endif

private:
    _FlagT     _M_flags;
    _StateIdT  _M_start_state;
    _StateSet  _M_accepting_states;
    _SizeT     _M_subexpr_count;
  };

/// Describes a sequence of one or more %_State, its current start
  /// and end(s).  This structure contains fragments of an NFA during
  /// construction.
  class _StateSeq
  {
  public:
    // Constructs a single-node sequence
    _StateSeq(_Nfa& __ss, _StateIdT __s, _StateIdT __e = _S_invalid_state_id)
    : _M_nfa(__ss), _M_start(__s), _M_end1(__s), _M_end2(__e)
    { }
    // Constructs a split sequence from two other sequencces
    _StateSeq(const _StateSeq& __e1, const _StateSeq& __e2)
    : _M_nfa(__e1._M_nfa),
      _M_start(_M_nfa._M_insert_alt(__e1._M_start, __e2._M_start)),
      _M_end1(__e1._M_end1), _M_end2(__e2._M_end1)
    { }

// Constructs a split sequence from a single sequence
    _StateSeq(const _StateSeq& __e, _StateIdT __id)
    : _M_nfa(__e._M_nfa),
      _M_start(_M_nfa._M_insert_alt(__id, __e._M_start)),
      _M_end1(__id), _M_end2(__e._M_end1)
    { }

// Constructs a copy of a %_StateSeq
    _StateSeq(const _StateSeq& __rhs)
    : _M_nfa(__rhs._M_nfa), _M_start(__rhs._M_start),
      _M_end1(__rhs._M_end1), _M_end2(__rhs._M_end2)
    { }

_StateSeq& operator=(const _StateSeq& __rhs);

_StateIdT
    _M_front() const
    { return _M_start; }

// Extends a sequence by one.
    void
    _M_push_back(_StateIdT __id);

// Extends and maybe joins a sequence.
    void
    _M_append(_StateIdT __id);

void
    _M_append(_StateSeq& __rhs);

// Clones an entire sequence.
    _StateIdT
    _M_clone();

private:
    _Nfa&     _M_nfa;
    _StateIdT _M_start;
    _StateIdT _M_end1;
    _StateIdT _M_end2;

};

//@} regex-detail
_GLIBCXX_END_NAMESPACE_VERSION
} // namespace __detail
} // namespace std

#include <bits/regex_nfa.tcc>

${this.title}

Code Editor : regex_nfa.h