//
//
//
//
// $Revision$
//
using System;
using System.Collections.Generic;
using System.Drawing;
using System.Text;
namespace ICSharpCode.TextEditor.Document
{
public class FoldingManager
{
List foldMarker = new List();
List foldMarkerByEnd = new List();
IFoldingStrategy foldingStrategy = null;
IDocument document;
public IList FoldMarker {
get {
return foldMarker.AsReadOnly();
}
}
public IFoldingStrategy FoldingStrategy {
get {
return foldingStrategy;
}
set {
foldingStrategy = value;
}
}
internal FoldingManager(IDocument document, LineManager lineTracker)
{
this.document = document;
document.DocumentChanged += new DocumentEventHandler(DocumentChanged);
// lineTracker.LineCountChanged += new LineManagerEventHandler(LineManagerLineCountChanged);
// lineTracker.LineLengthChanged += new LineLengthEventHandler(LineManagerLineLengthChanged);
// foldMarker.Add(new FoldMarker(0, 5, 3, 5));
//
// foldMarker.Add(new FoldMarker(5, 5, 10, 3));
// foldMarker.Add(new FoldMarker(6, 0, 8, 2));
//
// FoldMarker fm1 = new FoldMarker(10, 4, 10, 7);
// FoldMarker fm2 = new FoldMarker(10, 10, 10, 14);
//
// fm1.IsFolded = true;
// fm2.IsFolded = true;
//
// foldMarker.Add(fm1);
// foldMarker.Add(fm2);
// foldMarker.Sort();
}
void DocumentChanged(object sender, DocumentEventArgs e)
{
int oldCount = foldMarker.Count;
document.UpdateSegmentListOnDocumentChange(foldMarker, e);
if (oldCount != foldMarker.Count) {
document.RequestUpdate(new TextAreaUpdate(TextAreaUpdateType.WholeTextArea));
}
}
public List GetFoldingsFromPosition(int line, int column)
{
List foldings = new List();
if (foldMarker != null) {
for (int i = 0; i < foldMarker.Count; ++i) {
FoldMarker fm = foldMarker[i];
if ((fm.StartLine == line && column > fm.StartColumn && !(fm.EndLine == line && column >= fm.EndColumn)) ||
(fm.EndLine == line && column < fm.EndColumn && !(fm.StartLine == line && column <= fm.StartColumn)) ||
(line > fm.StartLine && line < fm.EndLine)) {
foldings.Add(fm);
}
}
}
return foldings;
}
class StartComparer : IComparer
{
public readonly static StartComparer Instance = new StartComparer();
public int Compare(FoldMarker x, FoldMarker y)
{
if (x.StartLine < y.StartLine)
return -1;
else if (x.StartLine == y.StartLine)
return x.StartColumn.CompareTo(y.StartColumn);
else
return 1;
}
}
class EndComparer : IComparer
{
public readonly static EndComparer Instance = new EndComparer();
public int Compare(FoldMarker x, FoldMarker y)
{
if (x.EndLine < y.EndLine)
return -1;
else if (x.EndLine == y.EndLine)
return x.EndColumn.CompareTo(y.EndColumn);
else
return 1;
}
}
List GetFoldingsByStartAfterColumn(int lineNumber, int column, bool forceFolded)
{
List foldings = new List();
if (foldMarker != null) {
int index = foldMarker.BinarySearch(
new FoldMarker(document, lineNumber, column, lineNumber, column),
StartComparer.Instance);
if (index < 0) index = ~index;
for (; index < foldMarker.Count; index++) {
FoldMarker fm = foldMarker[index];
if (fm.StartLine > lineNumber)
break;
if (fm.StartColumn <= column)
continue;
if (!forceFolded || fm.IsFolded)
foldings.Add(fm);
}
}
return foldings;
}
public List GetFoldingsWithStart(int lineNumber)
{
return GetFoldingsByStartAfterColumn(lineNumber, -1, false);
}
public List GetFoldedFoldingsWithStart(int lineNumber)
{
return GetFoldingsByStartAfterColumn(lineNumber, -1, true);
}
public List GetFoldedFoldingsWithStartAfterColumn(int lineNumber, int column)
{
return GetFoldingsByStartAfterColumn(lineNumber, column, true);
}
List GetFoldingsByEndAfterColumn(int lineNumber, int column, bool forceFolded)
{
List foldings = new List();
if (foldMarker != null) {
int index = foldMarkerByEnd.BinarySearch(
new FoldMarker(document, lineNumber, column, lineNumber, column),
EndComparer.Instance);
if (index < 0) index = ~index;
for (; index < foldMarkerByEnd.Count; index++) {
FoldMarker fm = foldMarkerByEnd[index];
if (fm.EndLine > lineNumber)
break;
if (fm.EndColumn <= column)
continue;
if (!forceFolded || fm.IsFolded)
foldings.Add(fm);
}
}
return foldings;
}
public List GetFoldingsWithEnd(int lineNumber)
{
return GetFoldingsByEndAfterColumn(lineNumber, -1, false);
}
public List GetFoldedFoldingsWithEnd(int lineNumber)
{
return GetFoldingsByEndAfterColumn(lineNumber, -1, true);
}
public bool IsFoldStart(int lineNumber)
{
return GetFoldingsWithStart(lineNumber).Count > 0;
}
public bool IsFoldEnd(int lineNumber)
{
return GetFoldingsWithEnd(lineNumber).Count > 0;
}
public List GetFoldingsContainsLineNumber(int lineNumber)
{
List foldings = new List();
if (foldMarker != null) {
foreach (FoldMarker fm in foldMarker) {
if (fm.StartLine < lineNumber && lineNumber < fm.EndLine) {
foldings.Add(fm);
}
}
}
return foldings;
}
public bool IsBetweenFolding(int lineNumber)
{
return GetFoldingsContainsLineNumber(lineNumber).Count > 0;
}
public bool IsLineVisible(int lineNumber)
{
foreach (FoldMarker fm in GetFoldingsContainsLineNumber(lineNumber)) {
if (fm.IsFolded)
return false;
}
return true;
}
public List GetTopLevelFoldedFoldings()
{
List foldings = new List();
if (foldMarker != null) {
Point end = new Point(0, 0);
foreach (FoldMarker fm in foldMarker) {
if (fm.IsFolded && (fm.StartLine > end.Y || fm.StartLine == end.Y && fm.StartColumn >= end.X)) {
foldings.Add(fm);
end = new Point(fm.EndColumn, fm.EndLine);
}
}
}
return foldings;
}
public void UpdateFoldings(string fileName, object parseInfo)
{
UpdateFoldings(foldingStrategy.GenerateFoldMarkers(document, fileName, parseInfo));
}
public void UpdateFoldings(List newFoldings)
{
int oldFoldingsCount = foldMarker.Count;
lock (this) {
if (newFoldings != null && newFoldings.Count != 0) {
newFoldings.Sort();
if (foldMarker.Count == newFoldings.Count) {
for (int i = 0; i < foldMarker.Count; ++i) {
newFoldings[i].IsFolded = foldMarker[i].IsFolded;
}
foldMarker = newFoldings;
} else {
for (int i = 0, j = 0; i < foldMarker.Count && j < newFoldings.Count;) {
int n = newFoldings[j].CompareTo(foldMarker[i]);
if (n > 0) {
++i;
} else {
if (n == 0) {
newFoldings[j].IsFolded = foldMarker[i].IsFolded;
}
++j;
}
}
}
}
if (newFoldings != null) {
foldMarker = newFoldings;
foldMarkerByEnd = new List(newFoldings);
foldMarkerByEnd.Sort(EndComparer.Instance);
} else {
foldMarker.Clear();
foldMarkerByEnd.Clear();
}
}
if (oldFoldingsCount != foldMarker.Count) {
document.RequestUpdate(new TextAreaUpdate(TextAreaUpdateType.WholeTextArea));
document.CommitUpdate();
}
}
public string SerializeToString()
{
StringBuilder sb = new StringBuilder();
foreach (FoldMarker marker in this.foldMarker) {
sb.Append(marker.Offset);sb.Append("\n");
sb.Append(marker.Length);sb.Append("\n");
sb.Append(marker.FoldText);sb.Append("\n");
sb.Append(marker.IsFolded);sb.Append("\n");
}
return sb.ToString();
}
public void DeserializeFromString(string str)
{
try {
string[] lines = str.Split('\n');
for (int i = 0; i < lines.Length && lines[i].Length > 0; i += 4) {
int offset = Int32.Parse(lines[i]);
int length = Int32.Parse(lines[i + 1]);
string text = lines[i + 2];
bool isFolded = Boolean.Parse(lines[i + 3]);
bool found = false;
foreach (FoldMarker marker in foldMarker) {
if (marker.Offset == offset && marker.Length == length) {
marker.IsFolded = isFolded;
found = true;
break;
}
}
if (!found) {
foldMarker.Add(new FoldMarker(document, offset, length, text, isFolded));
}
}
if (lines.Length > 0) {
NotifyFoldingsChanged(EventArgs.Empty);
}
} catch (Exception) {
}
}
public void NotifyFoldingsChanged(EventArgs e)
{
if (FoldingsChanged != null) {
FoldingsChanged(this, e);
}
}
public event EventHandler FoldingsChanged;
}
}