| 41 | } |
| 42 | |
| 43 | Term Term::Character(wchar32 c) { Term::CharacterRange cr; cr.first.insert(Term::String(1, c)); cr.second = false; return Term(TokenTypes::Letters, cr); } |
| 44 | Term Term::Repetition(int lower, int upper) { return Term(TokenTypes::Count, RepetitionCount(lower, upper)); } |
| 45 | Term Term::Dot() { return Term(TokenTypes::Dot, DotTag()); } |
| 46 | Term Term::BeginMark() { return Term(TokenTypes::BeginMark, BeginTag()); } |