コード例 #1
0
ファイル: expression.cpp プロジェクト: thradams/tklgen
Expression::Expression(const std::wstring& s, NfaStates& states, TransitionSet& symbols) : m_ch(0)
{
  m_LiteralString = s;

  //  m_Type = ExpressionTypeSingle;
  m_Left = nullptr;
  m_Right = nullptr;

  //(start) -a-> () -b-> ....() -c-> (end)
  //cria uma cadeia de "ands" com cada caracteres o start e end sao as extremidades

  m_StartState = states.New();
  m_EndState = 0;
  NfaState* state = m_StartState;

  for (size_t i = 0 ; i < s.size(); i++)
  {
    if (i == 0)
      m_ch = Transition(s[i]);

    NfaState* pNew = states.New();
    Transition ch(s[i]);
    symbols.insert(ch);
    AddTransition(state, ch, pNew);
    state = pNew;
  }

  m_EndState = state;
  //AddTransition(state, m_EndState);

}
コード例 #2
0
ファイル: expression.cpp プロジェクト: thradams/tklgen
Expression::Expression(std::unique_ptr<Expression> A,
                       std::unique_ptr<Expression> B,
                       ExpressionType type,
                       NfaStates& states,
                       TransitionSet& symbols)
{
  //  m_Type = type;
  m_Left = std::move(A);
  m_Right = std::move(B);

  if (type == ExpressionTypeAnd)
  {
    /// AB
    /// |----------------|       |-----------------|
    /// |        A       |   e   |        B        |
    /// | ( ) -----> ( )---------->(  ) -----> (O) |
    /// |----------------|       |-----------------|
    AddTransition(m_Left->m_EndState, m_Right->m_StartState);
    m_StartState = m_Left->m_StartState;
    m_EndState = m_Right->m_EndState;
  }
  else if (type == ExpressionTypeOr)
  {
    /// A|B
    ///           |----------------|
    ///      e    |        A       |   e
    ///   --------->( ) -----> ( )---------
    ///   |       |----------------|      |
    ///   |                               v
    ///  ( )                             (O)
    ///   |                               ^
    ///   |       |----------------|      |
    ///   |       |        B       |      |
    ///   --------->( ) -----> ( )---------
    ///     e     |----------------|   e
    m_StartState = states.New();
    m_EndState = states.New();
    AddTransition(m_StartState, m_Left->m_StartState);
    AddTransition(m_StartState, m_Right->m_StartState);
    AddTransition(m_Left->m_EndState, m_EndState);
    AddTransition(m_Right->m_EndState, m_EndState);
  }
  else if (type == ExpressionTypeRange)
  {
    m_StartState = states.New();
    m_EndState = states.New();
    AddTransition(m_StartState, m_Left->m_StartState);
    AddTransition(m_StartState, m_Right->m_StartState);

    for (wchar_t ch = m_Left->m_ch.m_ch + 1 ; ch < m_Right->m_ch.m_ch; ch++)
    {
      symbols.insert(Transition(ch));
      std::unique_ptr<Expression> pNew(new Expression(Transition(ch), states));
      AddTransition(m_StartState, pNew->m_StartState);
      AddTransition(pNew->m_EndState, m_EndState);
    }

    AddTransition(m_Left->m_EndState, m_EndState);
    AddTransition(m_Right->m_EndState, m_EndState);
  }
  else
  {
    assert(false);
  }
}