public static string CreatePostconditionLocal(ReturnStatementSyntax returnStatement, SemanticModel model)
{
if (returnStatement == null)
{
throw new ArgumentNullException(nameof(returnStatement));
}
if (model == null)
{
throw new ArgumentNullException(nameof(model));
}
CSharpSyntaxNode declaration = returnStatement.FirstAncestorOrSelf <BaseMethodDeclarationSyntax>();
declaration = declaration ?? returnStatement.FirstAncestorOrSelf <AccessorDeclarationSyntax>();
return(CreateUnique(declaration, model, "result"));
}
