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

« back to all changes in this revision

Viewing changes to external/nrefactory/ICSharpCode.NRefactory/PatternMatching/INode.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
// Copyright (c) 2011-2013 AlphaSierraPapa for the SharpDevelop Team
 
2
// 
 
3
// Permission is hereby granted, free of charge, to any person obtaining a copy of this
 
4
// software and associated documentation files (the "Software"), to deal in the Software
 
5
// without restriction, including without limitation the rights to use, copy, modify, merge,
 
6
// publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons
 
7
// to whom the Software is furnished to do so, subject to the following conditions:
 
8
// 
 
9
// The above copyright notice and this permission notice shall be included in all copies or
 
10
// substantial portions of the Software.
 
11
// 
 
12
// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED,
 
13
// INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR
 
14
// PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE
 
15
// FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR
 
16
// OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
 
17
// DEALINGS IN THE SOFTWARE.
 
18
 
 
19
using System;
 
20
 
 
21
namespace ICSharpCode.NRefactory.PatternMatching
 
22
{
 
23
        /// <summary>
 
24
        /// AST node that supports pattern matching.
 
25
        /// </summary>
 
26
        public interface INode
 
27
        {
 
28
                Role Role { get; }
 
29
                INode FirstChild { get; }
 
30
                INode NextSibling { get; }
 
31
                bool IsNull { get; }
 
32
                
 
33
                bool DoMatch(INode other, Match match);
 
34
                bool DoMatchCollection(Role role, INode pos, Match match, BacktrackingInfo backtrackingInfo);
 
35
        }
 
36
        
 
37
        public static class PatternExtensions
 
38
        {
 
39
                /// <summary>
 
40
                /// Performs a pattern matching operation.
 
41
                /// <c>this</c> is the pattern, <paramref name="other"/> is the AST that is being matched.
 
42
                /// </summary>
 
43
                /// <returns>
 
44
                /// A match object. Check <see cref="PatternMatching.Match.Success"/> to see whether the match was successful.
 
45
                /// </returns>
 
46
                /// <remarks>
 
47
                /// Patterns are ASTs that contain special pattern nodes (from the PatternMatching namespace).
 
48
                /// However, it is also possible to match two ASTs without any pattern nodes -
 
49
                /// doing so will produce a successful match if the two ASTs are structurally identical.
 
50
                /// </remarks>
 
51
                public static Match Match(this INode pattern, INode other)
 
52
                {
 
53
                        if (pattern == null)
 
54
                                throw new ArgumentNullException("pattern");
 
55
                        Match match = PatternMatching.Match.CreateNew();
 
56
                        if (pattern.DoMatch(other, match))
 
57
                                return match;
 
58
                        else
 
59
                                return default(PatternMatching.Match);
 
60
                }
 
61
                
 
62
                public static bool IsMatch(this INode pattern, INode other)
 
63
                {
 
64
                        if (pattern == null)
 
65
                                throw new ArgumentNullException("pattern");
 
66
                        return pattern.DoMatch(other, PatternMatching.Match.CreateNew());
 
67
                }
 
68
        }
 
69
}