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;
}
}
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;
}
}
/// <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)
{
Reference<ICodePart> 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;
}
/// <summary>
/// The save.
/// </summary>
/// <param name="catchStatement">
/// The catch statement.
/// </param>
private void Save(CatchStatement catchStatement)
{
this.cppWriter.Write("catch (");
@switch(catchStatement.CatchExpression);
if (catchStatement.CatchExpression is LiteralExpression)
{
this.cppWriter.Write("^");
}
this.cppWriter.Write(")");
this.Save((Statement)catchStatement.EmbeddedStatement);
}
