← Back to branch summary

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

« back to all changes in this revision

Viewing changes to contrib/ICSharpCode.NRefactory/PatternMatching/Pattern.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:
contrib/ICSharpCode.NRefactory/PatternMatching/Pattern.cs
1
 
// Copyright (c) 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
 
using System.Collections.Generic;
21
 
using System.Diagnostics;
22
 
using System.IO;
23
 
 
24
 
namespace ICSharpCode.NRefactory.PatternMatching
25
 
{
26
 
        /// <summary>
27
 
        /// Base class for all patterns.
28
 
        /// </summary>
29
 
        public abstract class Pattern : INode
30
 
        {
31
 
                /// <summary>
32
 
                /// Gets the string that matches any string.
33
 
                /// </summary>
34
 
                public static readonly string AnyString = "$any$";
35
 
                
36
 
                public static bool MatchString(string pattern, string text)
37
 
                {
38
 
                        return pattern == AnyString || pattern == text;
39
 
                }
40
 
                
41
 
                internal struct PossibleMatch
42
 
                {
43
 
                        public readonly INode NextOther; // next node after the last matched node
44
 
                        public readonly int Checkpoint; // checkpoint
45
 
                        
46
 
                        public PossibleMatch(INode nextOther, int checkpoint)
47
 
                        {
48
 
                                this.NextOther = nextOther;
49
 
                                this.Checkpoint = checkpoint;
50
 
                        }
51
 
                }
52
 
                
53
 
                bool INode.IsNull {
54
 
                        get { return false; }
55
 
                }
56
 
                
57
 
                Role INode.Role {
58
 
                        get { return null; }
59
 
                }
60
 
                
61
 
                INode INode.NextSibling {
62
 
                        get { return null; }
63
 
                }
64
 
                
65
 
                INode INode.FirstChild {
66
 
                        get { return null; }
67
 
                }
68
 
                
69
 
                public abstract bool DoMatch(INode other, Match match);
70
 
                
71
 
                public virtual bool DoMatchCollection(Role role, INode pos, Match match, BacktrackingInfo backtrackingInfo)
72
 
                {
73
 
                        return DoMatch (pos, match);
74
 
                }
75
 
                
76
 
                public static bool DoMatchCollection(Role role, INode firstPatternChild, INode firstOtherChild, Match match)
77
 
                {
78
 
                        BacktrackingInfo backtrackingInfo = new BacktrackingInfo();
79
 
                        Stack<INode> patternStack = new Stack<INode>();
80
 
                        Stack<PossibleMatch> stack = backtrackingInfo.backtrackingStack;
81
 
                        patternStack.Push(firstPatternChild);
82
 
                        stack.Push(new PossibleMatch(firstOtherChild, match.CheckPoint()));
83
 
                        while (stack.Count > 0) {
84
 
                                INode cur1 = patternStack.Pop();
85
 
                                INode cur2 = stack.Peek().NextOther;
86
 
                                match.RestoreCheckPoint(stack.Pop().Checkpoint);
87
 
                                bool success = true;
88
 
                                while (cur1 != null && success) {
89
 
                                        while (cur1 != null && cur1.Role != role)
90
 
                                                cur1 = cur1.NextSibling;
91
 
                                        while (cur2 != null && cur2.Role != role)
92
 
                                                cur2 = cur2.NextSibling;
93
 
                                        if (cur1 == null)
94
 
                                                break;
95
 
                                        
96
 
                                        Debug.Assert(stack.Count == patternStack.Count);
97
 
                                        success = cur1.DoMatchCollection(role, cur2, match, backtrackingInfo);
98
 
                                        Debug.Assert(stack.Count >= patternStack.Count);
99
 
                                        while (stack.Count > patternStack.Count)
100
 
                                                patternStack.Push(cur1.NextSibling);
101
 
                                        
102
 
                                        cur1 = cur1.NextSibling;
103
 
                                        if (cur2 != null)
104
 
                                                cur2 = cur2.NextSibling;
105
 
                                }
106
 
                                while (cur2 != null && cur2.Role != role)
107
 
                                        cur2 = cur2.NextSibling;
108
 
                                if (success && cur2 == null)
109
 
                                        return true;
110
 
                        }
111
 
                        return false;
112
 
                }
113
 
        }
114
 
}