Token.cs
63 lines
| 1.7 KiB
| text/x-csharp
|
CSharpLexer
cin
|
r162 | using Implab; | ||
| using System; | ||||
| using System.Linq; | ||||
| namespace Implab.Automaton.RegularExpressions { | ||||
|
cin
|
r177 | public abstract class Token { | ||
| public abstract void Accept(IVisitor visitor); | ||||
|
cin
|
r162 | |||
|
cin
|
r178 | public Token End() { | ||
|
cin
|
r177 | return Cat(new EndToken()); | ||
|
cin
|
r162 | } | ||
|
cin
|
r177 | public Token Tag<TTag>(TTag tag) { | ||
|
cin
|
r162 | return Cat(new EndToken<TTag>(tag)); | ||
| } | ||||
|
cin
|
r177 | public Token Cat(Token right) { | ||
| return new CatToken(this, right); | ||||
|
cin
|
r162 | } | ||
|
cin
|
r177 | public Token Or(Token right) { | ||
| return new AltToken(this, right); | ||||
|
cin
|
r162 | } | ||
|
cin
|
r177 | public Token Optional() { | ||
| return Or(new EmptyToken()); | ||||
|
cin
|
r162 | } | ||
|
cin
|
r177 | public Token EClosure() { | ||
| return new StarToken(this); | ||||
|
cin
|
r162 | } | ||
|
cin
|
r177 | public Token Closure() { | ||
| return Cat(new StarToken(this)); | ||||
|
cin
|
r162 | } | ||
|
cin
|
r177 | public Token Repeat(int count) { | ||
| Token token = null; | ||||
|
cin
|
r162 | |||
| for (int i = 0; i < count; i++) | ||||
| token = token != null ? token.Cat(this) : this; | ||||
|
cin
|
r177 | return token ?? new EmptyToken(); | ||
|
cin
|
r162 | } | ||
|
cin
|
r177 | public Token Repeat(int min, int max) { | ||
|
cin
|
r162 | if (min > max || min < 1) | ||
| throw new ArgumentOutOfRangeException(); | ||||
| var token = Repeat(min); | ||||
| for (int i = min; i < max; i++) | ||||
|
cin
|
r165 | token = token.Cat( Optional() ); | ||
|
cin
|
r162 | return token; | ||
| } | ||||
|
cin
|
r177 | public static Token New(params int[] set) { | ||
|
cin
|
r162 | Safe.ArgumentNotNull(set, "set"); | ||
|
cin
|
r177 | Token token = null; | ||
|
cin
|
r162 | foreach(var c in set.Distinct()) | ||
|
cin
|
r177 | token = token == null ? new SymbolToken(c) : token.Or(new SymbolToken(c)); | ||
|
cin
|
r162 | return token; | ||
| } | ||||
| } | ||||
| } | ||||