From 2a2745948d24d9c2ef6dadf0ff6e7a754490925e Mon Sep 17 00:00:00 2001 From: Daniel Grunwald Date: Sun, 12 Feb 2006 20:18:54 +0000 Subject: [PATCH] Fixed C# parser bug (casts to nullables). git-svn-id: svn://svn.sharpdevelop.net/sharpdevelop/branches/2.0@1141 1ccf3a8d-04fe-1044-b7c0-cef0b8235c61 --- .../Project/Src/Parser/CSharp/Parser.cs | 2060 +++++++++-------- .../Project/Src/Parser/CSharp/cs.ATG | 6 + .../Parser/Expressions/CastExpressionTests.cs | 20 + .../Expressions/ConditionalExpressionTests.cs | 10 + .../Expressions/TypeOfIsExpressionTests.cs | 20 + 5 files changed, 1094 insertions(+), 1022 deletions(-) diff --git a/src/Libraries/NRefactory/Project/Src/Parser/CSharp/Parser.cs b/src/Libraries/NRefactory/Project/Src/Parser/CSharp/Parser.cs index 931d5ffb77..d0f5f933b6 100644 --- a/src/Libraries/NRefactory/Project/Src/Parser/CSharp/Parser.cs +++ b/src/Libraries/NRefactory/Project/Src/Parser/CSharp/Parser.cs @@ -89,6 +89,8 @@ bool IsSimpleTypeCast () if (!IsTypeKWForTypeCast(ref pt)) { return false; } + if (pt.kind == Tokens.Question) + pt = lexer.Peek(); return pt.kind == Tokens.CloseParenthesis; } @@ -533,14 +535,14 @@ bool WriteFullTypeName(StringBuilder b, Expression expr) void CS() { -#line 652 "cs.ATG" +#line 654 "cs.ATG" lexer.NextToken(); /* get the first token */ compilationUnit = new CompilationUnit(); while (la.kind == 120) { UsingDirective(); } while ( -#line 656 "cs.ATG" +#line 658 "cs.ATG" IsGlobalAttrTarget()) { GlobalAttributeSection(); } @@ -552,25 +554,25 @@ IsGlobalAttrTarget()) { void UsingDirective() { -#line 663 "cs.ATG" +#line 665 "cs.ATG" string qualident = null; TypeReference aliasedType = null; Expect(120); -#line 666 "cs.ATG" +#line 668 "cs.ATG" Point startPos = t.Location; Qualident( -#line 667 "cs.ATG" +#line 669 "cs.ATG" out qualident); if (la.kind == 3) { lexer.NextToken(); NonArrayType( -#line 668 "cs.ATG" +#line 670 "cs.ATG" out aliasedType); } Expect(11); -#line 670 "cs.ATG" +#line 672 "cs.ATG" if (qualident != null && qualident.Length > 0) { INode node; if (aliasedType != null) { @@ -588,11 +590,11 @@ out aliasedType); void GlobalAttributeSection() { Expect(18); -#line 686 "cs.ATG" +#line 688 "cs.ATG" Point startPos = t.Location; Expect(1); -#line 687 "cs.ATG" +#line 689 "cs.ATG" if (t.val != "assembly") Error("global attribute target specifier (\"assembly\") expected"); string attributeTarget = t.val; List attributes = new List(); @@ -600,20 +602,20 @@ out aliasedType); Expect(9); Attribute( -#line 692 "cs.ATG" +#line 694 "cs.ATG" out attribute); -#line 692 "cs.ATG" +#line 694 "cs.ATG" attributes.Add(attribute); while ( -#line 693 "cs.ATG" +#line 695 "cs.ATG" NotFinalComma()) { Expect(14); Attribute( -#line 693 "cs.ATG" +#line 695 "cs.ATG" out attribute); -#line 693 "cs.ATG" +#line 695 "cs.ATG" attributes.Add(attribute); } if (la.kind == 14) { @@ -621,7 +623,7 @@ out attribute); } Expect(19); -#line 695 "cs.ATG" +#line 697 "cs.ATG" AttributeSection section = new AttributeSection(attributeTarget, attributes); section.StartLocation = startPos; section.EndLocation = t.EndLocation; @@ -631,7 +633,7 @@ out attribute); void NamespaceMemberDecl() { -#line 786 "cs.ATG" +#line 788 "cs.ATG" AttributeSection section; List attributes = new List(); Modifiers m = new Modifiers(); @@ -640,13 +642,13 @@ out attribute); if (la.kind == 87) { lexer.NextToken(); -#line 792 "cs.ATG" +#line 794 "cs.ATG" Point startPos = t.Location; Qualident( -#line 793 "cs.ATG" +#line 795 "cs.ATG" out qualident); -#line 793 "cs.ATG" +#line 795 "cs.ATG" INode node = new NamespaceDeclaration(qualident); node.StartLocation = startPos; compilationUnit.AddChild(node); @@ -664,139 +666,139 @@ out qualident); lexer.NextToken(); } -#line 802 "cs.ATG" +#line 804 "cs.ATG" node.EndLocation = t.EndLocation; compilationUnit.BlockEnd(); } else if (StartOf(2)) { while (la.kind == 18) { AttributeSection( -#line 806 "cs.ATG" +#line 808 "cs.ATG" out section); -#line 806 "cs.ATG" +#line 808 "cs.ATG" attributes.Add(section); } while (StartOf(3)) { TypeModifier( -#line 807 "cs.ATG" +#line 809 "cs.ATG" m); } TypeDecl( -#line 808 "cs.ATG" +#line 810 "cs.ATG" m, attributes); } else SynErr(126); } void Qualident( -#line 926 "cs.ATG" +#line 928 "cs.ATG" out string qualident) { Expect(1); -#line 928 "cs.ATG" +#line 930 "cs.ATG" qualidentBuilder.Length = 0; qualidentBuilder.Append(t.val); while ( -#line 929 "cs.ATG" +#line 931 "cs.ATG" DotAndIdent()) { Expect(15); Expect(1); -#line 929 "cs.ATG" +#line 931 "cs.ATG" qualidentBuilder.Append('.'); qualidentBuilder.Append(t.val); } -#line 932 "cs.ATG" +#line 934 "cs.ATG" qualident = qualidentBuilder.ToString(); } void NonArrayType( -#line 1036 "cs.ATG" +#line 1038 "cs.ATG" out TypeReference type) { -#line 1038 "cs.ATG" +#line 1040 "cs.ATG" string name; int pointer = 0; type = null; if (la.kind == 1 || la.kind == 90 || la.kind == 107) { ClassType( -#line 1043 "cs.ATG" +#line 1045 "cs.ATG" out type, false); } else if (StartOf(4)) { SimpleType( -#line 1044 "cs.ATG" +#line 1046 "cs.ATG" out name); -#line 1044 "cs.ATG" +#line 1046 "cs.ATG" type = new TypeReference(name); } else if (la.kind == 122) { lexer.NextToken(); Expect(6); -#line 1045 "cs.ATG" +#line 1047 "cs.ATG" pointer = 1; type = new TypeReference("void"); } else SynErr(127); if (la.kind == 12) { NullableQuestionMark( -#line 1048 "cs.ATG" +#line 1050 "cs.ATG" ref type); } while ( -#line 1050 "cs.ATG" +#line 1052 "cs.ATG" IsPointer()) { Expect(6); -#line 1051 "cs.ATG" +#line 1053 "cs.ATG" ++pointer; } -#line 1053 "cs.ATG" +#line 1055 "cs.ATG" if (type != null) { type.PointerNestingLevel = pointer; } } void Attribute( -#line 702 "cs.ATG" +#line 704 "cs.ATG" out ASTAttribute attribute) { -#line 703 "cs.ATG" +#line 705 "cs.ATG" string qualident; string alias = null; if ( -#line 707 "cs.ATG" +#line 709 "cs.ATG" la.kind == Tokens.Identifier && Peek(1).kind == Tokens.DoubleColon) { lexer.NextToken(); -#line 708 "cs.ATG" +#line 710 "cs.ATG" alias = t.val; Expect(10); } Qualident( -#line 711 "cs.ATG" +#line 713 "cs.ATG" out qualident); -#line 712 "cs.ATG" +#line 714 "cs.ATG" List positional = new List(); List named = new List(); string name = (alias != null && alias != "global") ? alias + "." + qualident : qualident; if (la.kind == 20) { AttributeArguments( -#line 716 "cs.ATG" +#line 718 "cs.ATG" positional, named); } -#line 716 "cs.ATG" +#line 718 "cs.ATG" attribute = new ICSharpCode.NRefactory.Parser.AST.Attribute(name, positional, named); } void AttributeArguments( -#line 719 "cs.ATG" +#line 721 "cs.ATG" List positional, List named) { -#line 721 "cs.ATG" +#line 723 "cs.ATG" bool nameFound = false; string name = ""; Expression expr; @@ -804,22 +806,22 @@ List positional, List named) { Expect(20); if (StartOf(5)) { if ( -#line 729 "cs.ATG" +#line 731 "cs.ATG" IsAssignment()) { -#line 729 "cs.ATG" +#line 731 "cs.ATG" nameFound = true; lexer.NextToken(); -#line 730 "cs.ATG" +#line 732 "cs.ATG" name = t.val; Expect(3); } Expr( -#line 732 "cs.ATG" +#line 734 "cs.ATG" out expr); -#line 732 "cs.ATG" +#line 734 "cs.ATG" if (expr != null) {if(name == "") positional.Add(expr); else { named.Add(new NamedArgumentExpression(name, expr)); name = ""; } } @@ -827,26 +829,26 @@ out expr); while (la.kind == 14) { lexer.NextToken(); if ( -#line 740 "cs.ATG" +#line 742 "cs.ATG" IsAssignment()) { -#line 740 "cs.ATG" +#line 742 "cs.ATG" nameFound = true; Expect(1); -#line 741 "cs.ATG" +#line 743 "cs.ATG" name = t.val; Expect(3); } else if (StartOf(5)) { -#line 743 "cs.ATG" +#line 745 "cs.ATG" if (nameFound) Error("no positional argument after named argument"); } else SynErr(128); Expr( -#line 744 "cs.ATG" +#line 746 "cs.ATG" out expr); -#line 744 "cs.ATG" +#line 746 "cs.ATG" if (expr != null) { if(name == "") positional.Add(expr); else { named.Add(new NamedArgumentExpression(name, expr)); name = ""; } } @@ -857,70 +859,70 @@ out expr); } void Expr( -#line 2064 "cs.ATG" +#line 2066 "cs.ATG" out Expression expr) { -#line 2065 "cs.ATG" +#line 2067 "cs.ATG" expr = null; Expression expr1 = null, expr2 = null; AssignmentOperatorType op; UnaryExpr( -#line 2067 "cs.ATG" +#line 2069 "cs.ATG" out expr); if (StartOf(6)) { AssignmentOperator( -#line 2070 "cs.ATG" +#line 2072 "cs.ATG" out op); Expr( -#line 2070 "cs.ATG" +#line 2072 "cs.ATG" out expr1); -#line 2070 "cs.ATG" +#line 2072 "cs.ATG" expr = new AssignmentExpression(expr, op, expr1); } else if ( -#line 2071 "cs.ATG" +#line 2073 "cs.ATG" la.kind == Tokens.GreaterThan && Peek(1).kind == Tokens.GreaterEqual) { AssignmentOperator( -#line 2072 "cs.ATG" +#line 2074 "cs.ATG" out op); Expr( -#line 2072 "cs.ATG" +#line 2074 "cs.ATG" out expr1); -#line 2072 "cs.ATG" +#line 2074 "cs.ATG" expr = new AssignmentExpression(expr, op, expr1); } else if (StartOf(7)) { ConditionalOrExpr( -#line 2074 "cs.ATG" +#line 2076 "cs.ATG" ref expr); if (la.kind == 13) { lexer.NextToken(); Expr( -#line 2075 "cs.ATG" +#line 2077 "cs.ATG" out expr1); -#line 2075 "cs.ATG" +#line 2077 "cs.ATG" expr = new BinaryOperatorExpression(expr, BinaryOperatorType.NullCoalescing, expr1); } if (la.kind == 12) { lexer.NextToken(); Expr( -#line 2076 "cs.ATG" +#line 2078 "cs.ATG" out expr1); Expect(9); Expr( -#line 2076 "cs.ATG" +#line 2078 "cs.ATG" out expr2); -#line 2076 "cs.ATG" +#line 2078 "cs.ATG" expr = new ConditionalExpression(expr, expr1, expr2); } } else SynErr(129); } void AttributeSection( -#line 753 "cs.ATG" +#line 755 "cs.ATG" out AttributeSection section) { -#line 755 "cs.ATG" +#line 757 "cs.ATG" string attributeTarget = ""; List attributes = new List(); ASTAttribute attribute; @@ -928,25 +930,25 @@ out AttributeSection section) { Expect(18); -#line 761 "cs.ATG" +#line 763 "cs.ATG" Point startPos = t.Location; if ( -#line 762 "cs.ATG" +#line 764 "cs.ATG" IsLocalAttrTarget()) { if (la.kind == 68) { lexer.NextToken(); -#line 763 "cs.ATG" +#line 765 "cs.ATG" attributeTarget = "event"; } else if (la.kind == 100) { lexer.NextToken(); -#line 764 "cs.ATG" +#line 766 "cs.ATG" attributeTarget = "return"; } else { lexer.NextToken(); -#line 765 "cs.ATG" +#line 767 "cs.ATG" if (t.val != "field" || t.val != "method" || t.val != "module" || t.val != "param" || t.val != "property" || t.val != "type") @@ -958,20 +960,20 @@ IsLocalAttrTarget()) { Expect(9); } Attribute( -#line 775 "cs.ATG" +#line 777 "cs.ATG" out attribute); -#line 775 "cs.ATG" +#line 777 "cs.ATG" attributes.Add(attribute); while ( -#line 776 "cs.ATG" +#line 778 "cs.ATG" NotFinalComma()) { Expect(14); Attribute( -#line 776 "cs.ATG" +#line 778 "cs.ATG" out attribute); -#line 776 "cs.ATG" +#line 778 "cs.ATG" attributes.Add(attribute); } if (la.kind == 14) { @@ -979,7 +981,7 @@ out attribute); } Expect(19); -#line 778 "cs.ATG" +#line 780 "cs.ATG" section = new AttributeSection(attributeTarget, attributes); section.StartLocation = startPos; section.EndLocation = t.EndLocation; @@ -987,76 +989,76 @@ out attribute); } void TypeModifier( -#line 1123 "cs.ATG" +#line 1125 "cs.ATG" Modifiers m) { switch (la.kind) { case 88: { lexer.NextToken(); -#line 1125 "cs.ATG" +#line 1127 "cs.ATG" m.Add(Modifier.New, t.Location); break; } case 97: { lexer.NextToken(); -#line 1126 "cs.ATG" +#line 1128 "cs.ATG" m.Add(Modifier.Public, t.Location); break; } case 96: { lexer.NextToken(); -#line 1127 "cs.ATG" +#line 1129 "cs.ATG" m.Add(Modifier.Protected, t.Location); break; } case 83: { lexer.NextToken(); -#line 1128 "cs.ATG" +#line 1130 "cs.ATG" m.Add(Modifier.Internal, t.Location); break; } case 95: { lexer.NextToken(); -#line 1129 "cs.ATG" +#line 1131 "cs.ATG" m.Add(Modifier.Private, t.Location); break; } case 118: { lexer.NextToken(); -#line 1130 "cs.ATG" +#line 1132 "cs.ATG" m.Add(Modifier.Unsafe, t.Location); break; } case 48: { lexer.NextToken(); -#line 1131 "cs.ATG" +#line 1133 "cs.ATG" m.Add(Modifier.Abstract, t.Location); break; } case 102: { lexer.NextToken(); -#line 1132 "cs.ATG" +#line 1134 "cs.ATG" m.Add(Modifier.Sealed, t.Location); break; } case 106: { lexer.NextToken(); -#line 1133 "cs.ATG" +#line 1135 "cs.ATG" m.Add(Modifier.Static, t.Location); break; } case 1: { lexer.NextToken(); -#line 1134 "cs.ATG" +#line 1136 "cs.ATG" if (t.val == "partial") { m.Add(Modifier.Partial, t.Location); } break; } @@ -1065,10 +1067,10 @@ Modifiers m) { } void TypeDecl( -#line 811 "cs.ATG" +#line 813 "cs.ATG" Modifiers m, List attributes) { -#line 813 "cs.ATG" +#line 815 "cs.ATG" TypeReference type; List names; List p = new List(); @@ -1077,11 +1079,11 @@ Modifiers m, List attributes) { if (la.kind == 58) { -#line 819 "cs.ATG" +#line 821 "cs.ATG" m.Check(Modifier.Classes); lexer.NextToken(); -#line 820 "cs.ATG" +#line 822 "cs.ATG" TypeDeclaration newType = new TypeDeclaration(m.Modifier, attributes); templates = newType.Templates; compilationUnit.AddChild(newType); @@ -1092,26 +1094,26 @@ Modifiers m, List attributes) { Expect(1); -#line 828 "cs.ATG" +#line 830 "cs.ATG" newType.Name = t.val; if (la.kind == 23) { TypeParameterList( -#line 831 "cs.ATG" +#line 833 "cs.ATG" templates); } if (la.kind == 9) { ClassBase( -#line 833 "cs.ATG" +#line 835 "cs.ATG" out names); -#line 833 "cs.ATG" +#line 835 "cs.ATG" newType.BaseTypes = names; } while ( -#line 836 "cs.ATG" +#line 838 "cs.ATG" IdentIsWhere()) { TypeParameterConstraintsClause( -#line 836 "cs.ATG" +#line 838 "cs.ATG" templates); } ClassBody(); @@ -1119,18 +1121,18 @@ templates); lexer.NextToken(); } -#line 839 "cs.ATG" +#line 841 "cs.ATG" newType.EndLocation = t.Location; compilationUnit.BlockEnd(); } else if (StartOf(8)) { -#line 842 "cs.ATG" +#line 844 "cs.ATG" m.Check(Modifier.StructsInterfacesEnumsDelegates); if (la.kind == 108) { lexer.NextToken(); -#line 843 "cs.ATG" +#line 845 "cs.ATG" TypeDeclaration newType = new TypeDeclaration(m.Modifier, attributes); templates = newType.Templates; newType.StartLocation = m.GetDeclarationLocation(t.Location); @@ -1140,26 +1142,26 @@ templates); Expect(1); -#line 850 "cs.ATG" +#line 852 "cs.ATG" newType.Name = t.val; if (la.kind == 23) { TypeParameterList( -#line 853 "cs.ATG" +#line 855 "cs.ATG" templates); } if (la.kind == 9) { StructInterfaces( -#line 855 "cs.ATG" +#line 857 "cs.ATG" out names); -#line 855 "cs.ATG" +#line 857 "cs.ATG" newType.BaseTypes = names; } while ( -#line 858 "cs.ATG" +#line 860 "cs.ATG" IdentIsWhere()) { TypeParameterConstraintsClause( -#line 858 "cs.ATG" +#line 860 "cs.ATG" templates); } StructBody(); @@ -1167,14 +1169,14 @@ templates); lexer.NextToken(); } -#line 862 "cs.ATG" +#line 864 "cs.ATG" newType.EndLocation = t.Location; compilationUnit.BlockEnd(); } else if (la.kind == 82) { lexer.NextToken(); -#line 866 "cs.ATG" +#line 868 "cs.ATG" TypeDeclaration newType = new TypeDeclaration(m.Modifier, attributes); templates = newType.Templates; compilationUnit.AddChild(newType); @@ -1184,26 +1186,26 @@ templates); Expect(1); -#line 873 "cs.ATG" +#line 875 "cs.ATG" newType.Name = t.val; if (la.kind == 23) { TypeParameterList( -#line 876 "cs.ATG" +#line 878 "cs.ATG" templates); } if (la.kind == 9) { InterfaceBase( -#line 878 "cs.ATG" +#line 880 "cs.ATG" out names); -#line 878 "cs.ATG" +#line 880 "cs.ATG" newType.BaseTypes = names; } while ( -#line 881 "cs.ATG" +#line 883 "cs.ATG" IdentIsWhere()) { TypeParameterConstraintsClause( -#line 881 "cs.ATG" +#line 883 "cs.ATG" templates); } InterfaceBody(); @@ -1211,14 +1213,14 @@ templates); lexer.NextToken(); } -#line 884 "cs.ATG" +#line 886 "cs.ATG" newType.EndLocation = t.Location; compilationUnit.BlockEnd(); } else if (la.kind == 67) { lexer.NextToken(); -#line 888 "cs.ATG" +#line 890 "cs.ATG" TypeDeclaration newType = new TypeDeclaration(m.Modifier, attributes); compilationUnit.AddChild(newType); compilationUnit.BlockStart(newType); @@ -1227,15 +1229,15 @@ templates); Expect(1); -#line 894 "cs.ATG" +#line 896 "cs.ATG" newType.Name = t.val; if (la.kind == 9) { lexer.NextToken(); IntegralType( -#line 895 "cs.ATG" +#line 897 "cs.ATG" out name); -#line 895 "cs.ATG" +#line 897 "cs.ATG" newType.BaseTypes.Add(new TypeReference(name)); } EnumBody(); @@ -1243,62 +1245,62 @@ out name); lexer.NextToken(); } -#line 898 "cs.ATG" +#line 900 "cs.ATG" newType.EndLocation = t.Location; compilationUnit.BlockEnd(); } else { lexer.NextToken(); -#line 902 "cs.ATG" +#line 904 "cs.ATG" DelegateDeclaration delegateDeclr = new DelegateDeclaration(m.Modifier, attributes); templates = delegateDeclr.Templates; delegateDeclr.StartLocation = m.GetDeclarationLocation(t.Location); if ( -#line 906 "cs.ATG" +#line 908 "cs.ATG" NotVoidPointer()) { Expect(122); -#line 906 "cs.ATG" +#line 908 "cs.ATG" delegateDeclr.ReturnType = new TypeReference("void", 0, null); } else if (StartOf(9)) { Type( -#line 907 "cs.ATG" +#line 909 "cs.ATG" out type); -#line 907 "cs.ATG" +#line 909 "cs.ATG" delegateDeclr.ReturnType = type; } else SynErr(131); Expect(1); -#line 909 "cs.ATG" +#line 911 "cs.ATG" delegateDeclr.Name = t.val; if (la.kind == 23) { TypeParameterList( -#line 912 "cs.ATG" +#line 914 "cs.ATG" templates); } Expect(20); if (StartOf(10)) { FormalParameterList( -#line 914 "cs.ATG" +#line 916 "cs.ATG" p); -#line 914 "cs.ATG" +#line 916 "cs.ATG" delegateDeclr.Parameters = p; } Expect(21); while ( -#line 918 "cs.ATG" +#line 920 "cs.ATG" IdentIsWhere()) { TypeParameterConstraintsClause( -#line 918 "cs.ATG" +#line 920 "cs.ATG" templates); } Expect(11); -#line 920 "cs.ATG" +#line 922 "cs.ATG" delegateDeclr.EndLocation = t.Location; compilationUnit.AddChild(delegateDeclr); @@ -1307,90 +1309,90 @@ templates); } void TypeParameterList( -#line 2463 "cs.ATG" +#line 2469 "cs.ATG" List templates) { -#line 2465 "cs.ATG" +#line 2471 "cs.ATG" AttributeSection section; List attributes = new List(); Expect(23); while (la.kind == 18) { AttributeSection( -#line 2469 "cs.ATG" +#line 2475 "cs.ATG" out section); -#line 2469 "cs.ATG" +#line 2475 "cs.ATG" attributes.Add(section); } Expect(1); -#line 2470 "cs.ATG" +#line 2476 "cs.ATG" templates.Add(new TemplateDefinition(t.val, attributes)); while (la.kind == 14) { lexer.NextToken(); while (la.kind == 18) { AttributeSection( -#line 2471 "cs.ATG" +#line 2477 "cs.ATG" out section); -#line 2471 "cs.ATG" +#line 2477 "cs.ATG" attributes.Add(section); } Expect(1); -#line 2472 "cs.ATG" +#line 2478 "cs.ATG" templates.Add(new TemplateDefinition(t.val, attributes)); } Expect(22); } void ClassBase( -#line 935 "cs.ATG" +#line 937 "cs.ATG" out List names) { -#line 937 "cs.ATG" +#line 939 "cs.ATG" TypeReference typeRef; names = new List(); Expect(9); ClassType( -#line 941 "cs.ATG" +#line 943 "cs.ATG" out typeRef, false); -#line 941 "cs.ATG" +#line 943 "cs.ATG" if (typeRef != null) { names.Add(typeRef); } while (la.kind == 14) { lexer.NextToken(); TypeName( -#line 942 "cs.ATG" +#line 944 "cs.ATG" out typeRef, false); -#line 942 "cs.ATG" +#line 944 "cs.ATG" if (typeRef != null) { names.Add(typeRef); } } } void TypeParameterConstraintsClause( -#line 2476 "cs.ATG" +#line 2482 "cs.ATG" List templates) { -#line 2477 "cs.ATG" +#line 2483 "cs.ATG" string name = ""; TypeReference type; Expect(1); -#line 2479 "cs.ATG" +#line 2485 "cs.ATG" if (t.val != "where") Error("where expected"); Expect(1); -#line 2480 "cs.ATG" +#line 2486 "cs.ATG" name = t.val; Expect(9); TypeParameterConstraintsClauseBase( -#line 2482 "cs.ATG" +#line 2488 "cs.ATG" out type); -#line 2483 "cs.ATG" +#line 2489 "cs.ATG" TemplateDefinition td = null; foreach (TemplateDefinition d in templates) { if (d.Name == name) { @@ -1403,10 +1405,10 @@ out type); while (la.kind == 14) { lexer.NextToken(); TypeParameterConstraintsClauseBase( -#line 2492 "cs.ATG" +#line 2498 "cs.ATG" out type); -#line 2493 "cs.ATG" +#line 2499 "cs.ATG" td = null; foreach (TemplateDefinition d in templates) { if (d.Name == name) { @@ -1421,114 +1423,114 @@ out type); void ClassBody() { -#line 946 "cs.ATG" +#line 948 "cs.ATG" AttributeSection section; Expect(16); while (StartOf(11)) { -#line 949 "cs.ATG" +#line 951 "cs.ATG" List attributes = new List(); Modifiers m = new Modifiers(); while (la.kind == 18) { AttributeSection( -#line 952 "cs.ATG" +#line 954 "cs.ATG" out section); -#line 952 "cs.ATG" +#line 954 "cs.ATG" attributes.Add(section); } while (StartOf(12)) { MemberModifier( -#line 953 "cs.ATG" +#line 955 "cs.ATG" m); } ClassMemberDecl( -#line 954 "cs.ATG" +#line 956 "cs.ATG" m, attributes); } Expect(17); } void StructInterfaces( -#line 959 "cs.ATG" +#line 961 "cs.ATG" out List names) { -#line 961 "cs.ATG" +#line 963 "cs.ATG" TypeReference typeRef; names = new List(); Expect(9); TypeName( -#line 965 "cs.ATG" +#line 967 "cs.ATG" out typeRef, false); -#line 965 "cs.ATG" +#line 967 "cs.ATG" if (typeRef != null) { names.Add(typeRef); } while (la.kind == 14) { lexer.NextToken(); TypeName( -#line 966 "cs.ATG" +#line 968 "cs.ATG" out typeRef, false); -#line 966 "cs.ATG" +#line 968 "cs.ATG" if (typeRef != null) { names.Add(typeRef); } } } void StructBody() { -#line 970 "cs.ATG" +#line 972 "cs.ATG" AttributeSection section; Expect(16); while (StartOf(13)) { -#line 973 "cs.ATG" +#line 975 "cs.ATG" List attributes = new List(); Modifiers m = new Modifiers(); while (la.kind == 18) { AttributeSection( -#line 976 "cs.ATG" +#line 978 "cs.ATG" out section); -#line 976 "cs.ATG" +#line 978 "cs.ATG" attributes.Add(section); } while (StartOf(12)) { MemberModifier( -#line 977 "cs.ATG" +#line 979 "cs.ATG" m); } StructMemberDecl( -#line 978 "cs.ATG" +#line 980 "cs.ATG" m, attributes); } Expect(17); } void InterfaceBase( -#line 983 "cs.ATG" +#line 985 "cs.ATG" out List names) { -#line 985 "cs.ATG" +#line 987 "cs.ATG" TypeReference typeRef; names = new List(); Expect(9); TypeName( -#line 989 "cs.ATG" +#line 991 "cs.ATG" out typeRef, false); -#line 989 "cs.ATG" +#line 991 "cs.ATG" if (typeRef != null) { names.Add(typeRef); } while (la.kind == 14) { lexer.NextToken(); TypeName( -#line 990 "cs.ATG" +#line 992 "cs.ATG" out typeRef, false); -#line 990 "cs.ATG" +#line 992 "cs.ATG" if (typeRef != null) { names.Add(typeRef); } } } @@ -1542,72 +1544,72 @@ out typeRef, false); } void IntegralType( -#line 1145 "cs.ATG" +#line 1147 "cs.ATG" out string name) { -#line 1145 "cs.ATG" +#line 1147 "cs.ATG" name = ""; switch (la.kind) { case 101: { lexer.NextToken(); -#line 1147 "cs.ATG" +#line 1149 "cs.ATG" name = "sbyte"; break; } case 53: { lexer.NextToken(); -#line 1148 "cs.ATG" +#line 1150 "cs.ATG" name = "byte"; break; } case 103: { lexer.NextToken(); -#line 1149 "cs.ATG" +#line 1151 "cs.ATG" name = "short"; break; } case 119: { lexer.NextToken(); -#line 1150 "cs.ATG" +#line 1152 "cs.ATG" name = "ushort"; break; } case 81: { lexer.NextToken(); -#line 1151 "cs.ATG" +#line 1153 "cs.ATG" name = "int"; break; } case 115: { lexer.NextToken(); -#line 1152 "cs.ATG" +#line 1154 "cs.ATG" name = "uint"; break; } case 86: { lexer.NextToken(); -#line 1153 "cs.ATG" +#line 1155 "cs.ATG" name = "long"; break; } case 116: { lexer.NextToken(); -#line 1154 "cs.ATG" +#line 1156 "cs.ATG" name = "ulong"; break; } case 56: { lexer.NextToken(); -#line 1155 "cs.ATG" +#line 1157 "cs.ATG" name = "char"; break; } @@ -1617,25 +1619,25 @@ out string name) { void EnumBody() { -#line 996 "cs.ATG" +#line 998 "cs.ATG" FieldDeclaration f; Expect(16); if (la.kind == 1 || la.kind == 18) { EnumMemberDecl( -#line 998 "cs.ATG" +#line 1000 "cs.ATG" out f); -#line 998 "cs.ATG" +#line 1000 "cs.ATG" compilationUnit.AddChild(f); while ( -#line 999 "cs.ATG" +#line 1001 "cs.ATG" NotFinalComma()) { Expect(14); EnumMemberDecl( -#line 999 "cs.ATG" +#line 1001 "cs.ATG" out f); -#line 999 "cs.ATG" +#line 1001 "cs.ATG" compilationUnit.AddChild(f); } if (la.kind == 14) { @@ -1646,36 +1648,36 @@ out f); } void Type( -#line 1004 "cs.ATG" +#line 1006 "cs.ATG" out TypeReference type) { TypeWithRestriction( -#line 1006 "cs.ATG" +#line 1008 "cs.ATG" out type, true, false); } void FormalParameterList( -#line 1067 "cs.ATG" +#line 1069 "cs.ATG" List parameter) { -#line 1070 "cs.ATG" +#line 1072 "cs.ATG" ParameterDeclarationExpression p; AttributeSection section; List attributes = new List(); while (la.kind == 18) { AttributeSection( -#line 1075 "cs.ATG" +#line 1077 "cs.ATG" out section); -#line 1075 "cs.ATG" +#line 1077 "cs.ATG" attributes.Add(section); } if (StartOf(15)) { FixedParameter( -#line 1077 "cs.ATG" +#line 1079 "cs.ATG" out p); -#line 1077 "cs.ATG" +#line 1079 "cs.ATG" bool paramsFound = false; p.Attributes = attributes; parameter.Add(p); @@ -1683,96 +1685,96 @@ out p); while (la.kind == 14) { lexer.NextToken(); -#line 1082 "cs.ATG" +#line 1084 "cs.ATG" attributes = new List(); if (paramsFound) Error("params array must be at end of parameter list"); while (la.kind == 18) { AttributeSection( -#line 1083 "cs.ATG" +#line 1085 "cs.ATG" out section); -#line 1083 "cs.ATG" +#line 1085 "cs.ATG" attributes.Add(section); } if (StartOf(15)) { FixedParameter( -#line 1085 "cs.ATG" +#line 1087 "cs.ATG" out p); -#line 1085 "cs.ATG" +#line 1087 "cs.ATG" p.Attributes = attributes; parameter.Add(p); } else if (la.kind == 94) { ParameterArray( -#line 1086 "cs.ATG" +#line 1088 "cs.ATG" out p); -#line 1086 "cs.ATG" +#line 1088 "cs.ATG" paramsFound = true; p.Attributes = attributes; parameter.Add(p); } else SynErr(134); } } else if (la.kind == 94) { ParameterArray( -#line 1089 "cs.ATG" +#line 1091 "cs.ATG" out p); -#line 1089 "cs.ATG" +#line 1091 "cs.ATG" p.Attributes = attributes; parameter.Add(p); } else SynErr(135); } void ClassType( -#line 1137 "cs.ATG" +#line 1139 "cs.ATG" out TypeReference typeRef, bool canBeUnbound) { -#line 1138 "cs.ATG" +#line 1140 "cs.ATG" TypeReference r; typeRef = null; if (la.kind == 1) { TypeName( -#line 1140 "cs.ATG" +#line 1142 "cs.ATG" out r, canBeUnbound); -#line 1140 "cs.ATG" +#line 1142 "cs.ATG" typeRef = r; } else if (la.kind == 90) { lexer.NextToken(); -#line 1141 "cs.ATG" +#line 1143 "cs.ATG" typeRef = new TypeReference("object"); } else if (la.kind == 107) { lexer.NextToken(); -#line 1142 "cs.ATG" +#line 1144 "cs.ATG" typeRef = new TypeReference("string"); } else SynErr(136); } void TypeName( -#line 2406 "cs.ATG" +#line 2412 "cs.ATG" out TypeReference typeRef, bool canBeUnbound) { -#line 2407 "cs.ATG" +#line 2413 "cs.ATG" List typeArguments = null; string alias = null; string qualident; if ( -#line 2412 "cs.ATG" +#line 2418 "cs.ATG" la.kind == Tokens.Identifier && Peek(1).kind == Tokens.DoubleColon) { lexer.NextToken(); -#line 2413 "cs.ATG" +#line 2419 "cs.ATG" alias = t.val; Expect(10); } Qualident( -#line 2416 "cs.ATG" +#line 2422 "cs.ATG" out qualident); if (la.kind == 23) { TypeArgumentList( -#line 2417 "cs.ATG" +#line 2423 "cs.ATG" out typeArguments, canBeUnbound); } -#line 2419 "cs.ATG" +#line 2425 "cs.ATG" if (alias == null) { typeRef = new TypeReference(qualident, typeArguments); } else if (alias == "global") { @@ -1783,125 +1785,125 @@ out typeArguments, canBeUnbound); } while ( -#line 2428 "cs.ATG" +#line 2434 "cs.ATG" DotAndIdent()) { Expect(15); -#line 2429 "cs.ATG" +#line 2435 "cs.ATG" typeArguments = null; Qualident( -#line 2430 "cs.ATG" +#line 2436 "cs.ATG" out qualident); if (la.kind == 23) { TypeArgumentList( -#line 2431 "cs.ATG" +#line 2437 "cs.ATG" out typeArguments, canBeUnbound); } -#line 2432 "cs.ATG" +#line 2438 "cs.ATG" typeRef = new InnerClassTypeReference(typeRef, qualident, typeArguments); } } void MemberModifier( -#line 1158 "cs.ATG" +#line 1160 "cs.ATG" Modifiers m) { switch (la.kind) { case 48: { lexer.NextToken(); -#line 1160 "cs.ATG" +#line 1162 "cs.ATG" m.Add(Modifier.Abstract, t.Location); break; } case 70: { lexer.NextToken(); -#line 1161 "cs.ATG" +#line 1163 "cs.ATG" m.Add(Modifier.Extern, t.Location); break; } case 83: { lexer.NextToken(); -#line 1162 "cs.ATG" +#line 1164 "cs.ATG" m.Add(Modifier.Internal, t.Location); break; } case 88: { lexer.NextToken(); -#line 1163 "cs.ATG" +#line 1165 "cs.ATG" m.Add(Modifier.New, t.Location); break; } case 93: { lexer.NextToken(); -#line 1164 "cs.ATG" +#line 1166 "cs.ATG" m.Add(Modifier.Override, t.Location); break; } case 95: { lexer.NextToken(); -#line 1165 "cs.ATG" +#line 1167 "cs.ATG" m.Add(Modifier.Private, t.Location); break; } case 96: { lexer.NextToken(); -#line 1166 "cs.ATG" +#line 1168 "cs.ATG" m.Add(Modifier.Protected, t.Location); break; } case 97: { lexer.NextToken(); -#line 1167 "cs.ATG" +#line 1169 "cs.ATG" m.Add(Modifier.Public, t.Location); break; } case 98: { lexer.NextToken(); -#line 1168 "cs.ATG" +#line 1170 "cs.ATG" m.Add(Modifier.ReadOnly, t.Location); break; } case 102: { lexer.NextToken(); -#line 1169 "cs.ATG" +#line 1171 "cs.ATG" m.Add(Modifier.Sealed, t.Location); break; } case 106: { lexer.NextToken(); -#line 1170 "cs.ATG" +#line 1172 "cs.ATG" m.Add(Modifier.Static, t.Location); break; } case 118: { lexer.NextToken(); -#line 1171 "cs.ATG" +#line 1173 "cs.ATG" m.Add(Modifier.Unsafe, t.Location); break; } case 121: { lexer.NextToken(); -#line 1172 "cs.ATG" +#line 1174 "cs.ATG" m.Add(Modifier.Virtual, t.Location); break; } case 123: { lexer.NextToken(); -#line 1173 "cs.ATG" +#line 1175 "cs.ATG" m.Add(Modifier.Volatile, t.Location); break; } @@ -1910,23 +1912,23 @@ Modifiers m) { } void ClassMemberDecl( -#line 1443 "cs.ATG" +#line 1445 "cs.ATG" Modifiers m, List attributes) { -#line 1444 "cs.ATG" +#line 1446 "cs.ATG" Statement stmt = null; if (StartOf(16)) { StructMemberDecl( -#line 1446 "cs.ATG" +#line 1448 "cs.ATG" m, attributes); } else if (la.kind == 27) { -#line 1447 "cs.ATG" +#line 1449 "cs.ATG" m.Check(Modifier.Destructors); Point startPos = t.Location; lexer.NextToken(); Expect(1); -#line 1448 "cs.ATG" +#line 1450 "cs.ATG" DestructorDeclaration d = new DestructorDeclaration(t.val, m.Modifier, attributes); d.Modifier = m.Modifier; d.StartLocation = m.GetDeclarationLocation(startPos); @@ -1934,17 +1936,17 @@ m, attributes); Expect(20); Expect(21); -#line 1452 "cs.ATG" +#line 1454 "cs.ATG" d.EndLocation = t.EndLocation; if (la.kind == 16) { Block( -#line 1452 "cs.ATG" +#line 1454 "cs.ATG" out stmt); } else if (la.kind == 11) { lexer.NextToken(); } else SynErr(138); -#line 1453 "cs.ATG" +#line 1455 "cs.ATG" d.Body = (BlockStatement)stmt; compilationUnit.AddChild(d); @@ -1952,10 +1954,10 @@ out stmt); } void StructMemberDecl( -#line 1176 "cs.ATG" +#line 1178 "cs.ATG" Modifiers m, List attributes) { -#line 1178 "cs.ATG" +#line 1180 "cs.ATG" string qualident = null; TypeReference type; Expression expr; @@ -1967,18 +1969,18 @@ Modifiers m, List attributes) { if (la.kind == 59) { -#line 1188 "cs.ATG" +#line 1190 "cs.ATG" m.Check(Modifier.Constants); lexer.NextToken(); -#line 1189 "cs.ATG" +#line 1191 "cs.ATG" Point startPos = t.Location; Type( -#line 1190 "cs.ATG" +#line 1192 "cs.ATG" out type); Expect(1); -#line 1190 "cs.ATG" +#line 1192 "cs.ATG" FieldDeclaration fd = new FieldDeclaration(attributes, type, m.Modifier | Modifier.Const); fd.StartLocation = m.GetDeclarationLocation(startPos); VariableDeclaration f = new VariableDeclaration(t.val); @@ -1986,72 +1988,72 @@ out type); Expect(3); Expr( -#line 1195 "cs.ATG" +#line 1197 "cs.ATG" out expr); -#line 1195 "cs.ATG" +#line 1197 "cs.ATG" f.Initializer = expr; while (la.kind == 14) { lexer.NextToken(); Expect(1); -#line 1196 "cs.ATG" +#line 1198 "cs.ATG" f = new VariableDeclaration(t.val); fd.Fields.Add(f); Expect(3); Expr( -#line 1199 "cs.ATG" +#line 1201 "cs.ATG" out expr); -#line 1199 "cs.ATG" +#line 1201 "cs.ATG" f.Initializer = expr; } Expect(11); -#line 1200 "cs.ATG" +#line 1202 "cs.ATG" fd.EndLocation = t.EndLocation; compilationUnit.AddChild(fd); } else if ( -#line 1203 "cs.ATG" +#line 1205 "cs.ATG" NotVoidPointer()) { -#line 1203 "cs.ATG" +#line 1205 "cs.ATG" m.Check(Modifier.PropertysEventsMethods); Expect(122); -#line 1204 "cs.ATG" +#line 1206 "cs.ATG" Point startPos = t.Location; if ( -#line 1205 "cs.ATG" +#line 1207 "cs.ATG" IsExplicitInterfaceImplementation()) { TypeName( -#line 1206 "cs.ATG" +#line 1208 "cs.ATG" out explicitInterface, false); -#line 1207 "cs.ATG" +#line 1209 "cs.ATG" if (la.kind != Tokens.Dot || Peek(1).kind != Tokens.This) { qualident = TypeReference.StripLastIdentifierFromType(ref explicitInterface); } } else if (la.kind == 1) { lexer.NextToken(); -#line 1210 "cs.ATG" +#line 1212 "cs.ATG" qualident = t.val; } else SynErr(140); if (la.kind == 23) { TypeParameterList( -#line 1213 "cs.ATG" +#line 1215 "cs.ATG" templates); } Expect(20); if (StartOf(10)) { FormalParameterList( -#line 1216 "cs.ATG" +#line 1218 "cs.ATG" p); } Expect(21); -#line 1217 "cs.ATG" +#line 1219 "cs.ATG" MethodDeclaration methodDeclaration = new MethodDeclaration(qualident, m.Modifier, new TypeReference("void"), @@ -2066,31 +2068,31 @@ p); compilationUnit.BlockStart(methodDeclaration); while ( -#line 1232 "cs.ATG" +#line 1234 "cs.ATG" IdentIsWhere()) { TypeParameterConstraintsClause( -#line 1232 "cs.ATG" +#line 1234 "cs.ATG" templates); } if (la.kind == 16) { Block( -#line 1234 "cs.ATG" +#line 1236 "cs.ATG" out stmt); } else if (la.kind == 11) { lexer.NextToken(); } else SynErr(141); -#line 1234 "cs.ATG" +#line 1236 "cs.ATG" compilationUnit.BlockEnd(); methodDeclaration.Body = (BlockStatement)stmt; } else if (la.kind == 68) { -#line 1238 "cs.ATG" +#line 1240 "cs.ATG" m.Check(Modifier.PropertysEventsMethods); lexer.NextToken(); -#line 1239 "cs.ATG" +#line 1241 "cs.ATG" EventDeclaration eventDecl = new EventDeclaration(null, null, m.Modifier, attributes, null); eventDecl.StartLocation = t.Location; compilationUnit.AddChild(eventDecl); @@ -2099,104 +2101,104 @@ out stmt); EventRemoveRegion removeBlock = null; Type( -#line 1246 "cs.ATG" +#line 1248 "cs.ATG" out type); -#line 1246 "cs.ATG" +#line 1248 "cs.ATG" eventDecl.TypeReference = type; if ( -#line 1247 "cs.ATG" +#line 1249 "cs.ATG" IsExplicitInterfaceImplementation()) { TypeName( -#line 1248 "cs.ATG" +#line 1250 "cs.ATG" out explicitInterface, false); -#line 1249 "cs.ATG" +#line 1251 "cs.ATG" qualident = TypeReference.StripLastIdentifierFromType(ref explicitInterface); -#line 1250 "cs.ATG" +#line 1252 "cs.ATG" eventDecl.InterfaceImplementations.Add(new InterfaceImplementation(explicitInterface, qualident)); } else if (la.kind == 1) { lexer.NextToken(); -#line 1252 "cs.ATG" +#line 1254 "cs.ATG" qualident = t.val; } else SynErr(142); -#line 1254 "cs.ATG" +#line 1256 "cs.ATG" eventDecl.Name = qualident; eventDecl.EndLocation = t.EndLocation; if (la.kind == 16) { lexer.NextToken(); -#line 1255 "cs.ATG" +#line 1257 "cs.ATG" eventDecl.BodyStart = t.Location; EventAccessorDecls( -#line 1256 "cs.ATG" +#line 1258 "cs.ATG" out addBlock, out removeBlock); Expect(17); -#line 1257 "cs.ATG" +#line 1259 "cs.ATG" eventDecl.BodyEnd = t.EndLocation; } if (la.kind == 11) { lexer.NextToken(); } -#line 1260 "cs.ATG" +#line 1262 "cs.ATG" compilationUnit.BlockEnd(); eventDecl.AddRegion = addBlock; eventDecl.RemoveRegion = removeBlock; } else if ( -#line 1266 "cs.ATG" +#line 1268 "cs.ATG" IdentAndLPar()) { -#line 1266 "cs.ATG" +#line 1268 "cs.ATG" m.Check(Modifier.Constructors | Modifier.StaticConstructors); Expect(1); -#line 1267 "cs.ATG" +#line 1269 "cs.ATG" string name = t.val; Point startPos = t.Location; Expect(20); if (StartOf(10)) { -#line 1267 "cs.ATG" +#line 1269 "cs.ATG" m.Check(Modifier.Constructors); FormalParameterList( -#line 1268 "cs.ATG" +#line 1270 "cs.ATG" p); } Expect(21); -#line 1270 "cs.ATG" +#line 1272 "cs.ATG" ConstructorInitializer init = null; if (la.kind == 9) { -#line 1271 "cs.ATG" +#line 1273 "cs.ATG" m.Check(Modifier.Constructors); ConstructorInitializer( -#line 1272 "cs.ATG" +#line 1274 "cs.ATG" out init); } -#line 1274 "cs.ATG" +#line 1276 "cs.ATG" ConstructorDeclaration cd = new ConstructorDeclaration(name, m.Modifier, p, init, attributes); cd.StartLocation = startPos; cd.EndLocation = t.EndLocation; if (la.kind == 16) { Block( -#line 1279 "cs.ATG" +#line 1281 "cs.ATG" out stmt); } else if (la.kind == 11) { lexer.NextToken(); } else SynErr(143); -#line 1279 "cs.ATG" +#line 1281 "cs.ATG" cd.Body = (BlockStatement)stmt; compilationUnit.AddChild(cd); } else if (la.kind == 69 || la.kind == 79) { -#line 1282 "cs.ATG" +#line 1284 "cs.ATG" m.Check(Modifier.Operators); if (m.isNone) Error("at least one modifier must be set"); bool isImplicit = true; @@ -2205,45 +2207,45 @@ out stmt); if (la.kind == 79) { lexer.NextToken(); -#line 1287 "cs.ATG" +#line 1289 "cs.ATG" startPos = t.Location; } else { lexer.NextToken(); -#line 1287 "cs.ATG" +#line 1289 "cs.ATG" isImplicit = false; startPos = t.Location; } Expect(91); Type( -#line 1288 "cs.ATG" +#line 1290 "cs.ATG" out type); -#line 1288 "cs.ATG" +#line 1290 "cs.ATG" TypeReference operatorType = type; Expect(20); Type( -#line 1289 "cs.ATG" +#line 1291 "cs.ATG" out type); Expect(1); -#line 1289 "cs.ATG" +#line 1291 "cs.ATG" string varName = t.val; Expect(21); -#line 1290 "cs.ATG" +#line 1292 "cs.ATG" Point endPos = t.Location; if (la.kind == 16) { Block( -#line 1291 "cs.ATG" +#line 1293 "cs.ATG" out stmt); } else if (la.kind == 11) { lexer.NextToken(); -#line 1291 "cs.ATG" +#line 1293 "cs.ATG" stmt = null; } else SynErr(144); -#line 1294 "cs.ATG" +#line 1296 "cs.ATG" List parameters = new List(); parameters.Add(new ParameterDeclarationExpression(type, varName)); OperatorDeclaration operatorDeclaration = new OperatorDeclaration(m.Modifier, @@ -2259,61 +2261,61 @@ out stmt); } else if (StartOf(17)) { TypeDecl( -#line 1309 "cs.ATG" +#line 1311 "cs.ATG" m, attributes); } else if (StartOf(9)) { Type( -#line 1310 "cs.ATG" +#line 1312 "cs.ATG" out type); -#line 1310 "cs.ATG" +#line 1312 "cs.ATG" Point startPos = t.Location; if (la.kind == 91) { -#line 1312 "cs.ATG" +#line 1314 "cs.ATG" OverloadableOperatorType op; m.Check(Modifier.Operators); if (m.isNone) Error("at least one modifier must be set"); lexer.NextToken(); OverloadableOperator( -#line 1316 "cs.ATG" +#line 1318 "cs.ATG" out op); -#line 1316 "cs.ATG" +#line 1318 "cs.ATG" TypeReference firstType, secondType = null; string secondName = null; Expect(20); Type( -#line 1317 "cs.ATG" +#line 1319 "cs.ATG" out firstType); Expect(1); -#line 1317 "cs.ATG" +#line 1319 "cs.ATG" string firstName = t.val; if (la.kind == 14) { lexer.NextToken(); Type( -#line 1318 "cs.ATG" +#line 1320 "cs.ATG" out secondType); Expect(1); -#line 1318 "cs.ATG" +#line 1320 "cs.ATG" secondName = t.val; } else if (la.kind == 21) { } else SynErr(145); -#line 1326 "cs.ATG" +#line 1328 "cs.ATG" Point endPos = t.Location; Expect(21); if (la.kind == 16) { Block( -#line 1327 "cs.ATG" +#line 1329 "cs.ATG" out stmt); } else if (la.kind == 11) { lexer.NextToken(); } else SynErr(146); -#line 1329 "cs.ATG" +#line 1331 "cs.ATG" List parameters = new List(); parameters.Add(new ParameterDeclarationExpression(firstType, firstName)); if (secondType != null) { @@ -2330,43 +2332,43 @@ out stmt); compilationUnit.AddChild(operatorDeclaration); } else if ( -#line 1346 "cs.ATG" +#line 1348 "cs.ATG" IsVarDecl()) { -#line 1346 "cs.ATG" +#line 1348 "cs.ATG" m.Check(Modifier.Fields); FieldDeclaration fd = new FieldDeclaration(attributes, type, m.Modifier); fd.StartLocation = m.GetDeclarationLocation(startPos); VariableDeclarator( -#line 1350 "cs.ATG" +#line 1352 "cs.ATG" variableDeclarators); while (la.kind == 14) { lexer.NextToken(); VariableDeclarator( -#line 1351 "cs.ATG" +#line 1353 "cs.ATG" variableDeclarators); } Expect(11); -#line 1352 "cs.ATG" +#line 1354 "cs.ATG" fd.EndLocation = t.EndLocation; fd.Fields = variableDeclarators; compilationUnit.AddChild(fd); } else if (la.kind == 110) { -#line 1355 "cs.ATG" +#line 1357 "cs.ATG" m.Check(Modifier.Indexers); lexer.NextToken(); Expect(18); FormalParameterList( -#line 1356 "cs.ATG" +#line 1358 "cs.ATG" p); Expect(19); -#line 1356 "cs.ATG" +#line 1358 "cs.ATG" Point endLocation = t.EndLocation; Expect(16); -#line 1357 "cs.ATG" +#line 1359 "cs.ATG" IndexerDeclaration indexer = new IndexerDeclaration(type, p, m.Modifier, attributes); indexer.StartLocation = startPos; indexer.EndLocation = endLocation; @@ -2375,58 +2377,58 @@ p); PropertySetRegion setRegion; AccessorDecls( -#line 1364 "cs.ATG" +#line 1366 "cs.ATG" out getRegion, out setRegion); Expect(17); -#line 1365 "cs.ATG" +#line 1367 "cs.ATG" indexer.BodyEnd = t.EndLocation; indexer.GetRegion = getRegion; indexer.SetRegion = setRegion; compilationUnit.AddChild(indexer); } else if ( -#line 1370 "cs.ATG" +#line 1372 "cs.ATG" la.kind == Tokens.Identifier) { if ( -#line 1371 "cs.ATG" +#line 1373 "cs.ATG" IsExplicitInterfaceImplementation()) { TypeName( -#line 1372 "cs.ATG" +#line 1374 "cs.ATG" out explicitInterface, false); -#line 1373 "cs.ATG" +#line 1375 "cs.ATG" if (la.kind != Tokens.Dot || Peek(1).kind != Tokens.This) { qualident = TypeReference.StripLastIdentifierFromType(ref explicitInterface); } } else if (la.kind == 1) { lexer.NextToken(); -#line 1376 "cs.ATG" +#line 1378 "cs.ATG" qualident = t.val; } else SynErr(147); -#line 1378 "cs.ATG" +#line 1380 "cs.ATG" Point qualIdentEndLocation = t.EndLocation; if (la.kind == 16 || la.kind == 20 || la.kind == 23) { if (la.kind == 20 || la.kind == 23) { -#line 1382 "cs.ATG" +#line 1384 "cs.ATG" m.Check(Modifier.PropertysEventsMethods); if (la.kind == 23) { TypeParameterList( -#line 1384 "cs.ATG" +#line 1386 "cs.ATG" templates); } Expect(20); if (StartOf(10)) { FormalParameterList( -#line 1385 "cs.ATG" +#line 1387 "cs.ATG" p); } Expect(21); -#line 1386 "cs.ATG" +#line 1388 "cs.ATG" MethodDeclaration methodDeclaration = new MethodDeclaration(qualident, m.Modifier, type, @@ -2440,26 +2442,26 @@ p); compilationUnit.AddChild(methodDeclaration); while ( -#line 1398 "cs.ATG" +#line 1400 "cs.ATG" IdentIsWhere()) { TypeParameterConstraintsClause( -#line 1398 "cs.ATG" +#line 1400 "cs.ATG" templates); } if (la.kind == 16) { Block( -#line 1399 "cs.ATG" +#line 1401 "cs.ATG" out stmt); } else if (la.kind == 11) { lexer.NextToken(); } else SynErr(148); -#line 1399 "cs.ATG" +#line 1401 "cs.ATG" methodDeclaration.Body = (BlockStatement)stmt; } else { lexer.NextToken(); -#line 1402 "cs.ATG" +#line 1404 "cs.ATG" PropertyDeclaration pDecl = new PropertyDeclaration(qualident, type, m.Modifier, attributes); if (explicitInterface != null) pDecl.InterfaceImplementations.Add(new InterfaceImplementation(explicitInterface, qualident)); @@ -2470,11 +2472,11 @@ out stmt); PropertySetRegion setRegion; AccessorDecls( -#line 1411 "cs.ATG" +#line 1413 "cs.ATG" out getRegion, out setRegion); Expect(17); -#line 1413 "cs.ATG" +#line 1415 "cs.ATG" pDecl.GetRegion = getRegion; pDecl.SetRegion = setRegion; pDecl.BodyEnd = t.EndLocation; @@ -2483,17 +2485,17 @@ out getRegion, out setRegion); } } else if (la.kind == 15) { -#line 1421 "cs.ATG" +#line 1423 "cs.ATG" m.Check(Modifier.Indexers); lexer.NextToken(); Expect(110); Expect(18); FormalParameterList( -#line 1422 "cs.ATG" +#line 1424 "cs.ATG" p); Expect(19); -#line 1423 "cs.ATG" +#line 1425 "cs.ATG" IndexerDeclaration indexer = new IndexerDeclaration(type, p, m.Modifier, attributes); indexer.StartLocation = m.GetDeclarationLocation(startPos); indexer.EndLocation = t.EndLocation; @@ -2504,14 +2506,14 @@ p); Expect(16); -#line 1431 "cs.ATG" +#line 1433 "cs.ATG" Point bodyStart = t.Location; AccessorDecls( -#line 1432 "cs.ATG" +#line 1434 "cs.ATG" out getRegion, out setRegion); Expect(17); -#line 1433 "cs.ATG" +#line 1435 "cs.ATG" indexer.BodyStart = bodyStart; indexer.BodyEnd = t.EndLocation; indexer.GetRegion = getRegion; @@ -2525,7 +2527,7 @@ out getRegion, out setRegion); void InterfaceMemberDecl() { -#line 1460 "cs.ATG" +#line 1462 "cs.ATG" TypeReference type; AttributeSection section; @@ -2540,51 +2542,51 @@ out getRegion, out setRegion); while (la.kind == 18) { AttributeSection( -#line 1473 "cs.ATG" +#line 1475 "cs.ATG" out section); -#line 1473 "cs.ATG" +#line 1475 "cs.ATG" attributes.Add(section); } if (la.kind == 88) { lexer.NextToken(); -#line 1474 "cs.ATG" +#line 1476 "cs.ATG" mod = Modifier.New; startLocation = t.Location; } if ( -#line 1477 "cs.ATG" +#line 1479 "cs.ATG" NotVoidPointer()) { Expect(122); -#line 1477 "cs.ATG" +#line 1479 "cs.ATG" if (startLocation.X == -1) startLocation = t.Location; Expect(1); -#line 1477 "cs.ATG" +#line 1479 "cs.ATG" name = t.val; if (la.kind == 23) { TypeParameterList( -#line 1478 "cs.ATG" +#line 1480 "cs.ATG" templates); } Expect(20); if (StartOf(10)) { FormalParameterList( -#line 1479 "cs.ATG" +#line 1481 "cs.ATG" parameters); } Expect(21); while ( -#line 1480 "cs.ATG" +#line 1482 "cs.ATG" IdentIsWhere()) { TypeParameterConstraintsClause( -#line 1480 "cs.ATG" +#line 1482 "cs.ATG" templates); } Expect(11); -#line 1482 "cs.ATG" +#line 1484 "cs.ATG" MethodDeclaration md = new MethodDeclaration(name, mod, new TypeReference("void"), parameters, attributes); md.StartLocation = startLocation; md.EndLocation = t.EndLocation; @@ -2594,39 +2596,39 @@ templates); } else if (StartOf(18)) { if (StartOf(9)) { Type( -#line 1489 "cs.ATG" +#line 1491 "cs.ATG" out type); -#line 1489 "cs.ATG" +#line 1491 "cs.ATG" if (startLocation.X == -1) startLocation = t.Location; if (la.kind == 1) { lexer.NextToken(); -#line 1491 "cs.ATG" +#line 1493 "cs.ATG" name = t.val; Point qualIdentEndLocation = t.EndLocation; if (la.kind == 20 || la.kind == 23) { if (la.kind == 23) { TypeParameterList( -#line 1495 "cs.ATG" +#line 1497 "cs.ATG" templates); } Expect(20); if (StartOf(10)) { FormalParameterList( -#line 1496 "cs.ATG" +#line 1498 "cs.ATG" parameters); } Expect(21); while ( -#line 1498 "cs.ATG" +#line 1500 "cs.ATG" IdentIsWhere()) { TypeParameterConstraintsClause( -#line 1498 "cs.ATG" +#line 1500 "cs.ATG" templates); } Expect(11); -#line 1499 "cs.ATG" +#line 1501 "cs.ATG" MethodDeclaration md = new MethodDeclaration(name, mod, type, parameters, attributes); md.StartLocation = startLocation; md.EndLocation = t.EndLocation; @@ -2635,72 +2637,72 @@ templates); } else if (la.kind == 16) { -#line 1506 "cs.ATG" +#line 1508 "cs.ATG" PropertyDeclaration pd = new PropertyDeclaration(name, type, mod, attributes); compilationUnit.AddChild(pd); lexer.NextToken(); -#line 1507 "cs.ATG" +#line 1509 "cs.ATG" Point bodyStart = t.Location; InterfaceAccessors( -#line 1507 "cs.ATG" +#line 1509 "cs.ATG" out getBlock, out setBlock); Expect(17); -#line 1507 "cs.ATG" +#line 1509 "cs.ATG" pd.GetRegion = getBlock; pd.SetRegion = setBlock; pd.StartLocation = startLocation; pd.EndLocation = qualIdentEndLocation; pd.BodyStart = bodyStart; pd.BodyEnd = t.EndLocation; } else SynErr(152); } else if (la.kind == 110) { lexer.NextToken(); Expect(18); FormalParameterList( -#line 1510 "cs.ATG" +#line 1512 "cs.ATG" parameters); Expect(19); -#line 1510 "cs.ATG" +#line 1512 "cs.ATG" Point bracketEndLocation = t.EndLocation; -#line 1510 "cs.ATG" +#line 1512 "cs.ATG" IndexerDeclaration id = new IndexerDeclaration(type, parameters, mod, attributes); compilationUnit.AddChild(id); Expect(16); -#line 1511 "cs.ATG" +#line 1513 "cs.ATG" Point bodyStart = t.Location; InterfaceAccessors( -#line 1511 "cs.ATG" +#line 1513 "cs.ATG" out getBlock, out setBlock); Expect(17); -#line 1511 "cs.ATG" +#line 1513 "cs.ATG" id.GetRegion = getBlock; id.SetRegion = setBlock; id.StartLocation = startLocation; id.EndLocation = bracketEndLocation; id.BodyStart = bodyStart; id.BodyEnd = t.EndLocation; } else SynErr(153); } else { lexer.NextToken(); -#line 1514 "cs.ATG" +#line 1516 "cs.ATG" if (startLocation.X == -1) startLocation = t.Location; Type( -#line 1514 "cs.ATG" +#line 1516 "cs.ATG" out type); Expect(1); -#line 1514 "cs.ATG" +#line 1516 "cs.ATG" EventDeclaration ed = new EventDeclaration(type, t.val, mod, attributes, null); compilationUnit.AddChild(ed); Expect(11); -#line 1517 "cs.ATG" +#line 1519 "cs.ATG" ed.StartLocation = startLocation; ed.EndLocation = t.EndLocation; } } else SynErr(154); } void EnumMemberDecl( -#line 1522 "cs.ATG" +#line 1524 "cs.ATG" out FieldDeclaration f) { -#line 1524 "cs.ATG" +#line 1526 "cs.ATG" Expression expr = null; List attributes = new List(); AttributeSection section = null; @@ -2708,15 +2710,15 @@ out FieldDeclaration f) { while (la.kind == 18) { AttributeSection( -#line 1530 "cs.ATG" +#line 1532 "cs.ATG" out section); -#line 1530 "cs.ATG" +#line 1532 "cs.ATG" attributes.Add(section); } Expect(1); -#line 1531 "cs.ATG" +#line 1533 "cs.ATG" f = new FieldDeclaration(attributes); varDecl = new VariableDeclaration(t.val); f.Fields.Add(varDecl); @@ -2725,78 +2727,78 @@ out section); if (la.kind == 3) { lexer.NextToken(); Expr( -#line 1536 "cs.ATG" +#line 1538 "cs.ATG" out expr); -#line 1536 "cs.ATG" +#line 1538 "cs.ATG" varDecl.Initializer = expr; } } void TypeWithRestriction( -#line 1009 "cs.ATG" +#line 1011 "cs.ATG" out TypeReference type, bool allowNullable, bool canBeUnbound) { -#line 1011 "cs.ATG" +#line 1013 "cs.ATG" string name; int pointer = 0; type = null; if (la.kind == 1 || la.kind == 90 || la.kind == 107) { ClassType( -#line 1016 "cs.ATG" +#line 1018 "cs.ATG" out type, canBeUnbound); } else if (StartOf(4)) { SimpleType( -#line 1017 "cs.ATG" +#line 1019 "cs.ATG" out name); -#line 1017 "cs.ATG" +#line 1019 "cs.ATG" type = new TypeReference(name); } else if (la.kind == 122) { lexer.NextToken(); Expect(6); -#line 1018 "cs.ATG" +#line 1020 "cs.ATG" pointer = 1; type = new TypeReference("void"); } else SynErr(155); -#line 1019 "cs.ATG" +#line 1021 "cs.ATG" List r = new List(); if ( -#line 1021 "cs.ATG" +#line 1023 "cs.ATG" allowNullable && la.kind == Tokens.Question) { NullableQuestionMark( -#line 1021 "cs.ATG" +#line 1023 "cs.ATG" ref type); } while ( -#line 1023 "cs.ATG" +#line 1025 "cs.ATG" IsPointerOrDims()) { -#line 1023 "cs.ATG" +#line 1025 "cs.ATG" int i = 0; if (la.kind == 6) { lexer.NextToken(); -#line 1024 "cs.ATG" +#line 1026 "cs.ATG" ++pointer; } else if (la.kind == 18) { lexer.NextToken(); while (la.kind == 14) { lexer.NextToken(); -#line 1025 "cs.ATG" +#line 1027 "cs.ATG" ++i; } Expect(19); -#line 1025 "cs.ATG" +#line 1027 "cs.ATG" r.Add(i); } else SynErr(156); } -#line 1028 "cs.ATG" +#line 1030 "cs.ATG" if (type != null) { type.RankSpecifier = r.ToArray(); type.PointerNestingLevel = pointer; @@ -2805,57 +2807,57 @@ IsPointerOrDims()) { } void SimpleType( -#line 1056 "cs.ATG" +#line 1058 "cs.ATG" out string name) { -#line 1057 "cs.ATG" +#line 1059 "cs.ATG" name = String.Empty; if (StartOf(19)) { IntegralType( -#line 1059 "cs.ATG" +#line 1061 "cs.ATG" out name); } else if (la.kind == 74) { lexer.NextToken(); -#line 1060 "cs.ATG" +#line 1062 "cs.ATG" name = "float"; } else if (la.kind == 65) { lexer.NextToken(); -#line 1061 "cs.ATG" +#line 1063 "cs.ATG" name = "double"; } else if (la.kind == 61) { lexer.NextToken(); -#line 1062 "cs.ATG" +#line 1064 "cs.ATG" name = "decimal"; } else if (la.kind == 51) { lexer.NextToken(); -#line 1063 "cs.ATG" +#line 1065 "cs.ATG" name = "bool"; } else SynErr(157); } void NullableQuestionMark( -#line 2437 "cs.ATG" +#line 2443 "cs.ATG" ref TypeReference typeRef) { -#line 2438 "cs.ATG" +#line 2444 "cs.ATG" List typeArguments = new List(1); Expect(12); -#line 2442 "cs.ATG" +#line 2448 "cs.ATG" if (typeRef != null) typeArguments.Add(typeRef); typeRef = new TypeReference("System.Nullable", typeArguments); } void FixedParameter( -#line 1093 "cs.ATG" +#line 1095 "cs.ATG" out ParameterDeclarationExpression p) { -#line 1095 "cs.ATG" +#line 1097 "cs.ATG" TypeReference type; ParamModifier mod = ParamModifier.In; System.Drawing.Point start = t.Location; @@ -2864,82 +2866,82 @@ out ParameterDeclarationExpression p) { if (la.kind == 99) { lexer.NextToken(); -#line 1101 "cs.ATG" +#line 1103 "cs.ATG" mod = ParamModifier.Ref; } else { lexer.NextToken(); -#line 1102 "cs.ATG" +#line 1104 "cs.ATG" mod = ParamModifier.Out; } } Type( -#line 1104 "cs.ATG" +#line 1106 "cs.ATG" out type); Expect(1); -#line 1104 "cs.ATG" +#line 1106 "cs.ATG" p = new ParameterDeclarationExpression(type, t.val, mod); p.StartLocation = start; p.EndLocation = t.Location; } void ParameterArray( -#line 1107 "cs.ATG" +#line 1109 "cs.ATG" out ParameterDeclarationExpression p) { -#line 1108 "cs.ATG" +#line 1110 "cs.ATG" TypeReference type; Expect(94); Type( -#line 1110 "cs.ATG" +#line 1112 "cs.ATG" out type); Expect(1); -#line 1110 "cs.ATG" +#line 1112 "cs.ATG" p = new ParameterDeclarationExpression(type, t.val, ParamModifier.Params); } void AccessorModifiers( -#line 1113 "cs.ATG" +#line 1115 "cs.ATG" out Modifiers m) { -#line 1114 "cs.ATG" +#line 1116 "cs.ATG" m = new Modifiers(); if (la.kind == 95) { lexer.NextToken(); -#line 1116 "cs.ATG" +#line 1118 "cs.ATG" m.Add(Modifier.Private, t.Location); } else if (la.kind == 96) { lexer.NextToken(); -#line 1117 "cs.ATG" +#line 1119 "cs.ATG" m.Add(Modifier.Protected, t.Location); if (la.kind == 83) { lexer.NextToken(); -#line 1118 "cs.ATG" +#line 1120 "cs.ATG" m.Add(Modifier.Internal, t.Location); } } else if (la.kind == 83) { lexer.NextToken(); -#line 1119 "cs.ATG" +#line 1121 "cs.ATG" m.Add(Modifier.Internal, t.Location); if (la.kind == 96) { lexer.NextToken(); -#line 1120 "cs.ATG" +#line 1122 "cs.ATG" m.Add(Modifier.Protected, t.Location); } } else SynErr(158); } void Block( -#line 1661 "cs.ATG" +#line 1663 "cs.ATG" out Statement stmt) { Expect(16); -#line 1663 "cs.ATG" +#line 1665 "cs.ATG" BlockStatement blockStmt = new BlockStatement(); blockStmt.StartLocation = t.EndLocation; compilationUnit.BlockStart(blockStmt); @@ -2950,7 +2952,7 @@ out Statement stmt) { } Expect(17); -#line 1670 "cs.ATG" +#line 1672 "cs.ATG" stmt = blockStmt; blockStmt.EndLocation = t.EndLocation; compilationUnit.BlockEnd(); @@ -2958,10 +2960,10 @@ out Statement stmt) { } void EventAccessorDecls( -#line 1596 "cs.ATG" +#line 1598 "cs.ATG" out EventAddRegion addBlock, out EventRemoveRegion removeBlock) { -#line 1597 "cs.ATG" +#line 1599 "cs.ATG" AttributeSection section; List attributes = new List(); Statement stmt; @@ -2970,102 +2972,102 @@ out EventAddRegion addBlock, out EventRemoveRegion removeBlock) { while (la.kind == 18) { AttributeSection( -#line 1604 "cs.ATG" +#line 1606 "cs.ATG" out section); -#line 1604 "cs.ATG" +#line 1606 "cs.ATG" attributes.Add(section); } if ( -#line 1606 "cs.ATG" +#line 1608 "cs.ATG" IdentIsAdd()) { -#line 1606 "cs.ATG" +#line 1608 "cs.ATG" addBlock = new EventAddRegion(attributes); AddAccessorDecl( -#line 1607 "cs.ATG" +#line 1609 "cs.ATG" out stmt); -#line 1607 "cs.ATG" +#line 1609 "cs.ATG" attributes = new List(); addBlock.Block = (BlockStatement)stmt; while (la.kind == 18) { AttributeSection( -#line 1608 "cs.ATG" +#line 1610 "cs.ATG" out section); -#line 1608 "cs.ATG" +#line 1610 "cs.ATG" attributes.Add(section); } RemoveAccessorDecl( -#line 1609 "cs.ATG" +#line 1611 "cs.ATG" out stmt); -#line 1609 "cs.ATG" +#line 1611 "cs.ATG" removeBlock = new EventRemoveRegion(attributes); removeBlock.Block = (BlockStatement)stmt; } else if ( -#line 1610 "cs.ATG" +#line 1612 "cs.ATG" IdentIsRemove()) { RemoveAccessorDecl( -#line 1611 "cs.ATG" +#line 1613 "cs.ATG" out stmt); -#line 1611 "cs.ATG" +#line 1613 "cs.ATG" removeBlock = new EventRemoveRegion(attributes); removeBlock.Block = (BlockStatement)stmt; attributes = new List(); while (la.kind == 18) { AttributeSection( -#line 1612 "cs.ATG" +#line 1614 "cs.ATG" out section); -#line 1612 "cs.ATG" +#line 1614 "cs.ATG" attributes.Add(section); } AddAccessorDecl( -#line 1613 "cs.ATG" +#line 1615 "cs.ATG" out stmt); -#line 1613 "cs.ATG" +#line 1615 "cs.ATG" addBlock = new EventAddRegion(attributes); addBlock.Block = (BlockStatement)stmt; } else if (la.kind == 1) { lexer.NextToken(); -#line 1614 "cs.ATG" +#line 1616 "cs.ATG" Error("add or remove accessor declaration expected"); } else SynErr(159); } void ConstructorInitializer( -#line 1692 "cs.ATG" +#line 1694 "cs.ATG" out ConstructorInitializer ci) { -#line 1693 "cs.ATG" +#line 1695 "cs.ATG" Expression expr; ci = new ConstructorInitializer(); Expect(9); if (la.kind == 50) { lexer.NextToken(); -#line 1697 "cs.ATG" +#line 1699 "cs.ATG" ci.ConstructorInitializerType = ConstructorInitializerType.Base; } else if (la.kind == 110) { lexer.NextToken(); -#line 1698 "cs.ATG" +#line 1700 "cs.ATG" ci.ConstructorInitializerType = ConstructorInitializerType.This; } else SynErr(160); Expect(20); if (StartOf(21)) { Argument( -#line 1701 "cs.ATG" +#line 1703 "cs.ATG" out expr); -#line 1701 "cs.ATG" +#line 1703 "cs.ATG" if (expr != null) { ci.Arguments.Add(expr); } while (la.kind == 14) { lexer.NextToken(); Argument( -#line 1701 "cs.ATG" +#line 1703 "cs.ATG" out expr); -#line 1701 "cs.ATG" +#line 1703 "cs.ATG" if (expr != null) { ci.Arguments.Add(expr); } } } @@ -3073,161 +3075,161 @@ out expr); } void OverloadableOperator( -#line 1715 "cs.ATG" +#line 1717 "cs.ATG" out OverloadableOperatorType op) { -#line 1716 "cs.ATG" +#line 1718 "cs.ATG" op = OverloadableOperatorType.None; switch (la.kind) { case 4: { lexer.NextToken(); -#line 1718 "cs.ATG" +#line 1720 "cs.ATG" op = OverloadableOperatorType.Add; break; } case 5: { lexer.NextToken(); -#line 1719 "cs.ATG" +#line 1721 "cs.ATG" op = OverloadableOperatorType.Subtract; break; } case 24: { lexer.NextToken(); -#line 1721 "cs.ATG" +#line 1723 "cs.ATG" op = OverloadableOperatorType.Not; break; } case 27: { lexer.NextToken(); -#line 1722 "cs.ATG" +#line 1724 "cs.ATG" op = OverloadableOperatorType.BitNot; break; } case 31: { lexer.NextToken(); -#line 1724 "cs.ATG" +#line 1726 "cs.ATG" op = OverloadableOperatorType.Increment; break; } case 32: { lexer.NextToken(); -#line 1725 "cs.ATG" +#line 1727 "cs.ATG" op = OverloadableOperatorType.Decrement; break; } case 112: { lexer.NextToken(); -#line 1727 "cs.ATG" +#line 1729 "cs.ATG" op = OverloadableOperatorType.True; break; } case 71: { lexer.NextToken(); -#line 1728 "cs.ATG" +#line 1730 "cs.ATG" op = OverloadableOperatorType.False; break; } case 6: { lexer.NextToken(); -#line 1730 "cs.ATG" +#line 1732 "cs.ATG" op = OverloadableOperatorType.Multiply; break; } case 7: { lexer.NextToken(); -#line 1731 "cs.ATG" +#line 1733 "cs.ATG" op = OverloadableOperatorType.Divide; break; } case 8: { lexer.NextToken(); -#line 1732 "cs.ATG" +#line 1734 "cs.ATG" op = OverloadableOperatorType.Modulus; break; } case 28: { lexer.NextToken(); -#line 1734 "cs.ATG" +#line 1736 "cs.ATG" op = OverloadableOperatorType.BitwiseAnd; break; } case 29: { lexer.NextToken(); -#line 1735 "cs.ATG" +#line 1737 "cs.ATG" op = OverloadableOperatorType.BitwiseOr; break; } case 30: { lexer.NextToken(); -#line 1736 "cs.ATG" +#line 1738 "cs.ATG" op = OverloadableOperatorType.ExclusiveOr; break; } case 37: { lexer.NextToken(); -#line 1738 "cs.ATG" +#line 1740 "cs.ATG" op = OverloadableOperatorType.ShiftLeft; break; } case 33: { lexer.NextToken(); -#line 1739 "cs.ATG" +#line 1741 "cs.ATG" op = OverloadableOperatorType.Equality; break; } case 34: { lexer.NextToken(); -#line 1740 "cs.ATG" +#line 1742 "cs.ATG" op = OverloadableOperatorType.InEquality; break; } case 23: { lexer.NextToken(); -#line 1741 "cs.ATG" +#line 1743 "cs.ATG" op = OverloadableOperatorType.LessThan; break; } case 35: { lexer.NextToken(); -#line 1742 "cs.ATG" +#line 1744 "cs.ATG" op = OverloadableOperatorType.GreaterThanOrEqual; break; } case 36: { lexer.NextToken(); -#line 1743 "cs.ATG" +#line 1745 "cs.ATG" op = OverloadableOperatorType.LessThanOrEqual; break; } case 22: { lexer.NextToken(); -#line 1744 "cs.ATG" +#line 1746 "cs.ATG" op = OverloadableOperatorType.GreaterThan; if (la.kind == 22) { lexer.NextToken(); -#line 1744 "cs.ATG" +#line 1746 "cs.ATG" op = OverloadableOperatorType.ShiftRight; } break; @@ -3237,34 +3239,34 @@ out OverloadableOperatorType op) { } void VariableDeclarator( -#line 1654 "cs.ATG" +#line 1656 "cs.ATG" List fieldDeclaration) { -#line 1655 "cs.ATG" +#line 1657 "cs.ATG" Expression expr = null; Expect(1); -#line 1657 "cs.ATG" +#line 1659 "cs.ATG" VariableDeclaration f = new VariableDeclaration(t.val); if (la.kind == 3) { lexer.NextToken(); VariableInitializer( -#line 1658 "cs.ATG" +#line 1660 "cs.ATG" out expr); -#line 1658 "cs.ATG" +#line 1660 "cs.ATG" f.Initializer = expr; } -#line 1658 "cs.ATG" +#line 1660 "cs.ATG" fieldDeclaration.Add(f); } void AccessorDecls( -#line 1540 "cs.ATG" +#line 1542 "cs.ATG" out PropertyGetRegion getBlock, out PropertySetRegion setBlock) { -#line 1542 "cs.ATG" +#line 1544 "cs.ATG" List attributes = new List(); AttributeSection section; getBlock = null; @@ -3273,96 +3275,96 @@ out PropertyGetRegion getBlock, out PropertySetRegion setBlock) { while (la.kind == 18) { AttributeSection( -#line 1549 "cs.ATG" +#line 1551 "cs.ATG" out section); -#line 1549 "cs.ATG" +#line 1551 "cs.ATG" attributes.Add(section); } if (la.kind == 83 || la.kind == 95 || la.kind == 96) { AccessorModifiers( -#line 1550 "cs.ATG" +#line 1552 "cs.ATG" out modifiers); } if ( -#line 1552 "cs.ATG" +#line 1554 "cs.ATG" IdentIsGet()) { GetAccessorDecl( -#line 1553 "cs.ATG" +#line 1555 "cs.ATG" out getBlock, attributes); -#line 1554 "cs.ATG" +#line 1556 "cs.ATG" if (modifiers != null) {getBlock.Modifier = modifiers.Modifier; } if (StartOf(22)) { -#line 1555 "cs.ATG" +#line 1557 "cs.ATG" attributes = new List(); modifiers = null; while (la.kind == 18) { AttributeSection( -#line 1556 "cs.ATG" +#line 1558 "cs.ATG" out section); -#line 1556 "cs.ATG" +#line 1558 "cs.ATG" attributes.Add(section); } if (la.kind == 83 || la.kind == 95 || la.kind == 96) { AccessorModifiers( -#line 1557 "cs.ATG" +#line 1559 "cs.ATG" out modifiers); } SetAccessorDecl( -#line 1558 "cs.ATG" +#line 1560 "cs.ATG" out setBlock, attributes); -#line 1559 "cs.ATG" +#line 1561 "cs.ATG" if (modifiers != null) {setBlock.Modifier = modifiers.Modifier; } } } else if ( -#line 1561 "cs.ATG" +#line 1563 "cs.ATG" IdentIsSet()) { SetAccessorDecl( -#line 1562 "cs.ATG" +#line 1564 "cs.ATG" out setBlock, attributes); -#line 1563 "cs.ATG" +#line 1565 "cs.ATG" if (modifiers != null) {setBlock.Modifier = modifiers.Modifier; } if (StartOf(22)) { -#line 1564 "cs.ATG" +#line 1566 "cs.ATG" attributes = new List(); modifiers = null; while (la.kind == 18) { AttributeSection( -#line 1565 "cs.ATG" +#line 1567 "cs.ATG" out section); -#line 1565 "cs.ATG" +#line 1567 "cs.ATG" attributes.Add(section); } if (la.kind == 83 || la.kind == 95 || la.kind == 96) { AccessorModifiers( -#line 1566 "cs.ATG" +#line 1568 "cs.ATG" out modifiers); } GetAccessorDecl( -#line 1567 "cs.ATG" +#line 1569 "cs.ATG" out getBlock, attributes); -#line 1568 "cs.ATG" +#line 1570 "cs.ATG" if (modifiers != null) {getBlock.Modifier = modifiers.Modifier; } } } else if (la.kind == 1) { lexer.NextToken(); -#line 1570 "cs.ATG" +#line 1572 "cs.ATG" Error("get or set accessor declaration expected"); } else SynErr(162); } void InterfaceAccessors( -#line 1618 "cs.ATG" +#line 1620 "cs.ATG" out PropertyGetRegion getBlock, out PropertySetRegion setBlock) { -#line 1620 "cs.ATG" +#line 1622 "cs.ATG" AttributeSection section; List attributes = new List(); getBlock = null; setBlock = null; @@ -3370,284 +3372,284 @@ out PropertyGetRegion getBlock, out PropertySetRegion setBlock) { while (la.kind == 18) { AttributeSection( -#line 1626 "cs.ATG" +#line 1628 "cs.ATG" out section); -#line 1626 "cs.ATG" +#line 1628 "cs.ATG" attributes.Add(section); } -#line 1627 "cs.ATG" +#line 1629 "cs.ATG" Point startLocation = la.Location; if ( -#line 1629 "cs.ATG" +#line 1631 "cs.ATG" IdentIsGet()) { Expect(1); -#line 1629 "cs.ATG" +#line 1631 "cs.ATG" getBlock = new PropertyGetRegion(null, attributes); } else if ( -#line 1630 "cs.ATG" +#line 1632 "cs.ATG" IdentIsSet()) { Expect(1); -#line 1630 "cs.ATG" +#line 1632 "cs.ATG" setBlock = new PropertySetRegion(null, attributes); } else if (la.kind == 1) { lexer.NextToken(); -#line 1631 "cs.ATG" +#line 1633 "cs.ATG" Error("set or get expected"); } else SynErr(163); Expect(11); -#line 1634 "cs.ATG" +#line 1636 "cs.ATG" if (getBlock != null) { getBlock.StartLocation = startLocation; getBlock.EndLocation = t.EndLocation; } if (setBlock != null) { setBlock.StartLocation = startLocation; setBlock.EndLocation = t.EndLocation; } attributes = new List(); if (la.kind == 1 || la.kind == 18) { while (la.kind == 18) { AttributeSection( -#line 1638 "cs.ATG" +#line 1640 "cs.ATG" out section); -#line 1638 "cs.ATG" +#line 1640 "cs.ATG" attributes.Add(section); } -#line 1639 "cs.ATG" +#line 1641 "cs.ATG" startLocation = la.Location; if ( -#line 1641 "cs.ATG" +#line 1643 "cs.ATG" IdentIsGet()) { Expect(1); -#line 1641 "cs.ATG" +#line 1643 "cs.ATG" if (getBlock != null) Error("get already declared"); else { getBlock = new PropertyGetRegion(null, attributes); lastBlock = getBlock; } } else if ( -#line 1644 "cs.ATG" +#line 1646 "cs.ATG" IdentIsSet()) { Expect(1); -#line 1644 "cs.ATG" +#line 1646 "cs.ATG" if (setBlock != null) Error("set already declared"); else { setBlock = new PropertySetRegion(null, attributes); lastBlock = setBlock; } } else if (la.kind == 1) { lexer.NextToken(); -#line 1647 "cs.ATG" +#line 1649 "cs.ATG" Error("set or get expected"); } else SynErr(164); Expect(11); -#line 1650 "cs.ATG" +#line 1652 "cs.ATG" if (lastBlock != null) { lastBlock.StartLocation = startLocation; lastBlock.EndLocation = t.EndLocation; } } } void GetAccessorDecl( -#line 1574 "cs.ATG" +#line 1576 "cs.ATG" out PropertyGetRegion getBlock, List attributes) { -#line 1575 "cs.ATG" +#line 1577 "cs.ATG" Statement stmt = null; Expect(1); -#line 1578 "cs.ATG" +#line 1580 "cs.ATG" if (t.val != "get") Error("get expected"); -#line 1579 "cs.ATG" +#line 1581 "cs.ATG" Point startLocation = t.Location; if (la.kind == 16) { Block( -#line 1580 "cs.ATG" +#line 1582 "cs.ATG" out stmt); } else if (la.kind == 11) { lexer.NextToken(); } else SynErr(165); -#line 1581 "cs.ATG" +#line 1583 "cs.ATG" getBlock = new PropertyGetRegion((BlockStatement)stmt, attributes); -#line 1582 "cs.ATG" +#line 1584 "cs.ATG" getBlock.StartLocation = startLocation; getBlock.EndLocation = t.EndLocation; } void SetAccessorDecl( -#line 1585 "cs.ATG" +#line 1587 "cs.ATG" out PropertySetRegion setBlock, List attributes) { -#line 1586 "cs.ATG" +#line 1588 "cs.ATG" Statement stmt = null; Expect(1); -#line 1589 "cs.ATG" +#line 1591 "cs.ATG" if (t.val != "set") Error("set expected"); -#line 1590 "cs.ATG" +#line 1592 "cs.ATG" Point startLocation = t.Location; if (la.kind == 16) { Block( -#line 1591 "cs.ATG" +#line 1593 "cs.ATG" out stmt); } else if (la.kind == 11) { lexer.NextToken(); } else SynErr(166); -#line 1592 "cs.ATG" +#line 1594 "cs.ATG" setBlock = new PropertySetRegion((BlockStatement)stmt, attributes); -#line 1593 "cs.ATG" +#line 1595 "cs.ATG" setBlock.StartLocation = startLocation; setBlock.EndLocation = t.EndLocation; } void AddAccessorDecl( -#line 1676 "cs.ATG" +#line 1678 "cs.ATG" out Statement stmt) { -#line 1677 "cs.ATG" +#line 1679 "cs.ATG" stmt = null; Expect(1); -#line 1680 "cs.ATG" +#line 1682 "cs.ATG" if (t.val != "add") Error("add expected"); Block( -#line 1681 "cs.ATG" +#line 1683 "cs.ATG" out stmt); } void RemoveAccessorDecl( -#line 1684 "cs.ATG" +#line 1686 "cs.ATG" out Statement stmt) { -#line 1685 "cs.ATG" +#line 1687 "cs.ATG" stmt = null; Expect(1); -#line 1688 "cs.ATG" +#line 1690 "cs.ATG" if (t.val != "remove") Error("remove expected"); Block( -#line 1689 "cs.ATG" +#line 1691 "cs.ATG" out stmt); } void VariableInitializer( -#line 1705 "cs.ATG" +#line 1707 "cs.ATG" out Expression initializerExpression) { -#line 1706 "cs.ATG" +#line 1708 "cs.ATG" TypeReference type = null; Expression expr = null; initializerExpression = null; if (StartOf(5)) { Expr( -#line 1708 "cs.ATG" +#line 1710 "cs.ATG" out initializerExpression); } else if (la.kind == 16) { ArrayInitializer( -#line 1709 "cs.ATG" +#line 1711 "cs.ATG" out initializerExpression); } else if (la.kind == 105) { lexer.NextToken(); Type( -#line 1710 "cs.ATG" +#line 1712 "cs.ATG" out type); Expect(18); Expr( -#line 1710 "cs.ATG" +#line 1712 "cs.ATG" out expr); Expect(19); -#line 1710 "cs.ATG" +#line 1712 "cs.ATG" initializerExpression = new StackAllocExpression(type, expr); } else if (la.kind == 62) { lexer.NextToken(); Expect(20); Type( -#line 1712 "cs.ATG" +#line 1714 "cs.ATG" out type); Expect(21); -#line 1712 "cs.ATG" +#line 1714 "cs.ATG" initializerExpression = new DefaultValueExpression(type); } else SynErr(167); } void Statement() { -#line 1824 "cs.ATG" +#line 1826 "cs.ATG" TypeReference type; Expression expr; Statement stmt = null; Point startPos = la.Location; if ( -#line 1832 "cs.ATG" +#line 1834 "cs.ATG" IsLabel()) { Expect(1); -#line 1832 "cs.ATG" +#line 1834 "cs.ATG" compilationUnit.AddChild(new LabelStatement(t.val)); Expect(9); Statement(); } else if (la.kind == 59) { lexer.NextToken(); Type( -#line 1835 "cs.ATG" +#line 1837 "cs.ATG" out type); -#line 1835 "cs.ATG" +#line 1837 "cs.ATG" LocalVariableDeclaration var = new LocalVariableDeclaration(type, Modifier.Const); string ident = null; var.StartLocation = t.Location; Expect(1); -#line 1836 "cs.ATG" +#line 1838 "cs.ATG" ident = t.val; Expect(3); Expr( -#line 1837 "cs.ATG" +#line 1839 "cs.ATG" out expr); -#line 1837 "cs.ATG" +#line 1839 "cs.ATG" var.Variables.Add(new VariableDeclaration(ident, expr)); while (la.kind == 14) { lexer.NextToken(); Expect(1); -#line 1838 "cs.ATG" +#line 1840 "cs.ATG" ident = t.val; Expect(3); Expr( -#line 1838 "cs.ATG" +#line 1840 "cs.ATG" out expr); -#line 1838 "cs.ATG" +#line 1840 "cs.ATG" var.Variables.Add(new VariableDeclaration(ident, expr)); } Expect(11); -#line 1839 "cs.ATG" +#line 1841 "cs.ATG" compilationUnit.AddChild(var); } else if ( -#line 1841 "cs.ATG" +#line 1843 "cs.ATG" IsLocalVarDecl()) { LocalVariableDecl( -#line 1841 "cs.ATG" +#line 1843 "cs.ATG" out stmt); Expect(11); -#line 1841 "cs.ATG" +#line 1843 "cs.ATG" compilationUnit.AddChild(stmt); } else if (StartOf(23)) { EmbeddedStatement( -#line 1842 "cs.ATG" +#line 1844 "cs.ATG" out stmt); -#line 1842 "cs.ATG" +#line 1844 "cs.ATG" compilationUnit.AddChild(stmt); } else SynErr(168); -#line 1848 "cs.ATG" +#line 1850 "cs.ATG" if (stmt != null) { stmt.StartLocation = startPos; stmt.EndLocation = t.EndLocation; @@ -3656,10 +3658,10 @@ out stmt); } void Argument( -#line 1747 "cs.ATG" +#line 1749 "cs.ATG" out Expression argumentexpr) { -#line 1749 "cs.ATG" +#line 1751 "cs.ATG" Expression expr; FieldDirection fd = FieldDirection.None; @@ -3667,48 +3669,48 @@ out Expression argumentexpr) { if (la.kind == 99) { lexer.NextToken(); -#line 1754 "cs.ATG" +#line 1756 "cs.ATG" fd = FieldDirection.Ref; } else { lexer.NextToken(); -#line 1755 "cs.ATG" +#line 1757 "cs.ATG" fd = FieldDirection.Out; } } Expr( -#line 1757 "cs.ATG" +#line 1759 "cs.ATG" out expr); -#line 1757 "cs.ATG" +#line 1759 "cs.ATG" argumentexpr = fd != FieldDirection.None ? argumentexpr = new DirectionExpression(fd, expr) : expr; } void ArrayInitializer( -#line 1777 "cs.ATG" +#line 1779 "cs.ATG" out Expression outExpr) { -#line 1779 "cs.ATG" +#line 1781 "cs.ATG" Expression expr = null; ArrayInitializerExpression initializer = new ArrayInitializerExpression(); Expect(16); if (StartOf(24)) { VariableInitializer( -#line 1784 "cs.ATG" +#line 1786 "cs.ATG" out expr); -#line 1785 "cs.ATG" +#line 1787 "cs.ATG" if (expr != null) { initializer.CreateExpressions.Add(expr); } while ( -#line 1786 "cs.ATG" +#line 1788 "cs.ATG" NotFinalComma()) { Expect(14); VariableInitializer( -#line 1787 "cs.ATG" +#line 1789 "cs.ATG" out expr); -#line 1788 "cs.ATG" +#line 1790 "cs.ATG" if (expr != null) { initializer.CreateExpressions.Add(expr); } } if (la.kind == 14) { @@ -3717,138 +3719,138 @@ out expr); } Expect(17); -#line 1792 "cs.ATG" +#line 1794 "cs.ATG" outExpr = initializer; } void AssignmentOperator( -#line 1760 "cs.ATG" +#line 1762 "cs.ATG" out AssignmentOperatorType op) { -#line 1761 "cs.ATG" +#line 1763 "cs.ATG" op = AssignmentOperatorType.None; if (la.kind == 3) { lexer.NextToken(); -#line 1763 "cs.ATG" +#line 1765 "cs.ATG" op = AssignmentOperatorType.Assign; } else if (la.kind == 38) { lexer.NextToken(); -#line 1764 "cs.ATG" +#line 1766 "cs.ATG" op = AssignmentOperatorType.Add; } else if (la.kind == 39) { lexer.NextToken(); -#line 1765 "cs.ATG" +#line 1767 "cs.ATG" op = AssignmentOperatorType.Subtract; } else if (la.kind == 40) { lexer.NextToken(); -#line 1766 "cs.ATG" +#line 1768 "cs.ATG" op = AssignmentOperatorType.Multiply; } else if (la.kind == 41) { lexer.NextToken(); -#line 1767 "cs.ATG" +#line 1769 "cs.ATG" op = AssignmentOperatorType.Divide; } else if (la.kind == 42) { lexer.NextToken(); -#line 1768 "cs.ATG" +#line 1770 "cs.ATG" op = AssignmentOperatorType.Modulus; } else if (la.kind == 43) { lexer.NextToken(); -#line 1769 "cs.ATG" +#line 1771 "cs.ATG" op = AssignmentOperatorType.BitwiseAnd; } else if (la.kind == 44) { lexer.NextToken(); -#line 1770 "cs.ATG" +#line 1772 "cs.ATG" op = AssignmentOperatorType.BitwiseOr; } else if (la.kind == 45) { lexer.NextToken(); -#line 1771 "cs.ATG" +#line 1773 "cs.ATG" op = AssignmentOperatorType.ExclusiveOr; } else if (la.kind == 46) { lexer.NextToken(); -#line 1772 "cs.ATG" +#line 1774 "cs.ATG" op = AssignmentOperatorType.ShiftLeft; } else if ( -#line 1773 "cs.ATG" +#line 1775 "cs.ATG" la.kind == Tokens.GreaterThan && Peek(1).kind == Tokens.GreaterEqual) { Expect(22); Expect(35); -#line 1774 "cs.ATG" +#line 1776 "cs.ATG" op = AssignmentOperatorType.ShiftRight; } else SynErr(169); } void LocalVariableDecl( -#line 1795 "cs.ATG" +#line 1797 "cs.ATG" out Statement stmt) { -#line 1797 "cs.ATG" +#line 1799 "cs.ATG" TypeReference type; VariableDeclaration var = null; LocalVariableDeclaration localVariableDeclaration; Type( -#line 1802 "cs.ATG" +#line 1804 "cs.ATG" out type); -#line 1802 "cs.ATG" +#line 1804 "cs.ATG" localVariableDeclaration = new LocalVariableDeclaration(type); localVariableDeclaration.StartLocation = t.Location; LocalVariableDeclarator( -#line 1803 "cs.ATG" +#line 1805 "cs.ATG" out var); -#line 1803 "cs.ATG" +#line 1805 "cs.ATG" localVariableDeclaration.Variables.Add(var); while (la.kind == 14) { lexer.NextToken(); LocalVariableDeclarator( -#line 1804 "cs.ATG" +#line 1806 "cs.ATG" out var); -#line 1804 "cs.ATG" +#line 1806 "cs.ATG" localVariableDeclaration.Variables.Add(var); } -#line 1805 "cs.ATG" +#line 1807 "cs.ATG" stmt = localVariableDeclaration; } void LocalVariableDeclarator( -#line 1808 "cs.ATG" +#line 1810 "cs.ATG" out VariableDeclaration var) { -#line 1809 "cs.ATG" +#line 1811 "cs.ATG" Expression expr = null; Expect(1); -#line 1812 "cs.ATG" +#line 1814 "cs.ATG" var = new VariableDeclaration(t.val); if (la.kind == 3) { lexer.NextToken(); VariableInitializer( -#line 1812 "cs.ATG" +#line 1814 "cs.ATG" out expr); -#line 1812 "cs.ATG" +#line 1814 "cs.ATG" var.Initializer = expr; } } void EmbeddedStatement( -#line 1855 "cs.ATG" +#line 1857 "cs.ATG" out Statement statement) { -#line 1857 "cs.ATG" +#line 1859 "cs.ATG" TypeReference type = null; Expression expr = null; Statement embeddedStatement = null; @@ -3856,57 +3858,57 @@ out Statement statement) { if (la.kind == 16) { Block( -#line 1863 "cs.ATG" +#line 1865 "cs.ATG" out statement); } else if (la.kind == 11) { lexer.NextToken(); -#line 1865 "cs.ATG" +#line 1867 "cs.ATG" statement = new EmptyStatement(); } else if ( -#line 1867 "cs.ATG" +#line 1869 "cs.ATG" UnCheckedAndLBrace()) { -#line 1867 "cs.ATG" +#line 1869 "cs.ATG" Statement block; bool isChecked = true; if (la.kind == 57) { lexer.NextToken(); } else if (la.kind == 117) { lexer.NextToken(); -#line 1868 "cs.ATG" +#line 1870 "cs.ATG" isChecked = false; } else SynErr(170); Block( -#line 1869 "cs.ATG" +#line 1871 "cs.ATG" out block); -#line 1869 "cs.ATG" +#line 1871 "cs.ATG" statement = isChecked ? (Statement)new CheckedStatement(block) : (Statement)new UncheckedStatement(block); } else if (la.kind == 78) { lexer.NextToken(); -#line 1871 "cs.ATG" +#line 1873 "cs.ATG" Statement elseStatement = null; Expect(20); Expr( -#line 1872 "cs.ATG" +#line 1874 "cs.ATG" out expr); Expect(21); EmbeddedStatement( -#line 1873 "cs.ATG" +#line 1875 "cs.ATG" out embeddedStatement); if (la.kind == 66) { lexer.NextToken(); EmbeddedStatement( -#line 1874 "cs.ATG" +#line 1876 "cs.ATG" out elseStatement); } -#line 1875 "cs.ATG" +#line 1877 "cs.ATG" statement = elseStatement != null ? new IfElseStatement(expr, embeddedStatement, elseStatement) : new IfElseStatement(expr, embeddedStatement); -#line 1876 "cs.ATG" +#line 1878 "cs.ATG" if (elseStatement is IfElseStatement && (elseStatement as IfElseStatement).TrueStatement.Count == 1) { /* else if-section (otherwise we would have a BlockStatment) */ (statement as IfElseStatement).ElseIfSections.Add( @@ -3918,104 +3920,104 @@ out elseStatement); } else if (la.kind == 109) { lexer.NextToken(); -#line 1884 "cs.ATG" +#line 1886 "cs.ATG" List switchSections = new List(); SwitchSection switchSection; Expect(20); Expr( -#line 1885 "cs.ATG" +#line 1887 "cs.ATG" out expr); Expect(21); Expect(16); while (la.kind == 54 || la.kind == 62) { SwitchSection( -#line 1886 "cs.ATG" +#line 1888 "cs.ATG" out switchSection); -#line 1886 "cs.ATG" +#line 1888 "cs.ATG" switchSections.Add(switchSection); } Expect(17); -#line 1887 "cs.ATG" +#line 1889 "cs.ATG" statement = new SwitchStatement(expr, switchSections); } else if (la.kind == 124) { lexer.NextToken(); Expect(20); Expr( -#line 1889 "cs.ATG" +#line 1891 "cs.ATG" out expr); Expect(21); EmbeddedStatement( -#line 1891 "cs.ATG" +#line 1893 "cs.ATG" out embeddedStatement); -#line 1891 "cs.ATG" +#line 1893 "cs.ATG" statement = new DoLoopStatement(expr, embeddedStatement, ConditionType.While, ConditionPosition.Start); } else if (la.kind == 64) { lexer.NextToken(); EmbeddedStatement( -#line 1892 "cs.ATG" +#line 1894 "cs.ATG" out embeddedStatement); Expect(124); Expect(20); Expr( -#line 1893 "cs.ATG" +#line 1895 "cs.ATG" out expr); Expect(21); Expect(11); -#line 1893 "cs.ATG" +#line 1895 "cs.ATG" statement = new DoLoopStatement(expr, embeddedStatement, ConditionType.While, ConditionPosition.End); } else if (la.kind == 75) { lexer.NextToken(); -#line 1894 "cs.ATG" +#line 1896 "cs.ATG" List initializer = null; List iterator = null; Expect(20); if (StartOf(5)) { ForInitializer( -#line 1895 "cs.ATG" +#line 1897 "cs.ATG" out initializer); } Expect(11); if (StartOf(5)) { Expr( -#line 1896 "cs.ATG" +#line 1898 "cs.ATG" out expr); } Expect(11); if (StartOf(5)) { ForIterator( -#line 1897 "cs.ATG" +#line 1899 "cs.ATG" out iterator); } Expect(21); EmbeddedStatement( -#line 1898 "cs.ATG" +#line 1900 "cs.ATG" out embeddedStatement); -#line 1898 "cs.ATG" +#line 1900 "cs.ATG" statement = new ForStatement(initializer, expr, iterator, embeddedStatement); } else if (la.kind == 76) { lexer.NextToken(); Expect(20); Type( -#line 1899 "cs.ATG" +#line 1901 "cs.ATG" out type); Expect(1); -#line 1899 "cs.ATG" +#line 1901 "cs.ATG" string varName = t.val; Point start = t.Location; Expect(80); Expr( -#line 1900 "cs.ATG" +#line 1902 "cs.ATG" out expr); Expect(21); EmbeddedStatement( -#line 1901 "cs.ATG" +#line 1903 "cs.ATG" out embeddedStatement); -#line 1901 "cs.ATG" +#line 1903 "cs.ATG" statement = new ForeachStatement(type, varName , expr, embeddedStatement); statement.EndLocation = t.EndLocation; @@ -4023,34 +4025,34 @@ out embeddedStatement); lexer.NextToken(); Expect(11); -#line 1905 "cs.ATG" +#line 1907 "cs.ATG" statement = new BreakStatement(); } else if (la.kind == 60) { lexer.NextToken(); Expect(11); -#line 1906 "cs.ATG" +#line 1908 "cs.ATG" statement = new ContinueStatement(); } else if (la.kind == 77) { GotoStatement( -#line 1907 "cs.ATG" +#line 1909 "cs.ATG" out statement); } else if ( -#line 1908 "cs.ATG" +#line 1910 "cs.ATG" IsYieldStatement()) { Expect(1); if (la.kind == 100) { lexer.NextToken(); Expr( -#line 1908 "cs.ATG" +#line 1910 "cs.ATG" out expr); -#line 1908 "cs.ATG" +#line 1910 "cs.ATG" statement = new YieldStatement(new ReturnStatement(expr)); } else if (la.kind == 52) { lexer.NextToken(); -#line 1909 "cs.ATG" +#line 1911 "cs.ATG" statement = new YieldStatement(new BreakStatement()); } else SynErr(171); Expect(11); @@ -4058,488 +4060,488 @@ out expr); lexer.NextToken(); if (StartOf(5)) { Expr( -#line 1910 "cs.ATG" +#line 1912 "cs.ATG" out expr); } Expect(11); -#line 1910 "cs.ATG" +#line 1912 "cs.ATG" statement = new ReturnStatement(expr); } else if (la.kind == 111) { lexer.NextToken(); if (StartOf(5)) { Expr( -#line 1911 "cs.ATG" +#line 1913 "cs.ATG" out expr); } Expect(11); -#line 1911 "cs.ATG" +#line 1913 "cs.ATG" statement = new ThrowStatement(expr); } else if (StartOf(5)) { StatementExpr( -#line 1914 "cs.ATG" +#line 1916 "cs.ATG" out statement); Expect(11); } else if (la.kind == 113) { TryStatement( -#line 1916 "cs.ATG" +#line 1918 "cs.ATG" out statement); } else if (la.kind == 85) { lexer.NextToken(); Expect(20); Expr( -#line 1918 "cs.ATG" +#line 1920 "cs.ATG" out expr); Expect(21); EmbeddedStatement( -#line 1919 "cs.ATG" +#line 1921 "cs.ATG" out embeddedStatement); -#line 1919 "cs.ATG" +#line 1921 "cs.ATG" statement = new LockStatement(expr, embeddedStatement); } else if (la.kind == 120) { -#line 1921 "cs.ATG" +#line 1923 "cs.ATG" Statement resourceAcquisitionStmt = null; lexer.NextToken(); Expect(20); ResourceAcquisition( -#line 1923 "cs.ATG" +#line 1925 "cs.ATG" out resourceAcquisitionStmt); Expect(21); EmbeddedStatement( -#line 1924 "cs.ATG" +#line 1926 "cs.ATG" out embeddedStatement); -#line 1924 "cs.ATG" +#line 1926 "cs.ATG" statement = new UsingStatement(resourceAcquisitionStmt, embeddedStatement); } else if (la.kind == 118) { lexer.NextToken(); Block( -#line 1926 "cs.ATG" +#line 1928 "cs.ATG" out embeddedStatement); -#line 1926 "cs.ATG" +#line 1928 "cs.ATG" statement = new UnsafeStatement(embeddedStatement); } else if (la.kind == 73) { lexer.NextToken(); Expect(20); Type( -#line 1929 "cs.ATG" +#line 1931 "cs.ATG" out type); -#line 1929 "cs.ATG" +#line 1931 "cs.ATG" if (type.PointerNestingLevel == 0) Error("can only fix pointer types"); List pointerDeclarators = new List(1); Expect(1); -#line 1932 "cs.ATG" +#line 1934 "cs.ATG" string identifier = t.val; Expect(3); Expr( -#line 1933 "cs.ATG" +#line 1935 "cs.ATG" out expr); -#line 1933 "cs.ATG" +#line 1935 "cs.ATG" pointerDeclarators.Add(new VariableDeclaration(identifier, expr)); while (la.kind == 14) { lexer.NextToken(); Expect(1); -#line 1935 "cs.ATG" +#line 1937 "cs.ATG" identifier = t.val; Expect(3); Expr( -#line 1936 "cs.ATG" +#line 1938 "cs.ATG" out expr); -#line 1936 "cs.ATG" +#line 1938 "cs.ATG" pointerDeclarators.Add(new VariableDeclaration(identifier, expr)); } Expect(21); EmbeddedStatement( -#line 1938 "cs.ATG" +#line 1940 "cs.ATG" out embeddedStatement); -#line 1938 "cs.ATG" +#line 1940 "cs.ATG" statement = new FixedStatement(type, pointerDeclarators, embeddedStatement); } else SynErr(172); } void SwitchSection( -#line 1960 "cs.ATG" +#line 1962 "cs.ATG" out SwitchSection stmt) { -#line 1962 "cs.ATG" +#line 1964 "cs.ATG" SwitchSection switchSection = new SwitchSection(); CaseLabel label; SwitchLabel( -#line 1966 "cs.ATG" +#line 1968 "cs.ATG" out label); -#line 1966 "cs.ATG" +#line 1968 "cs.ATG" switchSection.SwitchLabels.Add(label); while (la.kind == 54 || la.kind == 62) { SwitchLabel( -#line 1968 "cs.ATG" +#line 1970 "cs.ATG" out label); -#line 1968 "cs.ATG" +#line 1970 "cs.ATG" switchSection.SwitchLabels.Add(label); } -#line 1970 "cs.ATG" +#line 1972 "cs.ATG" compilationUnit.BlockStart(switchSection); Statement(); while (StartOf(20)) { Statement(); } -#line 1973 "cs.ATG" +#line 1975 "cs.ATG" compilationUnit.BlockEnd(); stmt = switchSection; } void ForInitializer( -#line 1941 "cs.ATG" +#line 1943 "cs.ATG" out List initializer) { -#line 1943 "cs.ATG" +#line 1945 "cs.ATG" Statement stmt; initializer = new List(); if ( -#line 1947 "cs.ATG" +#line 1949 "cs.ATG" IsLocalVarDecl()) { LocalVariableDecl( -#line 1947 "cs.ATG" +#line 1949 "cs.ATG" out stmt); -#line 1947 "cs.ATG" +#line 1949 "cs.ATG" initializer.Add(stmt); } else if (StartOf(5)) { StatementExpr( -#line 1948 "cs.ATG" +#line 1950 "cs.ATG" out stmt); -#line 1948 "cs.ATG" +#line 1950 "cs.ATG" initializer.Add(stmt); while (la.kind == 14) { lexer.NextToken(); StatementExpr( -#line 1948 "cs.ATG" +#line 1950 "cs.ATG" out stmt); -#line 1948 "cs.ATG" +#line 1950 "cs.ATG" initializer.Add(stmt); } } else SynErr(173); } void ForIterator( -#line 1951 "cs.ATG" +#line 1953 "cs.ATG" out List iterator) { -#line 1953 "cs.ATG" +#line 1955 "cs.ATG" Statement stmt; iterator = new List(); StatementExpr( -#line 1957 "cs.ATG" +#line 1959 "cs.ATG" out stmt); -#line 1957 "cs.ATG" +#line 1959 "cs.ATG" iterator.Add(stmt); while (la.kind == 14) { lexer.NextToken(); StatementExpr( -#line 1957 "cs.ATG" +#line 1959 "cs.ATG" out stmt); -#line 1957 "cs.ATG" +#line 1959 "cs.ATG" iterator.Add(stmt); } } void GotoStatement( -#line 2028 "cs.ATG" +#line 2030 "cs.ATG" out Statement stmt) { -#line 2029 "cs.ATG" +#line 2031 "cs.ATG" Expression expr; stmt = null; Expect(77); if (la.kind == 1) { lexer.NextToken(); -#line 2033 "cs.ATG" +#line 2035 "cs.ATG" stmt = new GotoStatement(t.val); Expect(11); } else if (la.kind == 54) { lexer.NextToken(); Expr( -#line 2034 "cs.ATG" +#line 2036 "cs.ATG" out expr); Expect(11); -#line 2034 "cs.ATG" +#line 2036 "cs.ATG" stmt = new GotoCaseStatement(expr); } else if (la.kind == 62) { lexer.NextToken(); Expect(11); -#line 2035 "cs.ATG" +#line 2037 "cs.ATG" stmt = new GotoCaseStatement(null); } else SynErr(174); } void StatementExpr( -#line 2055 "cs.ATG" +#line 2057 "cs.ATG" out Statement stmt) { -#line 2056 "cs.ATG" +#line 2058 "cs.ATG" Expression expr; Expr( -#line 2058 "cs.ATG" +#line 2060 "cs.ATG" out expr); -#line 2061 "cs.ATG" +#line 2063 "cs.ATG" stmt = new StatementExpression(expr); } void TryStatement( -#line 1985 "cs.ATG" +#line 1987 "cs.ATG" out Statement tryStatement) { -#line 1987 "cs.ATG" +#line 1989 "cs.ATG" Statement blockStmt = null, finallyStmt = null; List catchClauses = null; Expect(113); Block( -#line 1991 "cs.ATG" +#line 1993 "cs.ATG" out blockStmt); if (la.kind == 55) { CatchClauses( -#line 1993 "cs.ATG" +#line 1995 "cs.ATG" out catchClauses); if (la.kind == 72) { lexer.NextToken(); Block( -#line 1993 "cs.ATG" +#line 1995 "cs.ATG" out finallyStmt); } } else if (la.kind == 72) { lexer.NextToken(); Block( -#line 1994 "cs.ATG" +#line 1996 "cs.ATG" out finallyStmt); } else SynErr(175); -#line 1997 "cs.ATG" +#line 1999 "cs.ATG" tryStatement = new TryCatchStatement(blockStmt, catchClauses, finallyStmt); } void ResourceAcquisition( -#line 2039 "cs.ATG" +#line 2041 "cs.ATG" out Statement stmt) { -#line 2041 "cs.ATG" +#line 2043 "cs.ATG" stmt = null; Expression expr; if ( -#line 2046 "cs.ATG" +#line 2048 "cs.ATG" IsLocalVarDecl()) { LocalVariableDecl( -#line 2046 "cs.ATG" +#line 2048 "cs.ATG" out stmt); } else if (StartOf(5)) { Expr( -#line 2047 "cs.ATG" +#line 2049 "cs.ATG" out expr); -#line 2051 "cs.ATG" +#line 2053 "cs.ATG" stmt = new StatementExpression(expr); } else SynErr(176); } void SwitchLabel( -#line 1978 "cs.ATG" +#line 1980 "cs.ATG" out CaseLabel label) { -#line 1979 "cs.ATG" +#line 1981 "cs.ATG" Expression expr = null; label = null; if (la.kind == 54) { lexer.NextToken(); Expr( -#line 1981 "cs.ATG" +#line 1983 "cs.ATG" out expr); Expect(9); -#line 1981 "cs.ATG" +#line 1983 "cs.ATG" label = new CaseLabel(expr); } else if (la.kind == 62) { lexer.NextToken(); Expect(9); -#line 1982 "cs.ATG" +#line 1984 "cs.ATG" label = new CaseLabel(); } else SynErr(177); } void CatchClauses( -#line 2002 "cs.ATG" +#line 2004 "cs.ATG" out List catchClauses) { -#line 2004 "cs.ATG" +#line 2006 "cs.ATG" catchClauses = new List(); Expect(55); -#line 2007 "cs.ATG" +#line 2009 "cs.ATG" string identifier; Statement stmt; TypeReference typeRef; if (la.kind == 16) { Block( -#line 2013 "cs.ATG" +#line 2015 "cs.ATG" out stmt); -#line 2013 "cs.ATG" +#line 2015 "cs.ATG" catchClauses.Add(new CatchClause(stmt)); } else if (la.kind == 20) { lexer.NextToken(); ClassType( -#line 2015 "cs.ATG" +#line 2017 "cs.ATG" out typeRef, false); -#line 2015 "cs.ATG" +#line 2017 "cs.ATG" identifier = null; if (la.kind == 1) { lexer.NextToken(); -#line 2016 "cs.ATG" +#line 2018 "cs.ATG" identifier = t.val; } Expect(21); Block( -#line 2017 "cs.ATG" +#line 2019 "cs.ATG" out stmt); -#line 2018 "cs.ATG" +#line 2020 "cs.ATG" catchClauses.Add(new CatchClause(typeRef, identifier, stmt)); while ( -#line 2019 "cs.ATG" +#line 2021 "cs.ATG" IsTypedCatch()) { Expect(55); Expect(20); ClassType( -#line 2019 "cs.ATG" +#line 2021 "cs.ATG" out typeRef, false); -#line 2019 "cs.ATG" +#line 2021 "cs.ATG" identifier = null; if (la.kind == 1) { lexer.NextToken(); -#line 2020 "cs.ATG" +#line 2022 "cs.ATG" identifier = t.val; } Expect(21); Block( -#line 2021 "cs.ATG" +#line 2023 "cs.ATG" out stmt); -#line 2022 "cs.ATG" +#line 2024 "cs.ATG" catchClauses.Add(new CatchClause(typeRef, identifier, stmt)); } if (la.kind == 55) { lexer.NextToken(); Block( -#line 2024 "cs.ATG" +#line 2026 "cs.ATG" out stmt); -#line 2024 "cs.ATG" +#line 2026 "cs.ATG" catchClauses.Add(new CatchClause(stmt)); } } else SynErr(178); } void UnaryExpr( -#line 2082 "cs.ATG" +#line 2084 "cs.ATG" out Expression uExpr) { -#line 2084 "cs.ATG" +#line 2086 "cs.ATG" TypeReference type = null; Expression expr; ArrayList expressions = new ArrayList(); uExpr = null; while (StartOf(25) || -#line 2106 "cs.ATG" +#line 2108 "cs.ATG" IsTypeCast()) { if (la.kind == 4) { lexer.NextToken(); -#line 2093 "cs.ATG" +#line 2095 "cs.ATG" expressions.Add(new UnaryOperatorExpression(UnaryOperatorType.Plus)); } else if (la.kind == 5) { lexer.NextToken(); -#line 2094 "cs.ATG" +#line 2096 "cs.ATG" expressions.Add(new UnaryOperatorExpression(UnaryOperatorType.Minus)); } else if (la.kind == 24) { lexer.NextToken(); -#line 2095 "cs.ATG" +#line 2097 "cs.ATG" expressions.Add(new UnaryOperatorExpression(UnaryOperatorType.Not)); } else if (la.kind == 27) { lexer.NextToken(); -#line 2096 "cs.ATG" +#line 2098 "cs.ATG" expressions.Add(new UnaryOperatorExpression(UnaryOperatorType.BitNot)); } else if (la.kind == 6) { lexer.NextToken(); -#line 2097 "cs.ATG" +#line 2099 "cs.ATG" expressions.Add(new UnaryOperatorExpression(UnaryOperatorType.Star)); } else if (la.kind == 31) { lexer.NextToken(); -#line 2098 "cs.ATG" +#line 2100 "cs.ATG" expressions.Add(new UnaryOperatorExpression(UnaryOperatorType.Increment)); } else if (la.kind == 32) { lexer.NextToken(); -#line 2099 "cs.ATG" +#line 2101 "cs.ATG" expressions.Add(new UnaryOperatorExpression(UnaryOperatorType.Decrement)); } else if (la.kind == 28) { lexer.NextToken(); -#line 2100 "cs.ATG" +#line 2102 "cs.ATG" expressions.Add(new UnaryOperatorExpression(UnaryOperatorType.BitWiseAnd)); } else { Expect(20); Type( -#line 2106 "cs.ATG" +#line 2108 "cs.ATG" out type); Expect(21); -#line 2106 "cs.ATG" +#line 2108 "cs.ATG" expressions.Add(new CastExpression(type)); } } PrimaryExpr( -#line 2110 "cs.ATG" +#line 2112 "cs.ATG" out expr); -#line 2110 "cs.ATG" +#line 2112 "cs.ATG" for (int i = 0; i < expressions.Count; ++i) { Expression nextExpression = i + 1 < expressions.Count ? (Expression)expressions[i + 1] : expr; if (expressions[i] is CastExpression) { @@ -4557,33 +4559,33 @@ out expr); } void ConditionalOrExpr( -#line 2281 "cs.ATG" +#line 2283 "cs.ATG" ref Expression outExpr) { -#line 2282 "cs.ATG" +#line 2284 "cs.ATG" Expression expr; ConditionalAndExpr( -#line 2284 "cs.ATG" +#line 2286 "cs.ATG" ref outExpr); while (la.kind == 26) { lexer.NextToken(); UnaryExpr( -#line 2284 "cs.ATG" +#line 2286 "cs.ATG" out expr); ConditionalAndExpr( -#line 2284 "cs.ATG" +#line 2286 "cs.ATG" ref expr); -#line 2284 "cs.ATG" +#line 2286 "cs.ATG" outExpr = new BinaryOperatorExpression(outExpr, BinaryOperatorType.LogicalOr, expr); } } void PrimaryExpr( -#line 2127 "cs.ATG" +#line 2129 "cs.ATG" out Expression pexpr) { -#line 2129 "cs.ATG" +#line 2131 "cs.ATG" TypeReference type = null; List typeList = null; bool isArrayCreation = false; @@ -4593,332 +4595,332 @@ out Expression pexpr) { if (la.kind == 112) { lexer.NextToken(); -#line 2137 "cs.ATG" +#line 2139 "cs.ATG" pexpr = new PrimitiveExpression(true, "true"); } else if (la.kind == 71) { lexer.NextToken(); -#line 2138 "cs.ATG" +#line 2140 "cs.ATG" pexpr = new PrimitiveExpression(false, "false"); } else if (la.kind == 89) { lexer.NextToken(); -#line 2139 "cs.ATG" +#line 2141 "cs.ATG" pexpr = new PrimitiveExpression(null, "null"); } else if (la.kind == 2) { lexer.NextToken(); -#line 2140 "cs.ATG" +#line 2142 "cs.ATG" pexpr = new PrimitiveExpression(t.literalValue, t.val); } else if ( -#line 2141 "cs.ATG" +#line 2143 "cs.ATG" la.kind == Tokens.Identifier && Peek(1).kind == Tokens.DoubleColon) { Expect(1); -#line 2142 "cs.ATG" +#line 2144 "cs.ATG" type = new TypeReference(t.val); Expect(10); -#line 2143 "cs.ATG" +#line 2145 "cs.ATG" pexpr = new TypeReferenceExpression(type); Expect(1); -#line 2144 "cs.ATG" +#line 2146 "cs.ATG" if (type.Type == "global") { type.IsGlobal = true; type.Type = t.val; } else type.Type += "." + t.val; } else if (la.kind == 1) { lexer.NextToken(); -#line 2146 "cs.ATG" +#line 2148 "cs.ATG" pexpr = new IdentifierExpression(t.val); } else if (la.kind == 20) { lexer.NextToken(); Expr( -#line 2148 "cs.ATG" +#line 2150 "cs.ATG" out expr); Expect(21); -#line 2148 "cs.ATG" +#line 2150 "cs.ATG" pexpr = new ParenthesizedExpression(expr); } else if (StartOf(26)) { -#line 2150 "cs.ATG" +#line 2152 "cs.ATG" string val = null; switch (la.kind) { case 51: { lexer.NextToken(); -#line 2152 "cs.ATG" +#line 2154 "cs.ATG" val = "bool"; break; } case 53: { lexer.NextToken(); -#line 2153 "cs.ATG" +#line 2155 "cs.ATG" val = "byte"; break; } case 56: { lexer.NextToken(); -#line 2154 "cs.ATG" +#line 2156 "cs.ATG" val = "char"; break; } case 61: { lexer.NextToken(); -#line 2155 "cs.ATG" +#line 2157 "cs.ATG" val = "decimal"; break; } case 65: { lexer.NextToken(); -#line 2156 "cs.ATG" +#line 2158 "cs.ATG" val = "double"; break; } case 74: { lexer.NextToken(); -#line 2157 "cs.ATG" +#line 2159 "cs.ATG" val = "float"; break; } case 81: { lexer.NextToken(); -#line 2158 "cs.ATG" +#line 2160 "cs.ATG" val = "int"; break; } case 86: { lexer.NextToken(); -#line 2159 "cs.ATG" +#line 2161 "cs.ATG" val = "long"; break; } case 90: { lexer.NextToken(); -#line 2160 "cs.ATG" +#line 2162 "cs.ATG" val = "object"; break; } case 101: { lexer.NextToken(); -#line 2161 "cs.ATG" +#line 2163 "cs.ATG" val = "sbyte"; break; } case 103: { lexer.NextToken(); -#line 2162 "cs.ATG" +#line 2164 "cs.ATG" val = "short"; break; } case 107: { lexer.NextToken(); -#line 2163 "cs.ATG" +#line 2165 "cs.ATG" val = "string"; break; } case 115: { lexer.NextToken(); -#line 2164 "cs.ATG" +#line 2166 "cs.ATG" val = "uint"; break; } case 116: { lexer.NextToken(); -#line 2165 "cs.ATG" +#line 2167 "cs.ATG" val = "ulong"; break; } case 119: { lexer.NextToken(); -#line 2166 "cs.ATG" +#line 2168 "cs.ATG" val = "ushort"; break; } } -#line 2167 "cs.ATG" +#line 2169 "cs.ATG" t.val = ""; Expect(15); Expect(1); -#line 2167 "cs.ATG" +#line 2169 "cs.ATG" pexpr = new FieldReferenceExpression(new TypeReferenceExpression(val), t.val); } else if (la.kind == 110) { lexer.NextToken(); -#line 2169 "cs.ATG" +#line 2171 "cs.ATG" pexpr = new ThisReferenceExpression(); } else if (la.kind == 50) { lexer.NextToken(); -#line 2171 "cs.ATG" +#line 2173 "cs.ATG" Expression retExpr = new BaseReferenceExpression(); if (la.kind == 15) { lexer.NextToken(); Expect(1); -#line 2173 "cs.ATG" +#line 2175 "cs.ATG" retExpr = new FieldReferenceExpression(retExpr, t.val); } else if (la.kind == 18) { lexer.NextToken(); Expr( -#line 2174 "cs.ATG" +#line 2176 "cs.ATG" out expr); -#line 2174 "cs.ATG" +#line 2176 "cs.ATG" List indices = new List(); if (expr != null) { indices.Add(expr); } while (la.kind == 14) { lexer.NextToken(); Expr( -#line 2175 "cs.ATG" +#line 2177 "cs.ATG" out expr); -#line 2175 "cs.ATG" +#line 2177 "cs.ATG" if (expr != null) { indices.Add(expr); } } Expect(19); -#line 2176 "cs.ATG" +#line 2178 "cs.ATG" retExpr = new IndexerExpression(retExpr, indices); } else SynErr(179); -#line 2177 "cs.ATG" +#line 2179 "cs.ATG" pexpr = retExpr; } else if (la.kind == 88) { lexer.NextToken(); NonArrayType( -#line 2178 "cs.ATG" +#line 2180 "cs.ATG" out type); -#line 2179 "cs.ATG" +#line 2181 "cs.ATG" List parameters = new List(); if (la.kind == 20) { lexer.NextToken(); -#line 2184 "cs.ATG" +#line 2186 "cs.ATG" ObjectCreateExpression oce = new ObjectCreateExpression(type, parameters); if (StartOf(21)) { Argument( -#line 2185 "cs.ATG" +#line 2187 "cs.ATG" out expr); -#line 2185 "cs.ATG" +#line 2187 "cs.ATG" if (expr != null) { parameters.Add(expr); } while (la.kind == 14) { lexer.NextToken(); Argument( -#line 2186 "cs.ATG" +#line 2188 "cs.ATG" out expr); -#line 2186 "cs.ATG" +#line 2188 "cs.ATG" if (expr != null) { parameters.Add(expr); } } } Expect(21); -#line 2188 "cs.ATG" +#line 2190 "cs.ATG" pexpr = oce; } else if (la.kind == 18) { lexer.NextToken(); -#line 2190 "cs.ATG" +#line 2192 "cs.ATG" isArrayCreation = true; ArrayCreateExpression ace = new ArrayCreateExpression(type); pexpr = ace; -#line 2191 "cs.ATG" +#line 2193 "cs.ATG" int dims = 0; List ranks = new List(); if (la.kind == 14 || la.kind == 19) { while (la.kind == 14) { lexer.NextToken(); -#line 2193 "cs.ATG" +#line 2195 "cs.ATG" dims += 1; } Expect(19); -#line 2194 "cs.ATG" +#line 2196 "cs.ATG" ranks.Add(dims); dims = 0; while (la.kind == 18) { lexer.NextToken(); while (la.kind == 14) { lexer.NextToken(); -#line 2195 "cs.ATG" +#line 2197 "cs.ATG" ++dims; } Expect(19); -#line 2195 "cs.ATG" +#line 2197 "cs.ATG" ranks.Add(dims); dims = 0; } -#line 2196 "cs.ATG" +#line 2198 "cs.ATG" ace.CreateType.RankSpecifier = ranks.ToArray(); ArrayInitializer( -#line 2197 "cs.ATG" +#line 2199 "cs.ATG" out expr); -#line 2197 "cs.ATG" +#line 2199 "cs.ATG" ace.ArrayInitializer = (ArrayInitializerExpression)expr; } else if (StartOf(5)) { Expr( -#line 2198 "cs.ATG" +#line 2200 "cs.ATG" out expr); -#line 2198 "cs.ATG" +#line 2200 "cs.ATG" if (expr != null) parameters.Add(expr); while (la.kind == 14) { lexer.NextToken(); -#line 2199 "cs.ATG" +#line 2201 "cs.ATG" dims += 1; Expr( -#line 2200 "cs.ATG" +#line 2202 "cs.ATG" out expr); -#line 2200 "cs.ATG" +#line 2202 "cs.ATG" if (expr != null) parameters.Add(expr); } Expect(19); -#line 2202 "cs.ATG" +#line 2204 "cs.ATG" ranks.Add(dims); ace.Arguments = parameters; dims = 0; while (la.kind == 18) { lexer.NextToken(); while (la.kind == 14) { lexer.NextToken(); -#line 2203 "cs.ATG" +#line 2205 "cs.ATG" ++dims; } Expect(19); -#line 2203 "cs.ATG" +#line 2205 "cs.ATG" ranks.Add(dims); dims = 0; } -#line 2204 "cs.ATG" +#line 2206 "cs.ATG" ace.CreateType.RankSpecifier = ranks.ToArray(); if (la.kind == 16) { ArrayInitializer( -#line 2205 "cs.ATG" +#line 2207 "cs.ATG" out expr); -#line 2205 "cs.ATG" +#line 2207 "cs.ATG" ace.ArrayInitializer = (ArrayInitializerExpression)expr; } } else SynErr(180); @@ -4927,204 +4929,204 @@ out expr); lexer.NextToken(); Expect(20); if ( -#line 2210 "cs.ATG" +#line 2212 "cs.ATG" NotVoidPointer()) { Expect(122); -#line 2210 "cs.ATG" +#line 2212 "cs.ATG" type = new TypeReference("void"); } else if (StartOf(9)) { TypeWithRestriction( -#line 2211 "cs.ATG" +#line 2213 "cs.ATG" out type, true, true); } else SynErr(182); Expect(21); -#line 2212 "cs.ATG" +#line 2214 "cs.ATG" pexpr = new TypeOfExpression(type); } else if ( -#line 2214 "cs.ATG" +#line 2216 "cs.ATG" la.kind == Tokens.Default && Peek(1).kind == Tokens.OpenParenthesis) { Expect(62); Expect(20); Type( -#line 2216 "cs.ATG" +#line 2218 "cs.ATG" out type); Expect(21); -#line 2216 "cs.ATG" +#line 2218 "cs.ATG" pexpr = new DefaultValueExpression(type); } else if (la.kind == 104) { lexer.NextToken(); Expect(20); Type( -#line 2217 "cs.ATG" +#line 2219 "cs.ATG" out type); Expect(21); -#line 2217 "cs.ATG" +#line 2219 "cs.ATG" pexpr = new SizeOfExpression(type); } else if (la.kind == 57) { lexer.NextToken(); Expect(20); Expr( -#line 2218 "cs.ATG" +#line 2220 "cs.ATG" out expr); Expect(21); -#line 2218 "cs.ATG" +#line 2220 "cs.ATG" pexpr = new CheckedExpression(expr); } else if (la.kind == 117) { lexer.NextToken(); Expect(20); Expr( -#line 2219 "cs.ATG" +#line 2221 "cs.ATG" out expr); Expect(21); -#line 2219 "cs.ATG" +#line 2221 "cs.ATG" pexpr = new UncheckedExpression(expr); } else if (la.kind == 63) { lexer.NextToken(); AnonymousMethodExpr( -#line 2220 "cs.ATG" +#line 2222 "cs.ATG" out expr); -#line 2220 "cs.ATG" +#line 2222 "cs.ATG" pexpr = expr; } else SynErr(183); while (StartOf(27) || -#line 2231 "cs.ATG" +#line 2233 "cs.ATG" IsGenericFollowedBy(Tokens.Dot) && IsTypeReferenceExpression(pexpr) || -#line 2240 "cs.ATG" +#line 2242 "cs.ATG" IsGenericFollowedBy(Tokens.OpenParenthesis)) { if (la.kind == 31 || la.kind == 32) { if (la.kind == 31) { lexer.NextToken(); -#line 2224 "cs.ATG" +#line 2226 "cs.ATG" pexpr = new UnaryOperatorExpression(pexpr, UnaryOperatorType.PostIncrement); } else if (la.kind == 32) { lexer.NextToken(); -#line 2225 "cs.ATG" +#line 2227 "cs.ATG" pexpr = new UnaryOperatorExpression(pexpr, UnaryOperatorType.PostDecrement); } else SynErr(184); } else if (la.kind == 47) { lexer.NextToken(); Expect(1); -#line 2228 "cs.ATG" +#line 2230 "cs.ATG" pexpr = new PointerReferenceExpression(pexpr, t.val); } else if (la.kind == 15) { lexer.NextToken(); Expect(1); -#line 2229 "cs.ATG" +#line 2231 "cs.ATG" pexpr = new FieldReferenceExpression(pexpr, t.val); } else if ( -#line 2231 "cs.ATG" +#line 2233 "cs.ATG" IsGenericFollowedBy(Tokens.Dot) && IsTypeReferenceExpression(pexpr)) { TypeArgumentList( -#line 2232 "cs.ATG" +#line 2234 "cs.ATG" out typeList, false); Expect(15); Expect(1); -#line 2234 "cs.ATG" +#line 2236 "cs.ATG" pexpr = new FieldReferenceExpression(GetTypeReferenceExpression(pexpr, typeList), t.val); } else if (la.kind == 20) { lexer.NextToken(); -#line 2236 "cs.ATG" +#line 2238 "cs.ATG" List parameters = new List(); if (StartOf(21)) { Argument( -#line 2237 "cs.ATG" +#line 2239 "cs.ATG" out expr); -#line 2237 "cs.ATG" +#line 2239 "cs.ATG" if (expr != null) {parameters.Add(expr);} while (la.kind == 14) { lexer.NextToken(); Argument( -#line 2238 "cs.ATG" +#line 2240 "cs.ATG" out expr); -#line 2238 "cs.ATG" +#line 2240 "cs.ATG" if (expr != null) {parameters.Add(expr);} } } Expect(21); -#line 2239 "cs.ATG" +#line 2241 "cs.ATG" pexpr = new InvocationExpression(pexpr, parameters); } else if ( -#line 2240 "cs.ATG" +#line 2242 "cs.ATG" IsGenericFollowedBy(Tokens.OpenParenthesis)) { TypeArgumentList( -#line 2240 "cs.ATG" +#line 2242 "cs.ATG" out typeList, false); Expect(20); -#line 2241 "cs.ATG" +#line 2243 "cs.ATG" List parameters = new List(); if (StartOf(21)) { Argument( -#line 2242 "cs.ATG" +#line 2244 "cs.ATG" out expr); -#line 2242 "cs.ATG" +#line 2244 "cs.ATG" if (expr != null) {parameters.Add(expr);} while (la.kind == 14) { lexer.NextToken(); Argument( -#line 2243 "cs.ATG" +#line 2245 "cs.ATG" out expr); -#line 2243 "cs.ATG" +#line 2245 "cs.ATG" if (expr != null) {parameters.Add(expr);} } } Expect(21); -#line 2244 "cs.ATG" +#line 2246 "cs.ATG" pexpr = new InvocationExpression(pexpr, parameters, typeList); } else { -#line 2246 "cs.ATG" +#line 2248 "cs.ATG" if (isArrayCreation) Error("element access not allow on array creation"); List indices = new List(); lexer.NextToken(); Expr( -#line 2249 "cs.ATG" +#line 2251 "cs.ATG" out expr); -#line 2249 "cs.ATG" +#line 2251 "cs.ATG" if (expr != null) { indices.Add(expr); } while (la.kind == 14) { lexer.NextToken(); Expr( -#line 2250 "cs.ATG" +#line 2252 "cs.ATG" out expr); -#line 2250 "cs.ATG" +#line 2252 "cs.ATG" if (expr != null) { indices.Add(expr); } } Expect(19); -#line 2251 "cs.ATG" +#line 2253 "cs.ATG" pexpr = new IndexerExpression(pexpr, indices); } } } void AnonymousMethodExpr( -#line 2255 "cs.ATG" +#line 2257 "cs.ATG" out Expression outExpr) { -#line 2257 "cs.ATG" +#line 2259 "cs.ATG" AnonymousMethodExpression expr = new AnonymousMethodExpression(); expr.StartLocation = t.Location; Statement stmt; @@ -5135,74 +5137,74 @@ out Expression outExpr) { lexer.NextToken(); if (StartOf(10)) { FormalParameterList( -#line 2266 "cs.ATG" +#line 2268 "cs.ATG" p); -#line 2266 "cs.ATG" +#line 2268 "cs.ATG" expr.Parameters = p; } Expect(21); } -#line 2271 "cs.ATG" +#line 2273 "cs.ATG" if (compilationUnit != null) { Block( -#line 2272 "cs.ATG" +#line 2274 "cs.ATG" out stmt); -#line 2272 "cs.ATG" +#line 2274 "cs.ATG" expr.Body = (BlockStatement)stmt; -#line 2273 "cs.ATG" +#line 2275 "cs.ATG" } else { Expect(16); -#line 2275 "cs.ATG" +#line 2277 "cs.ATG" lexer.SkipCurrentBlock(); Expect(17); -#line 2277 "cs.ATG" +#line 2279 "cs.ATG" } -#line 2278 "cs.ATG" +#line 2280 "cs.ATG" expr.EndLocation = t.Location; } void TypeArgumentList( -#line 2447 "cs.ATG" +#line 2453 "cs.ATG" out List types, bool canBeUnbound) { -#line 2449 "cs.ATG" +#line 2455 "cs.ATG" types = new List(); TypeReference type = null; Expect(23); if ( -#line 2454 "cs.ATG" +#line 2460 "cs.ATG" canBeUnbound && (la.kind == Tokens.GreaterThan || la.kind == Tokens.Comma)) { -#line 2455 "cs.ATG" +#line 2461 "cs.ATG" types.Add(TypeReference.Null); while (la.kind == 14) { lexer.NextToken(); -#line 2456 "cs.ATG" +#line 2462 "cs.ATG" types.Add(TypeReference.Null); } } else if (StartOf(9)) { Type( -#line 2457 "cs.ATG" +#line 2463 "cs.ATG" out type); -#line 2457 "cs.ATG" +#line 2463 "cs.ATG" types.Add(type); while (la.kind == 14) { lexer.NextToken(); Type( -#line 2458 "cs.ATG" +#line 2464 "cs.ATG" out type); -#line 2458 "cs.ATG" +#line 2464 "cs.ATG" types.Add(type); } } else SynErr(185); @@ -5210,192 +5212,206 @@ out type); } void ConditionalAndExpr( -#line 2287 "cs.ATG" +#line 2289 "cs.ATG" ref Expression outExpr) { -#line 2288 "cs.ATG" +#line 2290 "cs.ATG" Expression expr; InclusiveOrExpr( -#line 2290 "cs.ATG" +#line 2292 "cs.ATG" ref outExpr); while (la.kind == 25) { lexer.NextToken(); UnaryExpr( -#line 2290 "cs.ATG" +#line 2292 "cs.ATG" out expr); InclusiveOrExpr( -#line 2290 "cs.ATG" +#line 2292 "cs.ATG" ref expr); -#line 2290 "cs.ATG" +#line 2292 "cs.ATG" outExpr = new BinaryOperatorExpression(outExpr, BinaryOperatorType.LogicalAnd, expr); } } void InclusiveOrExpr( -#line 2293 "cs.ATG" +#line 2295 "cs.ATG" ref Expression outExpr) { -#line 2294 "cs.ATG" +#line 2296 "cs.ATG" Expression expr; ExclusiveOrExpr( -#line 2296 "cs.ATG" +#line 2298 "cs.ATG" ref outExpr); while (la.kind == 29) { lexer.NextToken(); UnaryExpr( -#line 2296 "cs.ATG" +#line 2298 "cs.ATG" out expr); ExclusiveOrExpr( -#line 2296 "cs.ATG" +#line 2298 "cs.ATG" ref expr); -#line 2296 "cs.ATG" +#line 2298 "cs.ATG" outExpr = new BinaryOperatorExpression(outExpr, BinaryOperatorType.BitwiseOr, expr); } } void ExclusiveOrExpr( -#line 2299 "cs.ATG" +#line 2301 "cs.ATG" ref Expression outExpr) { -#line 2300 "cs.ATG" +#line 2302 "cs.ATG" Expression expr; AndExpr( -#line 2302 "cs.ATG" +#line 2304 "cs.ATG" ref outExpr); while (la.kind == 30) { lexer.NextToken(); UnaryExpr( -#line 2302 "cs.ATG" +#line 2304 "cs.ATG" out expr); AndExpr( -#line 2302 "cs.ATG" +#line 2304 "cs.ATG" ref expr); -#line 2302 "cs.ATG" +#line 2304 "cs.ATG" outExpr = new BinaryOperatorExpression(outExpr, BinaryOperatorType.ExclusiveOr, expr); } } void AndExpr( -#line 2305 "cs.ATG" +#line 2307 "cs.ATG" ref Expression outExpr) { -#line 2306 "cs.ATG" +#line 2308 "cs.ATG" Expression expr; EqualityExpr( -#line 2308 "cs.ATG" +#line 2310 "cs.ATG" ref outExpr); while (la.kind == 28) { lexer.NextToken(); UnaryExpr( -#line 2308 "cs.ATG" +#line 2310 "cs.ATG" out expr); EqualityExpr( -#line 2308 "cs.ATG" +#line 2310 "cs.ATG" ref expr); -#line 2308 "cs.ATG" +#line 2310 "cs.ATG" outExpr = new BinaryOperatorExpression(outExpr, BinaryOperatorType.BitwiseAnd, expr); } } void EqualityExpr( -#line 2311 "cs.ATG" +#line 2313 "cs.ATG" ref Expression outExpr) { -#line 2313 "cs.ATG" +#line 2315 "cs.ATG" Expression expr; BinaryOperatorType op = BinaryOperatorType.None; RelationalExpr( -#line 2317 "cs.ATG" +#line 2319 "cs.ATG" ref outExpr); while (la.kind == 33 || la.kind == 34) { if (la.kind == 34) { lexer.NextToken(); -#line 2320 "cs.ATG" +#line 2322 "cs.ATG" op = BinaryOperatorType.InEquality; } else { lexer.NextToken(); -#line 2321 "cs.ATG" +#line 2323 "cs.ATG" op = BinaryOperatorType.Equality; } UnaryExpr( -#line 2323 "cs.ATG" +#line 2325 "cs.ATG" out expr); RelationalExpr( -#line 2323 "cs.ATG" +#line 2325 "cs.ATG" ref expr); -#line 2323 "cs.ATG" +#line 2325 "cs.ATG" outExpr = new BinaryOperatorExpression(outExpr, op, expr); } } void RelationalExpr( -#line 2327 "cs.ATG" +#line 2329 "cs.ATG" ref Expression outExpr) { -#line 2329 "cs.ATG" +#line 2331 "cs.ATG" TypeReference type; Expression expr; BinaryOperatorType op = BinaryOperatorType.None; ShiftExpr( -#line 2334 "cs.ATG" +#line 2336 "cs.ATG" ref outExpr); while (StartOf(28)) { if (StartOf(29)) { if (la.kind == 23) { lexer.NextToken(); -#line 2336 "cs.ATG" +#line 2338 "cs.ATG" op = BinaryOperatorType.LessThan; } else if (la.kind == 22) { lexer.NextToken(); -#line 2337 "cs.ATG" +#line 2339 "cs.ATG" op = BinaryOperatorType.GreaterThan; } else if (la.kind == 36) { lexer.NextToken(); -#line 2338 "cs.ATG" +#line 2340 "cs.ATG" op = BinaryOperatorType.LessThanOrEqual; } else if (la.kind == 35) { lexer.NextToken(); -#line 2339 "cs.ATG" +#line 2341 "cs.ATG" op = BinaryOperatorType.GreaterThanOrEqual; } else SynErr(186); UnaryExpr( -#line 2341 "cs.ATG" +#line 2343 "cs.ATG" out expr); ShiftExpr( -#line 2342 "cs.ATG" +#line 2344 "cs.ATG" ref expr); -#line 2343 "cs.ATG" +#line 2345 "cs.ATG" outExpr = new BinaryOperatorExpression(outExpr, op, expr); } else { if (la.kind == 84) { lexer.NextToken(); TypeWithRestriction( -#line 2346 "cs.ATG" +#line 2348 "cs.ATG" out type, false, false); + if ( +#line 2349 "cs.ATG" +la.kind == Tokens.Question && Tokens.CastFollower[Peek(1).kind] == false) { + NullableQuestionMark( +#line 2350 "cs.ATG" +ref type); + } -#line 2347 "cs.ATG" +#line 2351 "cs.ATG" outExpr = new TypeOfIsExpression(outExpr, type); } else if (la.kind == 49) { lexer.NextToken(); TypeWithRestriction( -#line 2349 "cs.ATG" +#line 2353 "cs.ATG" out type, false, false); + if ( +#line 2354 "cs.ATG" +la.kind == Tokens.Question && Tokens.CastFollower[Peek(1).kind] == false) { + NullableQuestionMark( +#line 2355 "cs.ATG" +ref type); + } -#line 2350 "cs.ATG" +#line 2356 "cs.ATG" outExpr = new CastExpression(type, outExpr, CastType.TryCast); } else SynErr(187); } @@ -5403,83 +5419,83 @@ out type, false, false); } void ShiftExpr( -#line 2355 "cs.ATG" +#line 2361 "cs.ATG" ref Expression outExpr) { -#line 2357 "cs.ATG" +#line 2363 "cs.ATG" Expression expr; BinaryOperatorType op = BinaryOperatorType.None; AdditiveExpr( -#line 2361 "cs.ATG" +#line 2367 "cs.ATG" ref outExpr); while (la.kind == 37 || -#line 2364 "cs.ATG" +#line 2370 "cs.ATG" IsShiftRight()) { if (la.kind == 37) { lexer.NextToken(); -#line 2363 "cs.ATG" +#line 2369 "cs.ATG" op = BinaryOperatorType.ShiftLeft; } else { Expect(22); Expect(22); -#line 2365 "cs.ATG" +#line 2371 "cs.ATG" op = BinaryOperatorType.ShiftRight; } UnaryExpr( -#line 2368 "cs.ATG" +#line 2374 "cs.ATG" out expr); AdditiveExpr( -#line 2368 "cs.ATG" +#line 2374 "cs.ATG" ref expr); -#line 2368 "cs.ATG" +#line 2374 "cs.ATG" outExpr = new BinaryOperatorExpression(outExpr, op, expr); } } void AdditiveExpr( -#line 2372 "cs.ATG" +#line 2378 "cs.ATG" ref Expression outExpr) { -#line 2374 "cs.ATG" +#line 2380 "cs.ATG" Expression expr; BinaryOperatorType op = BinaryOperatorType.None; MultiplicativeExpr( -#line 2378 "cs.ATG" +#line 2384 "cs.ATG" ref outExpr); while (la.kind == 4 || la.kind == 5) { if (la.kind == 4) { lexer.NextToken(); -#line 2381 "cs.ATG" +#line 2387 "cs.ATG" op = BinaryOperatorType.Add; } else { lexer.NextToken(); -#line 2382 "cs.ATG" +#line 2388 "cs.ATG" op = BinaryOperatorType.Subtract; } UnaryExpr( -#line 2384 "cs.ATG" +#line 2390 "cs.ATG" out expr); MultiplicativeExpr( -#line 2384 "cs.ATG" +#line 2390 "cs.ATG" ref expr); -#line 2384 "cs.ATG" +#line 2390 "cs.ATG" outExpr = new BinaryOperatorExpression(outExpr, op, expr); } } void MultiplicativeExpr( -#line 2388 "cs.ATG" +#line 2394 "cs.ATG" ref Expression outExpr) { -#line 2390 "cs.ATG" +#line 2396 "cs.ATG" Expression expr; BinaryOperatorType op = BinaryOperatorType.None; @@ -5487,57 +5503,57 @@ ref Expression outExpr) { if (la.kind == 6) { lexer.NextToken(); -#line 2396 "cs.ATG" +#line 2402 "cs.ATG" op = BinaryOperatorType.Multiply; } else if (la.kind == 7) { lexer.NextToken(); -#line 2397 "cs.ATG" +#line 2403 "cs.ATG" op = BinaryOperatorType.Divide; } else { lexer.NextToken(); -#line 2398 "cs.ATG" +#line 2404 "cs.ATG" op = BinaryOperatorType.Modulus; } UnaryExpr( -#line 2400 "cs.ATG" +#line 2406 "cs.ATG" out expr); -#line 2400 "cs.ATG" +#line 2406 "cs.ATG" outExpr = new BinaryOperatorExpression(outExpr, op, expr); } } void TypeParameterConstraintsClauseBase( -#line 2504 "cs.ATG" +#line 2510 "cs.ATG" out TypeReference type) { -#line 2505 "cs.ATG" +#line 2511 "cs.ATG" TypeReference t; type = null; if (la.kind == 108) { lexer.NextToken(); -#line 2507 "cs.ATG" +#line 2513 "cs.ATG" type = new TypeReference("struct"); } else if (la.kind == 58) { lexer.NextToken(); -#line 2508 "cs.ATG" +#line 2514 "cs.ATG" type = new TypeReference("struct"); } else if (la.kind == 88) { lexer.NextToken(); Expect(20); Expect(21); -#line 2509 "cs.ATG" +#line 2515 "cs.ATG" type = new TypeReference("struct"); } else if (StartOf(9)) { Type( -#line 2510 "cs.ATG" +#line 2516 "cs.ATG" out t); -#line 2510 "cs.ATG" +#line 2516 "cs.ATG" type = t; } else SynErr(188); } diff --git a/src/Libraries/NRefactory/Project/Src/Parser/CSharp/cs.ATG b/src/Libraries/NRefactory/Project/Src/Parser/CSharp/cs.ATG index b2bd320788..cb51d5360a 100644 --- a/src/Libraries/NRefactory/Project/Src/Parser/CSharp/cs.ATG +++ b/src/Libraries/NRefactory/Project/Src/Parser/CSharp/cs.ATG @@ -72,6 +72,8 @@ bool IsSimpleTypeCast () if (!IsTypeKWForTypeCast(ref pt)) { return false; } + if (pt.kind == Tokens.Question) + pt = lexer.Peek(); return pt.kind == Tokens.CloseParenthesis; } @@ -2344,9 +2346,13 @@ RelationalExpr | ( "is" TypeWithRestriction + [ IF (la.kind == Tokens.Question && Tokens.CastFollower[Peek(1).kind] == false) + NullableQuestionMark ] (. outExpr = new TypeOfIsExpression(outExpr, type); .) | "as" TypeWithRestriction + [ IF (la.kind == Tokens.Question && Tokens.CastFollower[Peek(1).kind] == false) + NullableQuestionMark ] (. outExpr = new CastExpression(type, outExpr, CastType.TryCast); .) ) } diff --git a/src/Libraries/NRefactory/Test/Parser/Expressions/CastExpressionTests.cs b/src/Libraries/NRefactory/Test/Parser/Expressions/CastExpressionTests.cs index 30c1d2a4c5..5d5895752b 100644 --- a/src/Libraries/NRefactory/Test/Parser/Expressions/CastExpressionTests.cs +++ b/src/Libraries/NRefactory/Test/Parser/Expressions/CastExpressionTests.cs @@ -36,6 +36,26 @@ namespace ICSharpCode.NRefactory.Tests.AST Assert.AreEqual(CastType.Cast, ce.CastType); } + [Test] + public void NullableCastExpression() + { + CastExpression ce = ParseUtilCSharp.ParseExpression("(int?)o"); + Assert.AreEqual("System.Nullable", ce.CastTo.SystemType); + Assert.AreEqual("int", ce.CastTo.GenericTypes[0].Type); + Assert.IsTrue(ce.Expression is IdentifierExpression); + Assert.AreEqual(CastType.Cast, ce.CastType); + } + + [Test] + public void NullableTryCastExpression() + { + CastExpression ce = ParseUtilCSharp.ParseExpression("o as int?"); + Assert.AreEqual("System.Nullable", ce.CastTo.SystemType); + Assert.AreEqual("int", ce.CastTo.GenericTypes[0].Type); + Assert.IsTrue(ce.Expression is IdentifierExpression); + Assert.AreEqual(CastType.TryCast, ce.CastType); + } + [Test] public void GenericCastExpression() { diff --git a/src/Libraries/NRefactory/Test/Parser/Expressions/ConditionalExpressionTests.cs b/src/Libraries/NRefactory/Test/Parser/Expressions/ConditionalExpressionTests.cs index 45f0488e9a..c51cfaae76 100644 --- a/src/Libraries/NRefactory/Test/Parser/Expressions/ConditionalExpressionTests.cs +++ b/src/Libraries/NRefactory/Test/Parser/Expressions/ConditionalExpressionTests.cs @@ -37,6 +37,16 @@ namespace ICSharpCode.NRefactory.Tests.AST Assert.IsTrue(ce.TrueExpression is InvocationExpression); Assert.IsTrue(ce.FalseExpression is FieldReferenceExpression); } + + [Test] + public void CSharpConditionalIsExpressionTest2() + { + ConditionalExpression ce = ParseUtilCSharp.ParseExpression("a is b ? (a()) : a.B"); + + Assert.IsTrue(ce.Condition is TypeOfIsExpression); + Assert.IsTrue(ce.TrueExpression is ParenthesizedExpression); + Assert.IsTrue(ce.FalseExpression is FieldReferenceExpression); + } #endregion #region VB.NET diff --git a/src/Libraries/NRefactory/Test/Parser/Expressions/TypeOfIsExpressionTests.cs b/src/Libraries/NRefactory/Test/Parser/Expressions/TypeOfIsExpressionTests.cs index e5f9c91370..62bd522246 100644 --- a/src/Libraries/NRefactory/Test/Parser/Expressions/TypeOfIsExpressionTests.cs +++ b/src/Libraries/NRefactory/Test/Parser/Expressions/TypeOfIsExpressionTests.cs @@ -26,6 +26,26 @@ namespace ICSharpCode.NRefactory.Tests.AST Assert.AreEqual(new int[] { 0 }, ce.TypeReference.RankSpecifier); Assert.IsTrue(ce.Expression is IdentifierExpression); } + + [Test] + public void NullableIsExpression() + { + TypeOfIsExpression ce = ParseUtilCSharp.ParseExpression("o is int?"); + Assert.AreEqual("System.Nullable", ce.TypeReference.SystemType); + Assert.AreEqual("int", ce.TypeReference.GenericTypes[0].Type); + Assert.IsTrue(ce.Expression is IdentifierExpression); + } + + [Test] + public void NullableIsExpressionInBinaryOperatorExpression() + { + BinaryOperatorExpression boe; + boe = ParseUtilCSharp.ParseExpression("o is int? == true"); + TypeOfIsExpression ce = (TypeOfIsExpression)boe.Left; + Assert.AreEqual("System.Nullable", ce.TypeReference.SystemType); + Assert.AreEqual("int", ce.TypeReference.GenericTypes[0].Type); + Assert.IsTrue(ce.Expression is IdentifierExpression); + } #endregion #region VB.NET