private CatchStatement GetAttachedCatchStatement(TryStatement tryStatement, bool unsafeCode) { CatchStatement statement = null; if (this.GetNextSymbol().SymbolType == SymbolType.Catch) { CsToken item = this.GetToken(CsTokenType.Catch, SymbolType.Catch); Microsoft.StyleCop.Node<CsToken> firstItemNode = this.tokens.InsertLast(item); Expression classExpression = null; if (this.GetNextSymbol().SymbolType == SymbolType.OpenParenthesis) { Bracket bracketToken = this.GetBracketToken(CsTokenType.OpenParenthesis, SymbolType.OpenParenthesis); Microsoft.StyleCop.Node<CsToken> node2 = this.tokens.InsertLast(bracketToken); if (this.GetNextSymbol().SymbolType == SymbolType.Other) { classExpression = this.GetNextExpression(ExpressionPrecedence.None, unsafeCode, true, true); } Bracket bracket2 = this.GetBracketToken(CsTokenType.CloseParenthesis, SymbolType.CloseParenthesis); Microsoft.StyleCop.Node<CsToken> node3 = this.tokens.InsertLast(bracket2); bracketToken.MatchingBracketNode = node3; bracket2.MatchingBracketNode = node2; } BlockStatement nextStatement = this.GetNextStatement(unsafeCode) as BlockStatement; if (nextStatement == null) { throw new SyntaxException(this.document.SourceCode, item.LineNumber); } CsTokenList tokens = new CsTokenList(this.tokens, firstItemNode, this.tokens.Last); statement = new CatchStatement(tokens, tryStatement, classExpression, nextStatement); if ((statement.ClassType != null) && !string.IsNullOrEmpty(statement.Identifier)) { Variable variable = new Variable(statement.ClassType, statement.Identifier, VariableModifiers.None, statement.ClassType.Location.StartPoint, statement.ClassType.Generated); if (!statement.Variables.Contains(statement.Identifier)) { statement.Variables.Add(variable); } } } return statement; }
/// <summary> /// Looks for a catch-statement, and if it is found, parses and returns it. /// </summary> /// <param name="tryStatement">The parent try statement.</param> /// <param name="parentReference">The parent code unit.</param> /// <param name="unsafeCode">Indicates whether the code being parsed resides in an unsafe code block.</param> /// <returns>Returns the statement.</returns> private CatchStatement GetAttachedCatchStatement(TryStatement tryStatement, Reference<ICodePart> parentReference, bool unsafeCode) { Param.AssertNotNull(tryStatement, "tryStatement"); Param.AssertNotNull(parentReference, "parentReference"); Param.Ignore(unsafeCode); CatchStatement catchStatement = null; // Look for a catch keyword. Symbol symbol = this.GetNextSymbol(parentReference); if (symbol.SymbolType == SymbolType.Catch) { var statementReference = new Reference<ICodePart>(); // Move up to the catch keyword and add it. CsToken firstToken = this.GetToken(CsTokenType.Catch, SymbolType.Catch, statementReference); Node<CsToken> firstTokenNode = this.tokens.InsertLast(firstToken); Expression catchExpression = null; // Get the opening parenthesis, if there is one. symbol = this.GetNextSymbol(statementReference); if (symbol.SymbolType == SymbolType.OpenParenthesis) { Bracket openParenthesis = this.GetBracketToken(CsTokenType.OpenParenthesis, SymbolType.OpenParenthesis, statementReference); Node<CsToken> openParenthesisNode = this.tokens.InsertLast(openParenthesis); // Get the type, if there is one. symbol = this.GetNextSymbol(statementReference); if (symbol.SymbolType == SymbolType.Other) { catchExpression = this.GetNextExpression(ExpressionPrecedence.None, statementReference, unsafeCode, true, true); } // Get the closing parenthesis. Bracket closeParenthesis = this.GetBracketToken(CsTokenType.CloseParenthesis, SymbolType.CloseParenthesis, statementReference); Node<CsToken> closeParenthesisNode = this.tokens.InsertLast(closeParenthesis); openParenthesis.MatchingBracketNode = closeParenthesisNode; closeParenthesis.MatchingBracketNode = openParenthesisNode; } // Get the embedded statement. This must be a block statement. BlockStatement childStatement = this.GetNextStatement(statementReference, unsafeCode) as BlockStatement; if (childStatement == null) { throw new SyntaxException(this.document.SourceCode, firstToken.LineNumber); } // Create the token list for the statement. CsTokenList partialTokens = new CsTokenList(this.tokens, firstTokenNode, this.tokens.Last); // Create the catch statement. catchStatement = new CatchStatement(partialTokens, tryStatement, catchExpression, childStatement); ((IWriteableCodeUnit)catchStatement).SetParent(tryStatement); statementReference.Target = catchStatement; if (catchStatement.ClassType != null && catchStatement.Identifier != null) { // Add the variable. Variable variable = new Variable( catchStatement.ClassType, catchStatement.Identifier.Text, VariableModifiers.None, CodeLocation.Join(catchStatement.ClassType.Location, catchStatement.Identifier.Location), statementReference, catchStatement.ClassType.Generated); // If there is already a variable in this scope with the same name, ignore this one. if (!catchStatement.Variables.Contains(catchStatement.Identifier.Text)) { catchStatement.Variables.Add(variable); } } } return catchStatement; }
private void CheckStatementCurlyBracketPlacement(CsElement element, Statement statement) { Param.AssertNotNull(element, "element"); Param.AssertNotNull(statement, "statement"); switch (statement.StatementType) { case StatementType.Else: // Check that there is nothing between the starting else keyword and the opening bracket. this.CheckChainedStatementCurlyBracketPlacement(element, statement); this.CheckBlockStatementsCurlyBracketPlacement(element, statement); // Check that there is nothing between the closing bracket and the else keyword of the attached else statement. ElseStatement elseStatement = (ElseStatement)statement; if (elseStatement.AttachedElseStatement != null) { this.CheckTrailingStatementCurlyBracketPlacement(element, statement); } break; case StatementType.Catch: case StatementType.Finally: // Check that there is nothing between the starting catch or finally keyword and the opening bracket. this.CheckChainedStatementCurlyBracketPlacement(element, statement); this.CheckBlockStatementsCurlyBracketPlacement(element, statement); break; case StatementType.If: this.CheckBlockStatementsCurlyBracketPlacement(element, statement); // Check that there is nothing between the closing bracket and the else keyword of the attached else statement. IfStatement ifStatement = (IfStatement)statement; if (ifStatement.AttachedElseStatement != null) { this.CheckTrailingStatementCurlyBracketPlacement(element, statement); } break; case StatementType.Try: // Check that there is nothing between the starting try keyword and the opening bracket. this.CheckBlockStatementsCurlyBracketPlacement(element, statement); TryStatement tryStatement = (TryStatement)statement; if (tryStatement.FinallyStatement != null || (tryStatement.CatchStatements != null && tryStatement.CatchStatements.Count > 0)) { // There is something attached to the end of this try statement. Check that there is nothing between // the closing bracket of the try statement and the start of the attached statement. this.CheckTrailingStatementCurlyBracketPlacement(element, tryStatement); } if (tryStatement.CatchStatements != null && tryStatement.CatchStatements.Count > 0) { CatchStatement[] catchStatementArray = new CatchStatement[tryStatement.CatchStatements.Count]; tryStatement.CatchStatements.CopyTo(catchStatementArray, 0); for (int i = 0; i < catchStatementArray.Length; ++i) { if (catchStatementArray.Length > i + 1 || tryStatement.FinallyStatement != null) { // There is something attached to the end of this catch statement, either another catch or a finally. // Check that there is nothing between the closing bracket of this catch statement and the start of the attached // statement. this.CheckTrailingStatementCurlyBracketPlacement(element, catchStatementArray[i]); } } } break; case StatementType.Checked: case StatementType.Fixed: case StatementType.For: case StatementType.Foreach: case StatementType.Lock: case StatementType.Switch: case StatementType.Unchecked: case StatementType.Unsafe: case StatementType.Using: case StatementType.While: // Check that there is nothing between the starting keyword and the opening bracket. this.CheckBlockStatementsCurlyBracketPlacement(element, statement); break; case StatementType.DoWhile: this.CheckBlockStatementsCurlyBracketPlacement(element, statement); this.CheckTrailingStatementCurlyBracketPlacement(element, statement); break; default: break; } }