~ubuntu-branches/ubuntu/trusty/monodevelop/trusty-proposed

« back to all changes in this revision

Viewing changes to contrib/ICSharpCode.NRefactory.CSharp/Refactoring/CodeIssues/ConditionalToNullCoalescingIssue.cs

  • Committer: Package Import Robot
  • Author(s): Jo Shields
  • Date: 2013-05-12 09:46:03 UTC
  • mto: This revision was merged to the branch mainline in revision 29.
  • Revision ID: package-import@ubuntu.com-20130512094603-mad323bzcxvmcam0
Tags: upstream-4.0.5+dfsg
Import upstream version 4.0.5+dfsg

Show diffs side-by-side

added added

removed removed

Lines of Context:
1
 
// 
2
 
// ConditionalToNullCoalescingInspector.cs
3
 
//
4
 
// Author:
5
 
//       Mike Krüger <mkrueger@xamarin.com>
6
 
// 
7
 
// Copyright (c) 2012 Xamarin <http://xamarin.com>
8
 
// 
9
 
// Permission is hereby granted, free of charge, to any person obtaining a copy
10
 
// of this software and associated documentation files (the "Software"), to deal
11
 
// in the Software without restriction, including without limitation the rights
12
 
// to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
13
 
// copies of the Software, and to permit persons to whom the Software is
14
 
// furnished to do so, subject to the following conditions:
15
 
// 
16
 
// The above copyright notice and this permission notice shall be included in
17
 
// all copies or substantial portions of the Software.
18
 
// 
19
 
// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
20
 
// IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
21
 
// FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
22
 
// AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
23
 
// LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
24
 
// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
25
 
// THE SOFTWARE.
26
 
using System;
27
 
using System.Collections.Generic;
28
 
using System.Linq;
29
 
using ICSharpCode.NRefactory.PatternMatching;
30
 
 
31
 
namespace ICSharpCode.NRefactory.CSharp.Refactoring
32
 
{
33
 
        /// <summary>
34
 
        /// Checks for "a != null ? a : other"<expr>
35
 
        /// Converts to: "a ?? other"<expr>
36
 
        /// </summary>
37
 
        [IssueDescription("'?:' expression can be converted to '??' expression",
38
 
                          Description="'?:' expression can be converted to '??' expression.",
39
 
                          Category = IssueCategories.Opportunities,
40
 
                          Severity = Severity.Suggestion)]
41
 
        public class ConditionalToNullCoalescingIssue : ICodeIssueProvider
42
 
        {
43
 
                static readonly Pattern pattern = new Choice {
44
 
                        // a != null ? a : other
45
 
                        new ConditionalExpression(
46
 
                                PatternHelper.CommutativeOperator(new AnyNode("a"), BinaryOperatorType.InEquality, new NullReferenceExpression()),
47
 
                                new Backreference("a"),
48
 
                                new AnyNode("other")
49
 
                        ),
50
 
                        // a == null ? other : a
51
 
                        new ConditionalExpression(
52
 
                                PatternHelper.CommutativeOperator(new AnyNode("a"), BinaryOperatorType.Equality, new NullReferenceExpression()),
53
 
                                new AnyNode("other"),
54
 
                                new Backreference("a")
55
 
                        ),
56
 
                };
57
 
                
58
 
                public IEnumerable<CodeIssue> GetIssues(BaseRefactoringContext context)
59
 
                {
60
 
                        return new GatherVisitor(context, this).GetIssues();
61
 
                }
62
 
                
63
 
                class GatherVisitor : GatherVisitorBase
64
 
                {
65
 
                        readonly ConditionalToNullCoalescingIssue inspector;
66
 
                        
67
 
                        public GatherVisitor (BaseRefactoringContext ctx, ConditionalToNullCoalescingIssue inspector) : base (ctx)
68
 
                        {
69
 
                                this.inspector = inspector;
70
 
                        }
71
 
 
72
 
                        public override void VisitConditionalExpression(ConditionalExpression conditionalExpression)
73
 
                        {
74
 
                                Match m = pattern.Match(conditionalExpression);
75
 
                                if (m.Success) {
76
 
                                        var a = m.Get<Expression>("a").Single();
77
 
                                        var other = m.Get<Expression>("other").Single();
78
 
                                        AddIssue(conditionalExpression, ctx.TranslateString("Convert to '??' expression"), script => {
79
 
                                                var expr = new BinaryOperatorExpression (a.Clone (), BinaryOperatorType.NullCoalescing, other.Clone ());
80
 
                                                script.Replace (conditionalExpression, expr);
81
 
                                        });
82
 
                                }
83
 
                                base.VisitConditionalExpression (conditionalExpression);
84
 
                        }
85
 
                }
86
 
        }
87
 
}