public void Parser_UnaryExpression_HonorsPrecedences(SyntaxKind unaryKind, SyntaxKind binaryKind) { var unaryPrecedence = unaryKind.GetUnaryOperatorPrecedence(); var binaryPrecedence = binaryKind.GetBinaryOperatorPrecedence(); var unaryText = SyntaxFacts.GetText(unaryKind); var binaryText = SyntaxFacts.GetText(binaryKind); var text = $"{unaryText} a {binaryText} b"; var expression = SyntaxTree.Parse(text).Root; if (unaryPrecedence >= binaryPrecedence) { // binary // / \ // unary b // | // a using (var e = new AssertingEnumerator(expression)) { e.AssertNode(SyntaxKind.BinaryExpression); e.AssertNode(SyntaxKind.UnaryExpression); e.AssertToken(unaryKind, unaryText); e.AssertNode(SyntaxKind.NameExpression); e.AssertToken(SyntaxKind.IdentifierToken, "a"); e.AssertToken(binaryKind, binaryText); e.AssertNode(SyntaxKind.NameExpression); e.AssertToken(SyntaxKind.IdentifierToken, "b"); } } else { // unary // | // binary // / \ // a b using (var e = new AssertingEnumerator(expression)) { e.AssertNode(SyntaxKind.UnaryExpression); e.AssertToken(unaryKind, unaryText); e.AssertNode(SyntaxKind.BinaryExpression); e.AssertNode(SyntaxKind.NameExpression); e.AssertToken(SyntaxKind.IdentifierToken, "a"); e.AssertToken(binaryKind, binaryText); e.AssertNode(SyntaxKind.NameExpression); e.AssertToken(SyntaxKind.IdentifierToken, "b"); } } }
public void Parser_BinaryExpression_HonorsPrecedences(SyntaxKind op1, SyntaxKind op2) { var op1Precedence = op1.GetBinaryOperatorPrecedence(); var op2Precedence = op2.GetBinaryOperatorPrecedence(); var op1Text = SyntaxFacts.GetText(op1); var op2Text = SyntaxFacts.GetText(op2); var text = $"a {op1Text} b {op2Text} c"; var expression = ParseExpression(text); Debug.Assert(op1Text != null); Debug.Assert(op2Text != null); if (op1Precedence >= op2Precedence) { // op2 // / \ // op1 c // / \ // a b using var e = new AssertingEnumerator(expression); e.AssertNode(SyntaxKind.BinaryExpression); e.AssertNode(SyntaxKind.BinaryExpression); e.AssertNode(SyntaxKind.NameExpression); e.AssertToken(SyntaxKind.IdentifierToken, "a"); e.AssertToken(op1, op1Text); e.AssertNode(SyntaxKind.NameExpression); e.AssertToken(SyntaxKind.IdentifierToken, "b"); e.AssertToken(op2, op2Text); e.AssertNode(SyntaxKind.NameExpression); e.AssertToken(SyntaxKind.IdentifierToken, "c"); } else { // op1 // / \ // a op2 // / \ // b c using var e = new AssertingEnumerator(expression); e.AssertNode(SyntaxKind.BinaryExpression); e.AssertNode(SyntaxKind.NameExpression); e.AssertToken(SyntaxKind.IdentifierToken, "a"); e.AssertToken(op1, op1Text); e.AssertNode(SyntaxKind.BinaryExpression); e.AssertNode(SyntaxKind.NameExpression); e.AssertToken(SyntaxKind.IdentifierToken, "b"); e.AssertToken(op2, op2Text); e.AssertNode(SyntaxKind.NameExpression); e.AssertToken(SyntaxKind.IdentifierToken, "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"); } } }