Core/Controller.cs

   1 /*
   2  * Copyright (C) 2013 FooProject
   3  * * This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by
   4  * the Free Software Foundation; either version 3 of the License, or (at your option) any later version.
   5
   6  * This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of
   7  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.
   8
   9 You should have received a copy of the GNU General Public License along with this program. If not, see <http://www.gnu.org/licenses/>.
  10  */
  11 using System;
  12 using System.Globalization;
  13 using System.Text;
  14 using System.Linq;
  15 using System.Diagnostics;
  16 using System.Text.RegularExpressions;
  17 #if WINFORM
  18 using System.Drawing;
  19 #endif
  20
  21 namespace FooEditEngine
  22 {
  23     internal enum MoveFlow
  24     {
  25         Horizontical,
  26         Vertical,
  27     }
  28     internal enum ScrollDirection
  29     {
  30         Up,
  31         Down,
  32         Left,
  33         Right,
  34     }
  35
  36     /// <summary>
  37     /// インデントの方法を表す
  38     /// </summary>
  39     public enum IndentMode
  40     {
  41         /// <summary>
  42         /// タブ
  43         /// </summary>
  44         Tab,
  45         /// <summary>
  46         /// スペース
  47         /// </summary>
  48         Space,
  49     }
  50
  51     /// <summary>
  52     /// ユーザー側からの処理を担当するクラス。一部を除き、こちらで行われた操作はアンドゥの対象になります
  53     /// </summary>
  54     internal sealed class Controller
  55     {
  56         EditView View;
  57         Document _Document;
  58
  59         public Controller(Document doc, EditView view)
  60         {
  61             this.Document = doc;
  62             this.View = view;
  63             this.View.render.ChangedRenderResource += render_ChangedRenderResource;
  64             this.View.PageBoundChanged += View_PageBoundChanged;
  65             //this.Document.Clear();
  66         }
  67
  68         public Document Document
  69         {
  70             get
  71             {
  72                 return this._Document;
  73             }
  74             set
  75             {
  76                 //メモリリークを防ぐためにパンドラーを除く
  77                 if (this._Document != null)
  78                 {
  79                     this._Document.Update -= Document_Update;
  80                     this._Document.StatusUpdate -= Document_StatusChanged;
  81                     this._Document.SelectionChanged -= Document_SelectionChanged;
  82                     this._Document.PerformLayouted -= View_LineBreakChanged;
  83                     this._Document.CaretChanged -= _Document_CaretChanged;
  84                 }
  85
  86                 this._Document = value;
  87
  88                 this._Document.Update += new DocumentUpdateEventHandler(Document_Update);
  89                 this._Document.StatusUpdate += Document_StatusChanged;
  90                 this._Document.SelectionChanged += Document_SelectionChanged;
  91                 this._Document.PerformLayouted += View_LineBreakChanged;
  92                 this._Document.CaretChanged += _Document_CaretChanged;
  93             }
  94         }
  95
  96         private void _Document_CaretChanged(object sender, EventArgs e)
  97         {
  98             TextPoint pos = this.Document.CaretPostion;
  99             this.JumpCaret(pos.row, pos.col);
 100         }
 101
 102         private void Document_SelectionChanged(object sender, EventArgs e)
 103         {
 104             if (this.IsReverseSelect())
 105             {
 106                 this.Document.SelectGrippers.BottomRight.MoveByIndex(this.View, this.SelectionStart);
 107                 this.Document.SelectGrippers.BottomLeft.MoveByIndex(this.View, this.SelectionStart + this.SelectionLength);
 108             }
 109             else
 110             {
 111                 this.Document.SelectGrippers.BottomLeft.MoveByIndex(this.View, this.SelectionStart);
 112                 this.Document.SelectGrippers.BottomRight.MoveByIndex(this.View, this.SelectionStart + this.SelectionLength);
 113             }
 114         }
 115
 116         void Document_StatusChanged(object sender,EventArgs e)
 117         {
 118             this.AdjustCaret();
 119         }
 120
 121         /// <summary>
 122         /// 矩形選択モードなら真を返し、そうでない場合は偽を返す
 123         /// </summary>
 124         public bool RectSelection
 125         {
 126             get { return this.Document.RectSelection; }
 127             set { this.Document.RectSelection = value; }
 128         }
 129
 130         /// <summary>
 131         /// インデントの方法を表す
 132         /// </summary>
 133         public IndentMode IndentMode
 134         {
 135             get { return this.Document.IndentMode; }
 136             set { this.Document.IndentMode = value; }
 137         }
 138
 139         /// <summary>
 140         /// 選択範囲の開始位置
 141         /// </summary>
 142         /// <remarks>SelectionLengthが0の場合、キャレット位置を表します</remarks>
 143         public int SelectionStart
 144         {
 145             get
 146             {
 147                 if (this.View.Selections.Count == 0)
 148                     return this.Document.AnchorIndex;
 149                 else
 150                     return this.View.Selections.First().start;
 151             }
 152         }
 153
 154         /// <summary>
 155         /// 選択範囲の長さ
 156         /// </summary>
 157         /// <remarks>矩形選択モードの場合、選択範囲の文字数ではなく、開始位置から終了位置までの長さとなります</remarks>
 158         public int SelectionLength
 159         {
 160             get
 161             {
 162                 if (this.View.Selections.Count == 0)
 163                     return 0;
 164                 Selection last = this.View.Selections.Last();
 165                 return last.start + last.length - this.SelectionStart;
 166             }
 167         }
 168
 169         /// <summary>
 170         /// 選択範囲内の文字列を返す
 171         /// </summary>
 172         /// <remarks>
 173         /// 未選択状態で代入したときは追加され、そうでない場合は選択範囲の文字列と置き換えられます。
 174         /// </remarks>
 175         public string SelectedText
 176         {
 177             get
 178             {
 179                 if (this.View.LayoutLines.Count == 0 || this.View.Selections.Count == 0)
 180                     return null;
 181                 if (this.RectSelection)
 182                     return GetTextFromRectangleSelectArea(this.View.Selections);
 183                 else
 184                     return GetTextFromLineSelectArea(this.View.Selections).Replace(Document.NewLine.ToString(), Environment.NewLine);
 185             }
 186             set
 187             {
 188                 if (this.Document.FireUpdateEvent == false)
 189                     throw new InvalidOperationException("");
 190                 if (value == null)
 191                     return;
 192                 this.RepleaceSelectionArea(this.View.Selections, value.Replace(Environment.NewLine,Document.NewLine.ToString()));
 193             }
 194         }
 195
 196         /// <summary>
 197         /// 選択範囲が逆転しているかどうかを判定する
 198         /// </summary>
 199         /// <returns>逆転しているなら真を返す</returns>
 200         public bool IsReverseSelect()
 201         {
 202             int index = this.View.LayoutLines.GetIndexFromTextPoint(this.Document.CaretPostion);
 203             return index < this.Document.AnchorIndex;
 204         }
 205
 206         /// <summary>
 207         /// 選択範囲内のUTF32コードポイントを文字列に変換します
 208         /// </summary>
 209         /// <returns>成功した場合は真。そうでない場合は偽を返す</returns>
 210         public bool ConvertToChar()
 211         {
 212             if (this.SelectionLength == 0 || this.RectSelection)
 213                 return false;
 214             string str = this.Document.ToString(this.SelectionStart, this.SelectionLength);
 215             string[] codes = str.Split(new char[] { ' ' },StringSplitOptions.RemoveEmptyEntries);
 216             StringBuilder result = new StringBuilder();
 217             foreach (string code in codes)
 218             {
 219                 int utf32_code;
 220                 if (code[0] != 'U')
 221                     return false;
 222                 if (Int32.TryParse(code.TrimStart('U'),NumberStyles.HexNumber,null, out utf32_code))
 223                     result.Append(Char.ConvertFromUtf32(utf32_code));
 224                 else
 225                     return false;
 226             }
 227             this.Document.Replace(this.SelectionStart, this.SelectionLength, result.ToString());
 228             return true;
 229         }
 230
 231         /// <summary>
 232         /// 選択文字列をUTF32のコードポイントに変換します
 233         /// </summary>
 234         public void ConvertToCodePoint()
 235         {
 236             if (this.SelectionLength == 0 || this.RectSelection)
 237                 return;
 238             string str = this.Document.ToString(this.SelectionStart, this.SelectionLength);
 239             StringInfo info = new StringInfo(str);
 240             StringBuilder result = new StringBuilder();
 241             for (int i = 0; i < str.Length;)
 242             {
 243                 int utf32_code = Char.ConvertToUtf32(str, i);
 244                 result.Append("U" + Convert.ToString(utf32_code,16));
 245                 result.Append(' ');
 246                 if(Char.IsHighSurrogate(str[i]))
 247                     i += 2;
 248                 else
 249                     i++;
 250             }
 251             this.Document.Replace(this.SelectionStart, this.SelectionLength, result.ToString());
 252         }
 253
 254         /// <summary>
 255         /// 選択を解除する
 256         /// </summary>
 257         public void DeSelectAll()
 258         {
 259             if (this.Document.FireUpdateEvent == false)
 260                 throw new InvalidOperationException("");
 261
 262             this.View.Selections.Clear();
 263         }
 264
 265         /// <summary>
 266         /// 任意のマーカーかどうか
 267         /// </summary>
 268         /// <param name="tp"></param>
 269         /// <param name="type"></param>
 270         /// <returns>真ならマーカーがある</returns>
 271         public bool IsMarker(TextPoint tp,HilightType type)
 272         {
 273             if (this.Document.FireUpdateEvent == false)
 274                 throw new InvalidOperationException("");
 275             int index = this.View.LayoutLines.GetIndexFromTextPoint(tp);
 276             return this.IsMarker(index, type);
 277         }
 278
 279         /// <summary>
 280         /// 任意のマーカーかどうか判定する
 281         /// </summary>
 282         /// <param name="index"></param>
 283         /// <param name="type"></param>
 284         /// <returns>真ならマーカーがある</returns>
 285         public bool IsMarker(int index, HilightType type)
 286         {
 287             foreach(int id in this.Document.Markers.IDs)
 288             {
 289                 foreach (Marker m in this.Document.GetMarkers(id, index))
 290                 {
 291                     if (m.hilight == type)
 292                         return true;
 293                 }
 294             }
 295             return false;
 296         }
 297
 298         /// <summary>
 299         /// キャレット位置を再調整する
 300         /// </summary>
 301         public void AdjustCaret()
 302         {
 303             int row = this.Document.CaretPostion.row;
 304             if (row > this.View.LayoutLines.Count - 1)
 305                 row = this.View.LayoutLines.Count - 1;
 306             int col = this.Document.CaretPostion.col;
 307             if (col > 0 && col > this.View.LayoutLines[row].Length)
 308                 col = this.View.LayoutLines[row].Length;
 309
 310             //選択領域が消えてしまうので覚えておく
 311             int sel_start = this.SelectionStart;
 312             int sel_length = this.SelectionLength;
 313
 314             this.JumpCaret(row, col);
 315
 316             this.Document.Select(sel_start, sel_length);
 317         }
 318
 319         /// <summary>
 320         /// キャレットを指定した位置に移動させる
 321         /// </summary>
 322         /// <param name="index"></param>
 323         /// <param name="autoExpand">折り畳みを展開するなら真</param>
 324         public void JumpCaret(int index,bool autoExpand = true)
 325         {
 326             if (index < 0 || index > this.Document.Length)
 327                 throw new ArgumentOutOfRangeException("indexが設定できる範囲を超えています");
 328             TextPoint tp = this.View.GetLayoutLineFromIndex(index);
 329
 330             this.JumpCaret(tp.row, tp.col,autoExpand);
 331          }
 332
 333         /// <summary>
 334         /// キャレットを指定した位置に移動させる
 335         /// </summary>
 336         /// <param name="row"></param>
 337         /// <param name="col"></param>
 338         /// <param name="autoExpand">折り畳みを展開するなら真</param>
 339         public void JumpCaret(int row, int col, bool autoExpand = true)
 340         {
 341             if (this.Document.FireUpdateEvent == false)
 342                 throw new InvalidOperationException("");
 343
 344             this.View.JumpCaret(row, col,autoExpand);
 345
 346             this.View.AdjustCaretAndSrc();
 347
 348             this.SelectWithMoveCaret(false);
 349         }
 350
 351         /// <summary>
 352         /// 行の先頭に移動する
 353         /// </summary>
 354         /// <param name="row">行</param>
 355         /// <param name="isSelected">選択状態にするかどうか</param>
 356         public void JumpToLineHead(int row,bool isSelected)
 357         {
 358             this.View.JumpCaret(row, 0);
 359             this.View.AdjustCaretAndSrc();
 360             this.SelectWithMoveCaret(isSelected);
 361         }
 362
 363         /// <summary>
 364         /// 行の終わりに移動する
 365         /// </summary>
 366         /// <param name="row">行</param>
 367         /// <param name="isSelected">選択状態にするかどうか</param>
 368         public void JumpToLineEnd(int row, bool isSelected)
 369         {
 370             this.View.JumpCaret(row, this.View.LayoutLines[row].Length - 1);
 371             this.View.AdjustCaretAndSrc();
 372             this.SelectWithMoveCaret(isSelected);
 373         }
 374
 375         /// <summary>
 376         /// ドキュメントの先頭に移動する
 377         /// </summary>
 378         /// <param name="isSelected"></param>
 379         public void JumpToHead(bool isSelected)
 380         {
 381             if (this.View.TryScroll(0, 0))
 382                 return;
 383             this.View.JumpCaret(0, 0);
 384             this.View.AdjustCaretAndSrc();
 385             this.SelectWithMoveCaret(isSelected);
 386         }
 387
 388         /// <summary>
 389         /// ドキュメントの終わりにに移動する
 390         /// </summary>
 391         /// <param name="isSelected"></param>
 392         public void JumpToEnd(bool isSelected)
 393         {
 394             int srcRow = this.View.LayoutLines.Count - this.View.LineCountOnScreen - 1;
 395             if(srcRow < 0)
 396                 srcRow = 0;
 397             if (this.View.TryScroll(0, srcRow))
 398                 return;
 399             this.View.JumpCaret(this.View.LayoutLines.Count - 1, 0);
 400             this.View.AdjustCaretAndSrc();
 401             this.SelectWithMoveCaret(isSelected);
 402         }
 403
 404         double noti;
 405         public void ScrollByPixel(ScrollDirection dir,int delta, bool isSelected, bool withCaret)
 406         {
 407             if (this.Document.FireUpdateEvent == false)
 408                 throw new InvalidOperationException("");
 409
 410             if (dir == ScrollDirection.Left || dir == ScrollDirection.Right)
 411             {
 412                 this.Scroll(dir, delta, isSelected, withCaret);
 413                 return;
 414             }
 415
 416             if(dir == ScrollDirection.Up || dir == ScrollDirection.Down)
 417             {
 418                 noti += delta;
 419
 420                 if (noti < this.View.render.emSize.Height)
 421                     return;
 422
 423                 int delta_row = (int)(noti / this.View.render.emSize.Height + 1.0);
 424
 425                 noti = 0;
 426
 427                 this.Scroll(dir, delta_row, isSelected, withCaret);
 428             }
 429         }
 430
 431         /// <summary>
 432         /// スクロールする
 433         /// </summary>
 434         /// <param name="dir">方向を指定する</param>
 435         /// <param name="delta">スクロールする量。ScrollDirectionの値がUpやDownなら行数。LeftやRightならピクセル単位の値となる</param>
 436         /// <param name="isSelected">選択状態にするなら真</param>
 437         /// <param name="withCaret">同時にキャレットを移動させるなら真</param>
 438         public void Scroll(ScrollDirection dir, int delta, bool isSelected,bool withCaret)
 439         {
 440             if (this.Document.FireUpdateEvent == false)
 441                 throw new InvalidOperationException("");
 442             int toRow = this.View.Src.Row;
 443             double toX = this.View.Src.X;
 444             switch (dir)
 445             {
 446                 case ScrollDirection.Up:
 447                     toRow = Math.Max(0, this.View.Src.Row - delta);
 448                     toRow = this.View.AdjustRow(toRow, false);
 449                     break;
 450                 case ScrollDirection.Down:
 451                     toRow = Math.Min(this.View.Src.Row + delta, this.View.LayoutLines.Count - 1);
 452                     toRow = this.View.AdjustRow(toRow, true);
 453                     break;
 454                 case ScrollDirection.Left:
 455                     toX -= delta;
 456                     break;
 457                 case ScrollDirection.Right:
 458                     toX += delta;
 459                     break;
 460                 default:
 461                     throw new ArgumentOutOfRangeException();
 462             }
 463             this.Scroll(toX, toRow, isSelected, withCaret);
 464         }
 465
 466         /// <summary>
 467         /// スクロールする
 468         /// </summary>
 469         /// <param name="toX">スクロール先の座標</param>
 470         /// <param name="toRow">スクロール先の行</param>
 471         /// <param name="isSelected">選択状態にするなら真</param>
 472         /// <param name="withCaret">同時にキャレットを移動させるなら真</param>
 473         public void Scroll(double toX, int toRow, bool isSelected, bool withCaret)
 474         {
 475             if (withCaret)
 476             {
 477                 this.View.Scroll(toX, toRow);
 478                 this.View.JumpCaret(toRow, 0);
 479                 this.View.AdjustCaretAndSrc();
 480                 this.SelectWithMoveCaret(isSelected);
 481             }
 482             else
 483             {
 484                 this.View.Scroll(toX, toRow);
 485             }
 486
 487             this.Document.SelectGrippers.BottomLeft.MoveByIndex(this.View, this.SelectionStart);
 488             this.Document.SelectGrippers.BottomRight.MoveByIndex(this.View, this.SelectionStart + this.SelectionLength);
 489         }
 490
 491         /// <summary>
 492         /// キャレットを桁方向に移動させる
 493         /// </summary>
 494         /// <returns>移動できない場合は真を返す</returns>
 495         /// <param name="realLength">負の値なら左側へ、そうでないなら右側へ移動する</param>
 496         /// <param name="isSelected">選択範囲とするなら真。そうでないなら偽</param>
 497         /// <param name="alignWord">単語単位で移動するなら真。そうでないなら偽</param>
 498         public void MoveCaretHorizontical(int realLength, bool isSelected,bool alignWord = false)
 499         {
 500             for (int i = Math.Abs(realLength); i > 0; i--)
 501             {
 502                 bool MoveFlow = realLength > 0;
 503                 if (this.Document.RightToLeft)
 504                     MoveFlow = !MoveFlow;
 505                 this.MoveCaretHorizontical(MoveFlow);
 506
 507                 if (alignWord)
 508                     this.AlignNearestWord(MoveFlow);
 509             }
 510             this.View.AdjustCaretAndSrc(AdjustFlow.Col);
 511             this.SelectWithMoveCaret(isSelected);
 512         }
 513
 514         void AlignNearestWord(bool MoveFlow)
 515         {
 516             string str = this.View.LayoutLines[this.Document.CaretPostion.row];
 517             while (this.Document.CaretPostion.col > 0 &&
 518                 this.Document.CaretPostion.col < str.Length &&
 519                 str[this.Document.CaretPostion.col] != Document.NewLine)
 520             {
 521                 if (!Util.IsWordSeparator(str[this.Document.CaretPostion.col]))
 522                 {
 523                     this.MoveCaretHorizontical(MoveFlow);
 524                 }
 525                 else
 526                 {
 527                     if(MoveFlow)
 528                         this.MoveCaretHorizontical(MoveFlow);
 529                     break;
 530                 }
 531             }
 532         }
 533
 534         /// <summary>
 535         /// キャレットを行方向に移動させる
 536         /// </summary>
 537         /// <returns>再描写する必要があるなら真を返す</returns>
 538         /// <param name="deltarow">移動量</param>
 539         /// <param name="isSelected"></param>
 540         public void MoveCaretVertical(int deltarow,bool isSelected)
 541         {
 542             for (int i = Math.Abs(deltarow); i > 0; i--)
 543                 this.MoveCaretVertical(deltarow > 0);
 544             this.View.AdjustCaretAndSrc(AdjustFlow.Both);
 545             this.SelectWithMoveCaret(isSelected);
 546         }
 547
 548         /// <summary>
 549         /// キャレット位置の文字を一文字削除する
 550         /// </summary>
 551         public void DoDeleteAction()
 552         {
 553             if (this.SelectionLength != 0)
 554             {
 555                 this.SelectedText = "";
 556                 return;
 557             }
 558
 559             if (this.Document.FireUpdateEvent == false)
 560                 throw new InvalidOperationException("");
 561
 562             TextPoint CaretPostion = this.Document.CaretPostion;
 563             int index = this.View.GetIndexFromLayoutLine(CaretPostion);
 564
 565             if (index == this.Document.Length)
 566                 return;
 567
 568             int lineHeadIndex = this.View.LayoutLines.GetIndexFromLineNumber(CaretPostion.row);
 569             int next = this.View.LayoutLines.GetLayout(CaretPostion.row).AlignIndexToNearestCluster(CaretPostion.col, AlignDirection.Forward) + lineHeadIndex;
 570
 571             if (this.Document[index] == Document.NewLine)
 572                 next = index + 1;
 573
 574             this.Document.Replace(index, next - index, "", true);
 575         }
 576
 577         public bool IsRectInsertMode()
 578         {
 579             if (!this.RectSelection || this.View.Selections.Count == 0)
 580                 return false;
 581             foreach(Selection sel in this.View.Selections)
 582             {
 583                 if (sel.length != 0)
 584                     return false;
 585             }
 586             return true;
 587         }
 588
 589         /// <summary>
 590         /// キャレット位置の文字を一文字削除し、キャレット位置を後ろにずらす
 591         /// </summary>
 592         public void DoBackSpaceAction()
 593         {
 594             if (this.IsRectInsertMode())
 595             {
 596                 this.ReplaceBeforeSelectionArea(this.View.Selections, 1, "");
 597                 return;
 598             }
 599             else if (this.SelectionLength > 0)
 600             {
 601                 this.SelectedText = "";
 602                 return;
 603             }
 604
 605             if (this.Document.FireUpdateEvent == false)
 606                 throw new InvalidOperationException("");
 607
 608             TextPoint CurrentPostion = this.Document.CaretPostion;
 609
 610             if (CurrentPostion.row == 0 && CurrentPostion.col == 0)
 611                 return;
 612
 613             int oldIndex = this.View.GetIndexFromLayoutLine(CurrentPostion);
 614
 615             int newCol, newIndex;
 616             if (CurrentPostion.col > 0)
 617             {
 618                 newCol = this.View.LayoutLines.GetLayout(CurrentPostion.row).AlignIndexToNearestCluster(CurrentPostion.col - 1, AlignDirection.Back);
 619                 newIndex = this.View.GetIndexFromLayoutLine(new TextPoint(CurrentPostion.row, newCol));
 620             }
 621             else
 622             {
 623                 newIndex = this.View.GetIndexFromLayoutLine(CurrentPostion);
 624                 newIndex--;
 625             }
 626
 627             this.Document.Replace(newIndex, oldIndex - newIndex, "", true);
 628         }
 629
 630         /// <summary>
 631         /// キャレット位置で行を分割する
 632         /// </summary>
 633         public void DoEnterAction()
 634         {
 635             this.DoInputChar('\n');
 636         }
 637
 638         /// <summary>
 639         /// キャレット位置に文字を入力し、その分だけキャレットを進める。isInsertModeの値により動作が変わります
 640         /// </summary>
 641         /// <param name="ch"></param>
 642         public void DoInputChar(char ch)
 643         {
 644             this.DoInputString(ch.ToString());
 645         }
 646
 647         string GetIndentSpace(int col_index)
 648         {
 649             int space_count = this.Document.TabStops - (col_index % this.Document.TabStops);
 650             return new string(Enumerable.Repeat(' ',space_count).ToArray());
 651         }
 652
 653         /// <summary>
 654         /// キャレット位置に文字列を挿入し、その分だけキャレットを進める。isInsertModeの値により動作が変わります
 655         /// </summary>
 656         /// <param name="str">挿入したい文字列</param>
 657         /// <param name="fromTip">真の場合、矩形選択の幅にかかわらず矩形編集モードとして動作します。そうでない場合は選択領域を文字列で置き換えます</param>
 658         public void DoInputString(string str,bool fromTip = false)
 659         {
 660             TextPoint CaretPos = this.Document.CaretPostion;
 661
 662             if (str == "\t" && this.IndentMode == IndentMode.Space)
 663                 str = this.GetIndentSpace(CaretPos.col);
 664
 665             if (this.IsRectInsertMode())
 666             {
 667                 this.ReplaceBeforeSelectionArea(this.View.Selections, 0, str);
 668                 return;
 669             }
 670             else if (this.SelectionLength != 0)
 671             {
 672                 this.RepleaceSelectionArea(this.View.Selections, str, fromTip);
 673                 return;
 674             }
 675
 676             if (this.Document.FireUpdateEvent == false)
 677                 throw new InvalidOperationException("");
 678
 679             int index = this.View.GetIndexFromLayoutLine(this.Document.CaretPostion);
 680             int length = 0;
 681             if (this.View.InsertMode == false && index < this.Document.Length && this.Document[index] != Document.NewLine)
 682             {
 683                 string lineString = this.View.LayoutLines[CaretPos.row];
 684                 int end = this.View.LayoutLines.GetLayout(CaretPos.row).AlignIndexToNearestCluster(CaretPos.col + str.Length - 1, AlignDirection.Forward);
 685                 if (end > lineString.Length - 1)
 686                     end = lineString.Length - 1;
 687                 end += this.View.LayoutLines.GetIndexFromLineNumber(CaretPos.row);
 688                 length = end - index;
 689             }
 690             if (str == Document.NewLine.ToString())
 691             {
 692                 int lineHeadIndex = this.View.LayoutLines.GetIndexFromLineNumber(CaretPos.row);
 693                 int lineLength = this.View.LayoutLines.GetLengthFromLineNumber(CaretPos.row);
 694                 FoldingItem foldingData = this.View.LayoutLines.FoldingCollection.GetFarestHiddenFoldingData(lineHeadIndex, lineLength);
 695                 if (foldingData != null && !foldingData.Expand && index > foldingData.Start && index <= foldingData.End)
 696                     index = foldingData.End + 1;
 697             }
 698             this.Document.Replace(index, length, str, true);
 699         }
 700
 701         /// <summary>
 702         /// キャレットの移動に合わせて選択する
 703         /// </summary>
 704         /// <param name="isSelected">選択状態にするかどうか</param>
 705         /// <remarks>
 706         /// キャレットを移動後、このメソッドを呼び出さない場合、Select()メソッドは正常に機能しません
 707         /// </remarks>
 708         void SelectWithMoveCaret(bool isSelected)
 709         {
 710             if (this.Document.CaretPostion.col < 0 || this.Document.CaretPostion.row < 0)
 711                 return;
 712
 713             if (this.Document.FireUpdateEvent == false)
 714                 throw new InvalidOperationException("");
 715
 716             int CaretPostion = this.View.GetIndexFromLayoutLine(this.Document.CaretPostion);
 717
 718             SelectCollection Selections = this.View.Selections;
 719             if (isSelected)
 720             {
 721                 this.Document.Select(this.Document.AnchorIndex, CaretPostion - this.Document.AnchorIndex);
 722             }else{
 723                 this.Document.AnchorIndex = CaretPostion;
 724                 this.Document.Select(CaretPostion, 0);
 725             }
 726         }
 727
 728         /// <summary>
 729         /// JumpCaretで移動した位置からキャレットを移動し、選択状態にする
 730         /// </summary>
 731         /// <param name="tp"></param>
 732         public void MoveCaretAndSelect(TextPoint tp)
 733         {
 734             int CaretPostion = this.View.GetIndexFromLayoutLine(tp);
 735             this.Document.Select(this.Document.AnchorIndex, CaretPostion - this.Document.AnchorIndex);
 736             this.View.JumpCaret(tp.row, tp.col);
 737             this.View.AdjustCaretAndSrc();
 738         }
 739
 740         /// <summary>
 741         /// グリッパーとキャレットを同時に移動する
 742         /// </summary>
 743         /// <param name="p">ポインターの座標</param>
 744         /// <param name="hittedGripper">動かす対象となるグリッパー</param>
 745         /// <returns>移動できた場合は真を返す。そうでなければ偽を返す</returns>
 746         /// <remarks>グリッパー内にポインターが存在しない場合、グリッパーはポインターの座標近くの行に移動する</remarks>
 747         public bool MoveCaretAndGripper(Point p, Gripper hittedGripper)
 748         {
 749             bool HittedCaret = false;
 750             TextPoint tp = this.View.GetTextPointFromPostion(p);
 751             if (tp == this.Document.CaretPostion)
 752             {
 753                 HittedCaret = true;
 754             }
 755
 756             if (HittedCaret || hittedGripper != null)
 757             {
 758                 TextPointSearchRange searchRange;
 759                 if (this.View.HitTextArea(p.X, p.Y))
 760                     searchRange = TextPointSearchRange.TextAreaOnly;
 761                 else if (this.SelectionLength > 0)
 762                     searchRange = TextPointSearchRange.Full;
 763                 else
 764                     return false;
 765
 766                 if (hittedGripper != null)
 767                 {
 768                     tp = this.View.GetTextPointFromPostion(hittedGripper.AdjustPoint(p), searchRange);
 769                     if (tp == TextPoint.Null)
 770                         return false;
 771                     if (Object.ReferenceEquals(hittedGripper, this.Document.SelectGrippers.BottomRight))
 772                         this.MoveCaretAndSelect(tp);
 773                     else if(Object.ReferenceEquals(hittedGripper, this.Document.SelectGrippers.BottomLeft))
 774                         this.MoveSelectBefore(tp);
 775                 }
 776                 else
 777                 {
 778                     tp = this.View.GetTextPointFromPostion(p, searchRange);
 779                     if (tp != TextPoint.Null)
 780                     {
 781                         this.MoveCaretAndSelect(tp);
 782                     }
 783                     else
 784                     {
 785                         return false;
 786                     }
 787                 }
 788                 this.Document.SelectGrippers.BottomLeft.Enabled = this.SelectionLength != 0;
 789                 return true;
 790             }
 791             return false;
 792         }
 793
 794         public void MoveSelectBefore(TextPoint tp)
 795         {
 796             int NewAnchorIndex;
 797             int SelectionLength;
 798             if (this.IsReverseSelect())
 799             {
 800                 NewAnchorIndex = this.View.GetIndexFromLayoutLine(tp);
 801                 SelectionLength = this.SelectionLength + NewAnchorIndex - this.Document.AnchorIndex;
 802                 this.Document.Select(this.SelectionStart, SelectionLength);
 803             }
 804             else
 805             {
 806                 NewAnchorIndex = this.View.GetIndexFromLayoutLine(tp);
 807                 SelectionLength = this.SelectionLength + this.Document.AnchorIndex - NewAnchorIndex;
 808                 this.Document.Select(NewAnchorIndex, SelectionLength);
 809             }
 810             this.Document.AnchorIndex = NewAnchorIndex;
 811         }
 812
 813         /// <summary>
 814         /// キャレット位置を既定の位置に戻す
 815         /// </summary>
 816         public void ResetCaretPostion()
 817         {
 818             this.JumpCaret(0);
 819         }
 820
 821         /// <summary>
 822         /// 行単位で移動後のキャレット位置を取得する
 823         /// </summary>
 824         /// <param name="count">移動量</param>
 825         /// <param name="current">現在のキャレット位置</param>
 826         /// <returns>移動後のキャレット位置</returns>
 827         public TextPoint GetTextPointAfterMoveLine(int count, TextPoint current)
 828         {
 829             int row = current.row + count;
 830
 831             if (row < 0)
 832                 row = 0;
 833             else if (row >= this.View.LayoutLines.Count)
 834                 row = this.View.LayoutLines.Count - 1;
 835
 836             row = this.View.AdjustRow(row, count > 0);
 837
 838             double colpos = this.View.GetColPostionFromIndex(current.row, current.col);
 839             int col = this.View.GetIndexFromColPostion(row, colpos);
 840
 841             return new TextPoint(row, col);
 842         }
 843
 844         /// <summary>
 845         /// 選択文字列のインデントを一つ増やす
 846         /// </summary>
 847         public void UpIndent()
 848         {
 849             if (this.RectSelection || this.SelectionLength == 0)
 850                 return;
 851             int selectionStart = this.SelectionStart;
 852             string insertStr = this.IndentMode == IndentMode.Space ? this.GetIndentSpace(0) : "\t";
 853             string text = this.InsertLineHead(GetTextFromLineSelectArea(this.View.Selections), insertStr);
 854             this.RepleaceSelectionArea(this.View.Selections,text);
 855             this.Document.Select(selectionStart, text.Length);
 856         }
 857
 858         /// <summary>
 859         /// 選択文字列のインデントを一つ減らす
 860         /// </summary>
 861         public void DownIndent()
 862         {
 863             if (this.RectSelection || this.SelectionLength == 0)
 864                 return;
 865             int selectionStart = this.SelectionStart;
 866             string insertStr = this.IndentMode == IndentMode.Space ? this.GetIndentSpace(0) : "\t";
 867             string text = this.RemoveLineHead(GetTextFromLineSelectArea(this.View.Selections), insertStr);
 868             this.RepleaceSelectionArea(this.View.Selections, text);
 869             this.Document.Select(selectionStart, text.Length);
 870         }
 871
 872         string InsertLineHead(string s, string str)
 873         {
 874             string[] lines = s.Split(new string[] { Document.NewLine.ToString() }, StringSplitOptions.None);
 875             StringBuilder output = new StringBuilder();
 876             for (int i = 0; i < lines.Length; i++)
 877             {
 878                 if(lines[i].Length > 0)
 879                     output.Append(str + lines[i] + Document.NewLine);
 880                 else if(i < lines.Length - 1)
 881                     output.Append(lines[i] + Document.NewLine);
 882             }
 883             return output.ToString();
 884         }
 885
 886         public string RemoveLineHead(string s, string str)
 887         {
 888             string[] lines = s.Split(new string[] { Document.NewLine.ToString() }, StringSplitOptions.None);
 889             StringBuilder output = new StringBuilder();
 890             for (int i = 0; i < lines.Length; i++)
 891             {
 892                 if (lines[i].StartsWith(str))
 893                     output.Append(lines[i].Substring(1) + Document.NewLine);
 894                 else if (i < lines.Length - 1)
 895                     output.Append(lines[i] + Document.NewLine);
 896             }
 897             return output.ToString();
 898         }
 899
 900         /// <summary>
 901         /// キャレットを一文字移動させる
 902         /// </summary>
 903         /// <param name="isMoveNext">真なら１文字すすめ、そうでなければ戻す</param>
 904         /// <remarks>このメソッドを呼び出した後でScrollToCaretメソッドとSelectWithMoveCaretメソッドを呼び出す必要があります</remarks>
 905         void MoveCaretHorizontical(bool isMoveNext)
 906         {
 907             if (this.Document.FireUpdateEvent == false)
 908                 throw new InvalidOperationException("");
 909             int delta = isMoveNext ? 0 : -1;
 910             int prevcol = this.Document.CaretPostion.col;
 911             int col = this.Document.CaretPostion.col + delta;
 912             string lineString = this.View.LayoutLines[this.Document.CaretPostion.row];
 913             if (col < 0 || this.Document.CaretPostion.row >= this.View.LayoutLines.Count)
 914             {
 915                 if (this.Document.CaretPostion.row == 0)
 916                 {
 917                     col = 0;
 918                     return;
 919                 }
 920                 this.MoveCaretVertical(false);
 921                 this.View.AdjustCaretAndSrc(AdjustFlow.Row);  //この段階で調整しないとスクロールされない
 922                 col = this.View.LayoutLines.GetLengthFromLineNumber(this.Document.CaretPostion.row) - 1;  //最終行以外はすべて改行コードが付くはず
 923             }
 924             else if (col >= lineString.Length || lineString[col] == Document.NewLine)
 925             {
 926                 if (this.Document.CaretPostion.row < this.View.LayoutLines.Count - 1)
 927                 {
 928                     this.MoveCaretVertical(true);
 929                     this.View.AdjustCaretAndSrc(AdjustFlow.Row);  //この段階で調整しないとスクロールされない
 930                     col = 0;
 931                 }
 932             }
 933             else
 934             {
 935                 AlignDirection direction = isMoveNext ? AlignDirection.Forward : AlignDirection.Back;
 936                 col = this.View.LayoutLines.GetLayout(this.Document.CaretPostion.row).AlignIndexToNearestCluster(col, direction);
 937             }
 938
 939             this.View.JumpCaret(this.Document.CaretPostion.row, col,false);
 940         }
 941
 942         /// <summary>
 943         /// キャレットを行方向に移動させる
 944         /// </summary>
 945         /// <param name="isMoveNext">プラス方向に移動するなら真</param>
 946         /// <remarks>このメソッドを呼び出した後でScrollToCaretメソッドとSelectWithMoveCaretメソッドを呼び出す必要があります</remarks>
 947         void MoveCaretVertical(bool isMoveNext)
 948         {
 949             if (this.Document.FireUpdateEvent == false)
 950                 throw new InvalidOperationException("");
 951
 952             TextPoint nextPoint = this.GetTextPointAfterMoveLine(isMoveNext ? 1 : -1, this.Document.CaretPostion);
 953
 954             this.View.JumpCaret(nextPoint.row, nextPoint.col,false);
 955         }
 956
 957         private void ReplaceBeforeSelectionArea(SelectCollection Selections, int removeLength, string insertStr)
 958         {
 959             if (removeLength == 0 && insertStr.Length == 0)
 960                 return;
 961
 962             if (this.RectSelection == false || this.Document.FireUpdateEvent == false)
 963                 throw new InvalidOperationException();
 964
 965             SelectCollection temp = this.View.Selections;
 966             int selectStart = temp.First().start;
 967             int selectEnd = temp.Last().start + temp.Last().length;
 968
 969             //ドキュメント操作後に行うとうまくいかないので、あらかじめ取得しておく
 970             TextPoint start = this.View.LayoutLines.GetTextPointFromIndex(selectStart);
 971             TextPoint end = this.View.LayoutLines.GetTextPointFromIndex(selectEnd);
 972
 973             bool reverse = temp.First().start > temp.Last().start;
 974
 975             int lineHeadIndex = this.View.LayoutLines.GetIndexFromLineNumber(this.View.LayoutLines.GetLineNumberFromIndex(selectStart));
 976             if (selectStart - removeLength < lineHeadIndex)
 977                 return;
 978
 979             this.Document.UndoManager.BeginUndoGroup();
 980             this.Document.FireUpdateEvent = false;
 981
 982             if (reverse)
 983             {
 984                 for (int i = 0; i < temp.Count; i++)
 985                 {
 986                     this.ReplaceBeforeSelection(temp[i], removeLength, insertStr);
 987                 }
 988             }
 989             else
 990             {
 991                 for (int i = temp.Count - 1; i >= 0; i--)
 992                 {
 993                     this.ReplaceBeforeSelection(temp[i], removeLength, insertStr);
 994                 }
 995             }
 996
 997             this.Document.FireUpdateEvent = true;
 998             this.Document.UndoManager.EndUndoGroup();
 999
1000             int delta = insertStr.Length - removeLength;
1001             start.col += delta;
1002             end.col += delta;
1003
1004             if (reverse)
1005                 this.JumpCaret(start.row, start.col);
1006             else
1007                 this.JumpCaret(end.row, end.col);
1008
1009             this.Document.Select(start, 0, end.row - start.row);
1010         }
1011
1012         private void ReplaceBeforeSelection(Selection sel, int removeLength, string insertStr)
1013         {
1014             sel = Util.NormalizeIMaker<Selection>(sel);
1015             this.Document.Replace(sel.start - removeLength, removeLength, insertStr);
1016         }
1017
1018         private void RepleaceSelectionArea(SelectCollection Selections, string value,bool updateInsertPoint = false)
1019         {
1020             if (value == null)
1021                 return;
1022
1023             if (this.RectSelection == false)
1024             {
1025                 Selection sel = Selection.Create(this.Document.AnchorIndex, 0);
1026                 if (Selections.Count > 0)
1027                     sel = Util.NormalizeIMaker<Selection>(this.View.Selections.First());
1028
1029                 this.Document.Replace(sel.start, sel.length, value);
1030                 return;
1031             }
1032
1033             if (this.Document.FireUpdateEvent == false)
1034                 throw new InvalidOperationException("");
1035
1036             int StartIndex = this.SelectionStart;
1037
1038             SelectCollection newInsertPoint = new SelectCollection();
1039
1040             if (this.SelectionLength == 0)
1041             {
1042                 int i;
1043
1044                 this.Document.UndoManager.BeginUndoGroup();
1045
1046                 this.Document.FireUpdateEvent = false;
1047
1048                 string[] line = value.Split(new string[] { Document.NewLine.ToString() }, StringSplitOptions.RemoveEmptyEntries);
1049
1050                 TextPoint Current = this.View.GetLayoutLineFromIndex(this.SelectionStart);
1051
1052                 for (i = 0; i < line.Length && Current.row < this.View.LayoutLines.Count; i++, Current.row++)
1053                 {
1054                     if (Current.col > this.View.LayoutLines[Current.row].Length)
1055                         Current.col = this.View.LayoutLines[Current.row].Length;
1056                     StartIndex = this.View.GetIndexFromLayoutLine(Current);
1057                     this.Document.Replace(StartIndex, 0, line[i]);
1058                     StartIndex += line[i].Length;
1059                 }
1060
1061                 for (; i < line.Length; i++)
1062                 {
1063                     StartIndex = this.Document.Length;
1064                     string str = Document.NewLine + line[i];
1065                     this.Document.Replace(StartIndex, 0, str);
1066                     StartIndex += str.Length;
1067                 }
1068
1069                 this.Document.FireUpdateEvent = true;
1070
1071                 this.Document.UndoManager.EndUndoGroup();
1072             }
1073             else
1074             {
1075                 SelectCollection temp = new SelectCollection(this.View.Selections); //コピーしないとReplaceCommandを呼び出した段階で書き換えられてしまう
1076
1077                 this.Document.UndoManager.BeginUndoGroup();
1078
1079                 this.Document.FireUpdateEvent = false;
1080
1081                 if (temp.First().start < temp.Last().start)
1082                 {
1083                     for (int i = temp.Count - 1; i >= 0; i--)
1084                     {
1085                         Selection sel = Util.NormalizeIMaker<Selection>(temp[i]);
1086
1087                         StartIndex = sel.start;
1088
1089                         this.Document.Replace(sel.start, sel.length, value);
1090
1091                         newInsertPoint.Add(Selection.Create(sel.start + (value.Length - sel.length) * i,0));
1092                     }
1093                 }
1094                 else
1095                 {
1096                     for (int i = 0; i < temp.Count; i++)
1097                     {
1098                         Selection sel = Util.NormalizeIMaker<Selection>(temp[i]);
1099
1100                         StartIndex = sel.start;
1101
1102                         this.Document.Replace(sel.start, sel.length, value);
1103
1104                         newInsertPoint.Add(Selection.Create(sel.start + (value.Length - sel.length) * i, 0));
1105                     }
1106                 }
1107
1108                 this.Document.FireUpdateEvent = true;
1109
1110                 this.Document.UndoManager.EndUndoGroup();
1111             }
1112             this.JumpCaret(StartIndex);
1113             if (updateInsertPoint && newInsertPoint.Count > 0)
1114                 this.View.Selections = newInsertPoint;
1115         }
1116
1117         private string GetTextFromLineSelectArea(SelectCollection Selections)
1118         {
1119             Selection sel = Util.NormalizeIMaker<Selection>(Selections.First());
1120
1121             string str = this.Document.ToString(sel.start, sel.length);
1122
1123             return str;
1124         }
1125
1126         string GetTextFromRectangleSelectArea(SelectCollection Selections)
1127         {
1128             StringBuilder temp = new StringBuilder();
1129             if (Selections.First().start < Selections.Last().start)
1130             {
1131                 for (int i = 0; i < this.View.Selections.Count; i++)
1132                 {
1133                     Selection sel = Util.NormalizeIMaker<Selection>(Selections[i]);
1134
1135                     string str = this.Document.ToString(sel.start, sel.length);
1136                     if (str.IndexOf(Environment.NewLine) == -1)
1137                         temp.AppendLine(str);
1138                     else
1139                         temp.Append(str);
1140                 }
1141             }
1142             else
1143             {
1144                 for (int i = this.View.Selections.Count - 1; i >= 0; i--)
1145                 {
1146                     Selection sel = Util.NormalizeIMaker<Selection>(Selections[i]);
1147
1148                     string str = this.Document.ToString(sel.start, sel.length).Replace(Document.NewLine.ToString(), Environment.NewLine);
1149                     if (str.IndexOf(Environment.NewLine) == -1)
1150                         temp.AppendLine(str);
1151                     else
1152                         temp.Append(str);
1153                 }
1154             }
1155             return temp.ToString();
1156         }
1157
1158         void View_LineBreakChanged(object sender, EventArgs e)
1159         {
1160             this.DeSelectAll();
1161             this.AdjustCaret();
1162         }
1163
1164         void View_PageBoundChanged(object sender, EventArgs e)
1165         {
1166             if (this.Document.LineBreak == LineBreakMethod.PageBound && this.View.PageBound.Width - this.View.LineBreakingMarginWidth > 0)
1167                 this.Document.PerformLayout();
1168             this.AdjustCaret();
1169         }
1170
1171         void render_ChangedRenderResource(object sender, ChangedRenderRsourceEventArgs e)
1172         {
1173             if (e.type == ResourceType.Font)
1174             {
1175                 if (this.Document.LineBreak == LineBreakMethod.PageBound)
1176                     this.Document.PerformLayout();
1177                 this.AdjustCaret();
1178             }
1179             if (e.type == ResourceType.InlineChar)
1180             {
1181                 int oldLineCountOnScreen = this.View.LineCountOnScreen;
1182                 this.View.CalculateLineCountOnScreen();
1183                 if(this.View.LineCountOnScreen != oldLineCountOnScreen)
1184                     this.AdjustCaret();
1185             }
1186         }
1187
1188         void Document_Update(object sender, DocumentUpdateEventArgs e)
1189         {
1190             switch (e.type)
1191             {
1192                 case UpdateType.Replace:
1193                     this.JumpCaret(e.startIndex + e.insertLength,true);
1194                     break;
1195                 case UpdateType.Clear:
1196                     this.JumpCaret(0,0, false);
1197                     break;
1198             }
1199         }
1200     }
1201 }