public void Parser_BinaryExpression_HonorsPrecedences(SyntaxKind op1, SyntaxKind op2)
{
var op1Precedence = SyntaxInfo.GetBinaryOperatorPrecedence(op1);
var op2Precedence = SyntaxInfo.GetBinaryOperatorPrecedence(op2);
var op1Text = SyntaxInfo.GetText(op1);
var op2Text = SyntaxInfo.GetText(op2);
Debug.Assert(op1Text != null);
Debug.Assert(op2Text != null);
var text = $"a {op1Text} b {op2Text} c";
var expression = ParseExpression(text);
using var e = new AssertingEnumerator(expression);
if (op1Precedence >= op2Precedence)
{
// op2
// / \
// op1 c
// / \
// a b
e.AssertNode(SyntaxKind.BinaryExpression);
e.AssertNode(SyntaxKind.BinaryExpression);
e.AssertNode(SyntaxKind.NameExpression);
e.AssertToken(SyntaxKind.Identifier, "a");
e.AssertToken(op1, op1Text);
e.AssertNode(SyntaxKind.NameExpression);
e.AssertToken(SyntaxKind.Identifier, "b");
e.AssertToken(op2, op2Text);
e.AssertNode(SyntaxKind.NameExpression);
e.AssertToken(SyntaxKind.Identifier, "c");
}
else
{
// op1
// / \
// a op2
// / \
// b c
e.AssertNode(SyntaxKind.BinaryExpression);
e.AssertNode(SyntaxKind.NameExpression);
e.AssertToken(SyntaxKind.Identifier, "a");
e.AssertToken(op1, op1Text);
e.AssertNode(SyntaxKind.BinaryExpression);
e.AssertNode(SyntaxKind.NameExpression);
e.AssertToken(SyntaxKind.Identifier, "b");
e.AssertToken(op2, op2Text);
e.AssertNode(SyntaxKind.NameExpression);
e.AssertToken(SyntaxKind.Identifier, "c");
}
}
public void HonorPrecedences_GivenBinaryExpression(SyntaxKind op1, SyntaxKind op2)
{
var op1Precedence = op1.GetBinaryOperatorPrecedence();
var op2Precedence = op2.GetBinaryOperatorPrecedence();
var op1Text = op1.GetText();
var op2Text = op2.GetText();
var text = $"a {op1Text} b {op2Text} c";
var expressionSyntax = ParseExpression(text);
if (op1Precedence >= op2Precedence)
{
// op2
// / \
// op1 c
// / \
// a b
using (var asserter = new AssertingEnumerator(expressionSyntax))
{
asserter.AssertNode(SyntaxKind.BinaryExpression);
asserter.AssertNode(SyntaxKind.BinaryExpression);
asserter.AssertNode(SyntaxKind.NameExpression);
asserter.AssertToken(SyntaxKind.IdentifierToken, "a");
asserter.AssertToken(op1, op1Text);
asserter.AssertNode(SyntaxKind.NameExpression);
asserter.AssertToken(SyntaxKind.IdentifierToken, "b");
asserter.AssertToken(op2, op2Text);
asserter.AssertNode(SyntaxKind.NameExpression);
asserter.AssertToken(SyntaxKind.IdentifierToken, "c");
}
}
else
{
// op1
// / \
// a op2
// / \
// b c
using (var asserter = new AssertingEnumerator(expressionSyntax))
{
asserter.AssertNode(SyntaxKind.BinaryExpression);
asserter.AssertNode(SyntaxKind.NameExpression);
asserter.AssertToken(SyntaxKind.IdentifierToken, "a");
asserter.AssertToken(op1, op1Text);
asserter.AssertNode(SyntaxKind.BinaryExpression);
asserter.AssertNode(SyntaxKind.NameExpression);
asserter.AssertToken(SyntaxKind.IdentifierToken, "b");
asserter.AssertToken(op2, op2Text);
asserter.AssertNode(SyntaxKind.NameExpression);
asserter.AssertToken(SyntaxKind.IdentifierToken, "c");
}
}
}
public void HonorPrecedences_GivenUnaryExpression(SyntaxKind unaaryKind, SyntaxKind binaryKind)
{
var unaryPrecedence = unaaryKind.GetUnaryOperatorPrecedence();
var binaryPrecedence = binaryKind.GetBinaryOperatorPrecedence();
var unaryText = unaaryKind.GetText();
var binaryText = binaryKind.GetText();
var text = $"{unaryText} a {binaryText} b";
var expressionSyntax = ParseExpression(text);
if (unaryPrecedence >= binaryPrecedence)
{
// op2
// / \
// op1 b
// |
// a
using (var asserter = new AssertingEnumerator(expressionSyntax))
{
asserter.AssertNode(SyntaxKind.BinaryExpression);
asserter.AssertNode(SyntaxKind.UnaryExpression);
asserter.AssertToken(unaaryKind, unaryText);
asserter.AssertNode(SyntaxKind.NameExpression);
asserter.AssertToken(SyntaxKind.IdentifierToken, "a");
asserter.AssertToken(binaryKind, binaryText);
asserter.AssertNode(SyntaxKind.NameExpression);
asserter.AssertToken(SyntaxKind.IdentifierToken, "b");
}
}
else
{
// op2
// |
// op1
// / \
// a b
using (var asserter = new AssertingEnumerator(expressionSyntax))
{
asserter.AssertNode(SyntaxKind.UnaryExpression);
asserter.AssertNode(SyntaxKind.BinaryExpression);
asserter.AssertToken(unaaryKind, unaryText);
asserter.AssertNode(SyntaxKind.NameExpression);
asserter.AssertToken(SyntaxKind.IdentifierToken, "a");
asserter.AssertToken(binaryKind, binaryText);
asserter.AssertNode(SyntaxKind.NameExpression);
asserter.AssertToken(SyntaxKind.IdentifierToken, "b");
}
}
}
public void ParseNestedNonUnitBlockExpression()
{
var text = AnnotatedText.Parse(
@"
{
val x = 5
5
}"
);
var tree = SyntaxTree.Parse(text.Text);
Assert.Empty(tree.Diagnostics);
var expression = tree.Root;
using var e = new AssertingEnumerator(expression);
//└──ExpressionStatement
// ├──BlockExpression
// │ ├──OpenBraceToken
// │ ├──BlockExpression
// │ │ ├──OpenBraceToken
// │ │ ├──UnitExpression
// │ │ │ ├──CloseBraceToken
// │ │ │ └──CloseBraceToken
// │ │ └──CloseBraceToken
// │ └──CloseBraceToken
// └──NewLineToken
e.AssertNode(SyntaxKind.CompilationUnit);
e.AssertNode(SyntaxKind.GlobalStatement);
e.AssertNode(SyntaxKind.ExpressionStatement);
e.AssertNode(SyntaxKind.BlockExpression);
e.AssertToken(SyntaxKind.OpenBraceToken, "{");
e.AssertTrivia(SyntaxKind.EndOfLineTrivia);
e.AssertNode(SyntaxKind.VariableDeclarationStatement);
e.AssertTrivia(SyntaxKind.WhitespaceTrivia, " ");
e.AssertToken(SyntaxKind.ValKeyword, "val");
e.AssertTrivia(SyntaxKind.WhitespaceTrivia, " ");
e.AssertToken(SyntaxKind.IdentifierToken, "x");
e.AssertTrivia(SyntaxKind.WhitespaceTrivia, " ");
e.AssertNode(SyntaxKind.Initializer);
e.AssertToken(SyntaxKind.EqualsToken, "=");
e.AssertTrivia(SyntaxKind.WhitespaceTrivia, " ");
e.AssertNode(SyntaxKind.LiteralExpression);
e.AssertToken(SyntaxKind.NumberToken, "5");
e.AssertTrivia(SyntaxKind.EndOfLineTrivia);
e.AssertNode(SyntaxKind.LiteralExpression);
e.AssertTrivia(SyntaxKind.WhitespaceTrivia, " ");
e.AssertToken(SyntaxKind.NumberToken, "5");
e.AssertTrivia(SyntaxKind.EndOfLineTrivia);
e.AssertToken(SyntaxKind.CloseBraceToken, "}");
e.AssertToken(SyntaxKind.EndOfInputToken, "");
}
public void ParseZeroString()
{
var text = AnnotatedText.Parse("\"\0\"");
var tree = SyntaxTree.Parse(text.Text);
Assert.Empty(tree.Diagnostics);
var expression = tree.Root;
using var e = new AssertingEnumerator(expression);
e.AssertNode(SyntaxKind.CompilationUnit);
e.AssertNode(SyntaxKind.GlobalStatement);
e.AssertNode(SyntaxKind.ExpressionStatement);
e.AssertNode(SyntaxKind.LiteralExpression);
e.AssertToken(SyntaxKind.StringToken, "\"\0\"");
e.AssertToken(SyntaxKind.EndOfInputToken, "");
}
public void ParseForExpressionWithLineBreaks()
{
var text = AnnotatedText.Parse(
@"
for (x <- 0 to 5)
x
"
);
var tree = SyntaxTree.Parse(text.Text);
Assert.Empty(tree.Diagnostics);
var expression = tree.Root;
using var e = new AssertingEnumerator(expression);
//└──CompilationUnit
// ├──ExpressionStatement
// │ ├──ForExpression
// │ │ ├──ForKeyword
// │ │ ├──OpenParenToken
// │ │ ├──NameExpression
// │ │ │ └──IdentifierToken
// │ │ ├──LessThanDashToken
// │ │ ├──LiteralExpression
// │ │ │ └──NumberToken 0
// │ │ ├──ToKeyword
// │ │ ├──LiteralExpression
// │ │ │ └──NumberToken 5
// │ │ ├──CloseParenToken
// │ │ └──NameExpression
// │ │ └──IdentifierToken
// │ └──NewLineToken
// └──EndOfInputToken
e.AssertNode(SyntaxKind.CompilationUnit);
e.AssertNode(SyntaxKind.GlobalStatement);
e.AssertNode(SyntaxKind.ExpressionStatement);
e.AssertNode(SyntaxKind.ForExpression);
e.AssertToken(SyntaxKind.ForKeyword, "for");
e.AssertTrivia(SyntaxKind.WhitespaceTrivia, " ");
e.AssertToken(SyntaxKind.OpenParenToken, "(");
e.AssertToken(SyntaxKind.IdentifierToken, "x");
e.AssertTrivia(SyntaxKind.WhitespaceTrivia, " ");
e.AssertToken(SyntaxKind.LessThanDashToken, "<-");
e.AssertTrivia(SyntaxKind.WhitespaceTrivia, " ");
e.AssertNode(SyntaxKind.LiteralExpression);
e.AssertToken(SyntaxKind.NumberToken, "0");
e.AssertTrivia(SyntaxKind.WhitespaceTrivia, " ");
e.AssertToken(SyntaxKind.ToKeyword, "to");
e.AssertTrivia(SyntaxKind.WhitespaceTrivia, " ");
e.AssertNode(SyntaxKind.LiteralExpression);
e.AssertToken(SyntaxKind.NumberToken, "5");
e.AssertToken(SyntaxKind.CloseParenToken, ")");
e.AssertTrivia(SyntaxKind.EndOfLineTrivia);
e.AssertNode(SyntaxKind.IdentifierName);
e.AssertTrivia(SyntaxKind.WhitespaceTrivia, " ");
e.AssertToken(SyntaxKind.IdentifierToken, "x");
e.AssertToken(SyntaxKind.EndOfInputToken, "");
}
public void ParseBinaryExpressionWithLineBreakInsideGroup()
{
var text = AnnotatedText.Parse(
@"
(false
|| (false
|| true))
"
);
var tree = SyntaxTree.Parse(text.Text);
Assert.Empty(tree.Diagnostics);
var expression = tree.Root;
using var e = new AssertingEnumerator(expression);
e.AssertNode(SyntaxKind.CompilationUnit);
e.AssertNode(SyntaxKind.GlobalStatement);
e.AssertNode(SyntaxKind.ExpressionStatement);
e.AssertNode(SyntaxKind.GroupExpression);
e.AssertToken(SyntaxKind.OpenParenToken, "(");
e.AssertNode(SyntaxKind.BinaryExpression);
e.AssertNode(SyntaxKind.LiteralExpression);
e.AssertToken(SyntaxKind.FalseKeyword, "false");
e.AssertTrivia(SyntaxKind.EndOfLineTrivia);
e.AssertTrivia(SyntaxKind.WhitespaceTrivia, " ");
e.AssertToken(SyntaxKind.PipePipeToken, "||");
e.AssertTrivia(SyntaxKind.WhitespaceTrivia, " ");
e.AssertNode(SyntaxKind.GroupExpression);
e.AssertToken(SyntaxKind.OpenParenToken, "(");
e.AssertNode(SyntaxKind.BinaryExpression);
e.AssertNode(SyntaxKind.LiteralExpression);
e.AssertToken(SyntaxKind.FalseKeyword, "false");
e.AssertTrivia(SyntaxKind.EndOfLineTrivia);
e.AssertTrivia(SyntaxKind.WhitespaceTrivia, " ");
e.AssertToken(SyntaxKind.PipePipeToken, "||");
e.AssertTrivia(SyntaxKind.WhitespaceTrivia, " ");
e.AssertNode(SyntaxKind.LiteralExpression);
e.AssertToken(SyntaxKind.TrueKeyword, "true");
e.AssertToken(SyntaxKind.CloseParenToken, ")");
e.AssertToken(SyntaxKind.CloseParenToken, ")");
e.AssertToken(SyntaxKind.EndOfInputToken, "");
}
public void ParseUnaryExpressionAfterLineBreak()
{
var text = AnnotatedText.Parse(
@"
{
val x = 3
-x
}
"
);
var tree = SyntaxTree.Parse(text.Text);
Assert.Empty(tree.Diagnostics);
var expression = tree.Root;
using var e = new AssertingEnumerator(expression);
e.AssertNode(SyntaxKind.CompilationUnit);
e.AssertNode(SyntaxKind.GlobalStatement);
e.AssertNode(SyntaxKind.ExpressionStatement);
e.AssertNode(SyntaxKind.BlockExpression);
e.AssertToken(SyntaxKind.OpenBraceToken, "{");
e.AssertTrivia(SyntaxKind.EndOfLineTrivia);
e.AssertNode(SyntaxKind.VariableDeclarationStatement);
e.AssertTrivia(SyntaxKind.WhitespaceTrivia, " ");
e.AssertToken(SyntaxKind.ValKeyword, "val");
e.AssertTrivia(SyntaxKind.WhitespaceTrivia, " ");
e.AssertToken(SyntaxKind.IdentifierToken, "x");
e.AssertTrivia(SyntaxKind.WhitespaceTrivia, " ");
e.AssertNode(SyntaxKind.Initializer);
e.AssertToken(SyntaxKind.EqualsToken, "=");
e.AssertTrivia(SyntaxKind.WhitespaceTrivia, " ");
e.AssertNode(SyntaxKind.LiteralExpression);
e.AssertToken(SyntaxKind.NumberToken, "3");
e.AssertTrivia(SyntaxKind.EndOfLineTrivia);
e.AssertNode(SyntaxKind.UnaryExpression);
e.AssertTrivia(SyntaxKind.WhitespaceTrivia, " ");
e.AssertToken(SyntaxKind.DashToken, "-");
e.AssertNode(SyntaxKind.IdentifierName);
e.AssertToken(SyntaxKind.IdentifierToken, "x");
e.AssertTrivia(SyntaxKind.EndOfLineTrivia);
e.AssertToken(SyntaxKind.CloseBraceToken, "}");
e.AssertToken(SyntaxKind.EndOfInputToken, "");
}
public void ParseNestedBlockExpression()
{
var text = "{{}}";
var expression = SyntaxTree.Parse(text).Root;
using var e = new AssertingEnumerator(expression);
//└──ExpressionStatement
// ├──BlockExpression
// │ ├──OpenBraceToken
// │ ├──BlockExpression
// │ │ ├──OpenBraceToken
// │ │ ├──UnitExpression
// │ │ │ ├──CloseBraceToken
// │ │ │ └──CloseBraceToken
// │ │ └──CloseBraceToken
// │ └──CloseBraceToken
// └──NewLineToken
e.AssertNode(SyntaxKind.CompilationUnit);
e.AssertNode(SyntaxKind.GlobalStatement);
e.AssertNode(SyntaxKind.ExpressionStatement);
e.AssertNode(SyntaxKind.BlockExpression);
e.AssertToken(SyntaxKind.OpenBraceToken, "{");
e.AssertNode(SyntaxKind.BlockExpression);
e.AssertToken(SyntaxKind.OpenBraceToken, "{");
e.AssertNode(SyntaxKind.UnitExpression);
e.AssertToken(SyntaxKind.OpenParenToken, "(");
e.AssertToken(SyntaxKind.CloseParenToken, ")");
e.AssertToken(SyntaxKind.CloseBraceToken, "}");
e.AssertToken(SyntaxKind.CloseBraceToken, "}");
e.AssertToken(SyntaxKind.EndOfInputToken, "");
}
public void Parser_UnaryExpression_HonorsPrecedences(SyntaxKind unaryKind, SyntaxKind binaryKind)
{
var unaryPrecedence = SyntaxInfo.GetUnaryOperatorPrecedence(unaryKind);
var binaryPrecedence = SyntaxInfo.GetBinaryOperatorPrecedence(binaryKind);
var unaryText = SyntaxInfo.GetText(unaryKind);
var binaryText = SyntaxInfo.GetText(binaryKind);
Debug.Assert(unaryText != null);
Debug.Assert(binaryText != null);
var text = $"{unaryText} a {binaryText} b";
var expression = ParseExpression(text);
using var e = new AssertingEnumerator(expression);
if (unaryPrecedence >= binaryPrecedence)
{
// binary
// / \
// unary b
// |
// a
e.AssertNode(SyntaxKind.BinaryExpression);
e.AssertNode(SyntaxKind.UnaryExpression);
e.AssertToken(unaryKind, unaryText);
e.AssertNode(SyntaxKind.NameExpression);
e.AssertToken(SyntaxKind.Identifier, "a");
e.AssertToken(binaryKind, binaryText);
e.AssertNode(SyntaxKind.NameExpression);
e.AssertToken(SyntaxKind.Identifier, "b");
}
else
{
// unary
// |
// binary
// / \
// a b
e.AssertNode(SyntaxKind.UnaryExpression);
e.AssertToken(unaryKind, unaryText);
e.AssertNode(SyntaxKind.BinaryExpression);
e.AssertNode(SyntaxKind.NameExpression);
e.AssertToken(SyntaxKind.Identifier, "a");
e.AssertToken(binaryKind, binaryText);
e.AssertNode(SyntaxKind.NameExpression);
e.AssertToken(SyntaxKind.Identifier, "b");
}
}
public void ParseSingleLineBlockExpression()
{
var text = @"{ x }";
var tree = SyntaxTree.Parse(text);
Assert.Empty(tree.Diagnostics);
var expression = tree.Root;
using var e = new AssertingEnumerator(expression);
e.AssertNode(SyntaxKind.CompilationUnit);
e.AssertNode(SyntaxKind.GlobalStatement);
e.AssertNode(SyntaxKind.ExpressionStatement);
e.AssertNode(SyntaxKind.BlockExpression);
e.AssertToken(SyntaxKind.OpenBraceToken, "{");
e.AssertTrivia(SyntaxKind.WhitespaceTrivia, " ");
e.AssertNode(SyntaxKind.IdentifierName);
e.AssertToken(SyntaxKind.IdentifierToken, "x");
e.AssertTrivia(SyntaxKind.WhitespaceTrivia, " ");
e.AssertToken(SyntaxKind.CloseBraceToken, "}");
e.AssertToken(SyntaxKind.EndOfInputToken, "");
}
public void ParseLineCommentOnly()
{
var text = @"// taco";
var tree = SyntaxTree.Parse(text);
Assert.Empty(tree.Diagnostics);
var expression = tree.Root;
using var e = new AssertingEnumerator(expression);
e.AssertNode(SyntaxKind.CompilationUnit);
e.AssertTrivia(SyntaxKind.LineCommentTrivia, "// taco");
e.AssertToken(SyntaxKind.EndOfInputToken, "");
}
public void UnaryExpressionHonorsPrecedences(
UnaryOperatorSyntaxKind op1,
BinaryOperatorSyntaxKind op2
)
{
var unaryText = SyntaxFacts.GetText(op1.Kind);
var binaryText = SyntaxFacts.GetText(op2.Kind);
Debug.Assert(unaryText != null);
Debug.Assert(binaryText != null);
var text = $"{unaryText} a {binaryText} b";
var expression = SyntaxTree.Parse(text).Root;
using var e = new AssertingEnumerator(expression);
// └──BinaryExpression
// ├──UnaryExpression
// │ ├──MinusToken
// │ └──NameExpression
// │ └──IdentifierToken
// ├──PlusToken
// └──NameExpression
// └──IdentifierToken
e.AssertNode(SyntaxKind.CompilationUnit);
e.AssertNode(SyntaxKind.GlobalStatement);
e.AssertNode(SyntaxKind.ExpressionStatement);
e.AssertNode(SyntaxKind.BinaryExpression);
e.AssertNode(SyntaxKind.UnaryExpression);
e.AssertToken(op1.Kind, unaryText);
e.AssertTrivia(SyntaxKind.WhitespaceTrivia, " ");
e.AssertNode(SyntaxKind.IdentifierName);
e.AssertToken(SyntaxKind.IdentifierToken, "a");
e.AssertTrivia(SyntaxKind.WhitespaceTrivia, " ");
e.AssertToken(op2.Kind, binaryText);
e.AssertTrivia(SyntaxKind.WhitespaceTrivia, " ");
e.AssertNode(SyntaxKind.IdentifierName);
e.AssertToken(SyntaxKind.IdentifierToken, "b");
e.AssertToken(SyntaxKind.EndOfInputToken, "");
}
public void ParseWhileExpression()
{
var text = AnnotatedText.Parse(
@"
{
while ( true ) 1
}"
);
var tree = SyntaxTree.Parse(text.Text);
Assert.Empty(tree.Diagnostics);
var expression = tree.Root;
using var e = new AssertingEnumerator(expression);
e.AssertNode(SyntaxKind.CompilationUnit);
e.AssertNode(SyntaxKind.GlobalStatement);
e.AssertNode(SyntaxKind.ExpressionStatement);
e.AssertNode(SyntaxKind.BlockExpression);
e.AssertToken(SyntaxKind.OpenBraceToken, "{");
e.AssertTrivia(SyntaxKind.EndOfLineTrivia);
e.AssertNode(SyntaxKind.WhileExpression);
e.AssertTrivia(SyntaxKind.WhitespaceTrivia, " ");
e.AssertToken(SyntaxKind.WhileKeyword, "while");
e.AssertTrivia(SyntaxKind.WhitespaceTrivia, " ");
e.AssertToken(SyntaxKind.OpenParenToken, "(");
e.AssertTrivia(SyntaxKind.WhitespaceTrivia, " ");
e.AssertNode(SyntaxKind.LiteralExpression);
e.AssertToken(SyntaxKind.TrueKeyword, "true");
e.AssertTrivia(SyntaxKind.WhitespaceTrivia, " ");
e.AssertToken(SyntaxKind.CloseParenToken, ")");
e.AssertTrivia(SyntaxKind.WhitespaceTrivia, " ");
e.AssertNode(SyntaxKind.LiteralExpression);
e.AssertToken(SyntaxKind.NumberToken, "1");
e.AssertTrivia(SyntaxKind.EndOfLineTrivia);
e.AssertToken(SyntaxKind.CloseBraceToken, "}");
e.AssertToken(SyntaxKind.EndOfInputToken, "");
}
public void ParseUsingDirectives()
{
var text = AnnotatedText.Parse(
@"
using System
using System.Collections.Immutable
using System.Diagnostics
"
);
var tree = SyntaxTree.Parse(text.Text);
Assert.Empty(tree.Diagnostics);
var expression = tree.Root;
using var e = new AssertingEnumerator(expression);
e.AssertNode(SyntaxKind.CompilationUnit);
e.AssertNode(SyntaxKind.UsingDirective);
e.AssertToken(SyntaxKind.UsingKeyword, "using");
e.AssertTrivia(SyntaxKind.WhitespaceTrivia);
e.AssertNode(SyntaxKind.IdentifierName);
e.AssertToken(SyntaxKind.IdentifierToken, "System");
e.AssertTrivia(SyntaxKind.EndOfLineTrivia);
e.AssertNode(SyntaxKind.UsingDirective);
e.AssertToken(SyntaxKind.UsingKeyword, "using");
e.AssertTrivia(SyntaxKind.WhitespaceTrivia);
e.AssertNode(SyntaxKind.QualifiedName);
e.AssertNode(SyntaxKind.QualifiedName);
e.AssertNode(SyntaxKind.IdentifierName);
e.AssertToken(SyntaxKind.IdentifierToken, "System");
e.AssertToken(SyntaxKind.DotToken, ".");
e.AssertNode(SyntaxKind.IdentifierName);
e.AssertToken(SyntaxKind.IdentifierToken, "Collections");
e.AssertToken(SyntaxKind.DotToken, ".");
e.AssertNode(SyntaxKind.IdentifierName);
e.AssertToken(SyntaxKind.IdentifierToken, "Immutable");
e.AssertTrivia(SyntaxKind.EndOfLineTrivia);
e.AssertNode(SyntaxKind.UsingDirective);
e.AssertToken(SyntaxKind.UsingKeyword, "using");
e.AssertTrivia(SyntaxKind.WhitespaceTrivia);
e.AssertNode(SyntaxKind.QualifiedName);
e.AssertNode(SyntaxKind.IdentifierName);
e.AssertToken(SyntaxKind.IdentifierToken, "System");
e.AssertToken(SyntaxKind.DotToken, ".");
e.AssertNode(SyntaxKind.IdentifierName);
e.AssertToken(SyntaxKind.IdentifierToken, "Diagnostics");
e.AssertToken(SyntaxKind.EndOfInputToken, "");
}
public void BinaryExpressionHonorsPrecedences(
BinaryOperatorSyntaxKind op1,
BinaryOperatorSyntaxKind op2
)
{
var op1Precedence = op1.Kind.GetBinaryOperatorPrecedence();
var op2Precedence = op2.Kind.GetBinaryOperatorPrecedence();
var op1Text = SyntaxFacts.GetText(op1.Kind) ?? throw new Exception("Invalid operator");
var op2Text = SyntaxFacts.GetText(op2.Kind) ?? throw new Exception("Invalid operator");
var text = $"a {op1Text} b {op2Text} c";
var expression = SyntaxTree.Parse(text).Root;
if (op1Precedence >= op2Precedence)
{
using var e = new AssertingEnumerator(expression);
// └──BinaryExpression
// ├──BinaryExpression
// │ ├──NameExpression
// │ │ └──IdentifierToken
// │ ├──PlusToken
// │ └──NameExpression
// │ └──IdentifierToken
// ├──PlusToken
// └──NameExpression
// └──IdentifierToken
e.AssertNode(SyntaxKind.CompilationUnit);
e.AssertNode(SyntaxKind.GlobalStatement);
e.AssertNode(SyntaxKind.ExpressionStatement);
e.AssertNode(SyntaxKind.BinaryExpression);
e.AssertNode(SyntaxKind.BinaryExpression);
e.AssertNode(SyntaxKind.IdentifierName);
e.AssertToken(SyntaxKind.IdentifierToken, "a");
e.AssertTrivia(SyntaxKind.WhitespaceTrivia, " ");
e.AssertToken(op1.Kind, op1Text);
e.AssertTrivia(SyntaxKind.WhitespaceTrivia, " ");
e.AssertNode(SyntaxKind.IdentifierName);
e.AssertToken(SyntaxKind.IdentifierToken, "b");
e.AssertTrivia(SyntaxKind.WhitespaceTrivia, " ");
e.AssertToken(op2.Kind, op2Text);
e.AssertTrivia(SyntaxKind.WhitespaceTrivia, " ");
e.AssertNode(SyntaxKind.IdentifierName);
e.AssertToken(SyntaxKind.IdentifierToken, "c");
e.AssertToken(SyntaxKind.EndOfInputToken, "");
}
else
{
using var e = new AssertingEnumerator(expression);
// └──BinaryExpression
// ├──NameExpression
// │ └──IdentifierToken
// ├──PlusToken
// └──BinaryExpression
// ├──NameExpression
// │ └──IdentifierToken
// ├──StarToken
// └──NameExpression
// └──IdentifierToken
e.AssertNode(SyntaxKind.CompilationUnit);
e.AssertNode(SyntaxKind.GlobalStatement);
e.AssertNode(SyntaxKind.ExpressionStatement);
e.AssertNode(SyntaxKind.BinaryExpression);
e.AssertNode(SyntaxKind.IdentifierName);
e.AssertToken(SyntaxKind.IdentifierToken, "a");
e.AssertTrivia(SyntaxKind.WhitespaceTrivia, " ");
e.AssertToken(op1.Kind, op1Text);
e.AssertTrivia(SyntaxKind.WhitespaceTrivia, " ");
e.AssertNode(SyntaxKind.BinaryExpression);
e.AssertNode(SyntaxKind.IdentifierName);
e.AssertToken(SyntaxKind.IdentifierToken, "b");
e.AssertTrivia(SyntaxKind.WhitespaceTrivia, " ");
e.AssertToken(op2.Kind, op2Text);
e.AssertTrivia(SyntaxKind.WhitespaceTrivia, " ");
e.AssertNode(SyntaxKind.IdentifierName);
e.AssertToken(SyntaxKind.IdentifierToken, "c");
e.AssertToken(SyntaxKind.EndOfInputToken, "");
}
}