annotate Implab/Parsing/CatToken.cs @ 160:5802131432e4 v2

fixed regression: race condition in Promise DFA refactoring
author cin
date Thu, 18 Feb 2016 19:38:54 +0300
parents 97fbbf816844
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
156
97fbbf816844 Promises: SignalXXX methods merged into SignalHandler method.
cin
parents: 55
diff changeset
1 using System;
55
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
2
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
3 namespace Implab.Parsing {
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
4 public class CatToken : BinaryToken {
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
5 public CatToken(Token left, Token right)
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
6 : base(left, right) {
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
7 }
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
8
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
9 public override void Accept(IVisitor visitor) {
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
10 Safe.ArgumentNotNull(visitor, "visitor");
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
11 visitor.Visit(this);
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
12 }
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
13
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
14 public override string ToString() {
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
15 return String.Format("{0}{1}", FormatToken(Left), FormatToken(Right));
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
16 }
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
17
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
18 string FormatToken(Token token) {
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
19 return String.Format(token is AltToken ? "({0})" : "{0}", token);
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
20 }
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
21 }
c0bf853aa04f Added initial JSON support
cin
parents:
diff changeset
22 }