aboutsummaryrefslogtreecommitdiffstats
path: root/Software/Visual_Studio/MachineStudio/Modules/Tango.MachineStudio.MachineDesigner/Contracts/IMainView.cs
blob: 392b557c4894db4631991d6735246eee2f1900fb (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;
using Tango.SharedUI;

namespace Tango.MachineStudio.MachineDesigner.Contracts
{
    public enum MachineDesignerNavigationView
    {
        MachinesView,
        MachineDetailsView,
        ConfigurationView,
    }

    public interface IMainView : IView
    {
        void NavigateTo(MachineDesignerNavigationView view);
    }
}
pan class="k">class RegexSearchStrategy : ISearchStrategy { readonly Regex searchPattern; readonly bool matchWholeWords; public RegexSearchStrategy(Regex searchPattern, bool matchWholeWords) { if (searchPattern == null) throw new ArgumentNullException("searchPattern"); this.searchPattern = searchPattern; this.matchWholeWords = matchWholeWords; } public IEnumerable<ISearchResult> FindAll(ITextSource document, int offset, int length) { int endOffset = offset + length; foreach (Match result in searchPattern.Matches(document.Text)) { int resultEndOffset = result.Length + result.Index; if (offset > result.Index || endOffset < resultEndOffset) continue; if (matchWholeWords && (!IsWordBorder(document, result.Index) || !IsWordBorder(document, resultEndOffset))) continue; yield return new SearchResult { StartOffset = result.Index, Length = result.Length, Data = result }; } } static bool IsWordBorder(ITextSource document, int offset) { return TextUtilities.GetNextCaretPosition(document, offset - 1, LogicalDirection.Forward, CaretPositioningMode.WordBorder) == offset; } public ISearchResult FindNext(ITextSource document, int offset, int length) { return FindAll(document, offset, length).FirstOrDefault(); } public bool Equals(ISearchStrategy other) { var strategy = other as RegexSearchStrategy; return strategy != null && strategy.searchPattern.ToString() == searchPattern.ToString() && strategy.searchPattern.Options == searchPattern.Options && strategy.searchPattern.RightToLeft == searchPattern.RightToLeft; } } class SearchResult : TextSegment, ISearchResult { public Match Data { get; set; } public string ReplaceWith(string replacement) { return Data.Result(replacement); } } }