1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
using System;
using System.Text;
using System.Linq;
using System.Drawing;
using System.Diagnostics;
using System.Windows.Forms;
using System.Threading;
using System.Threading.Tasks;
using System.Collections.Generic;
using Tango.PMR.Stubs;
using Tango.Stubs.UI;
public void OnExecute(StubManager stubManager)
{
//for (int i = 0; i< 1; i++)
//{
// stubManager.Run<StubFpgaWriteRegResponse>("StubFpgaWriteRegRequest",0x600003f8,0x00AA);
stubManager.Run<StubFpgaReadRegResponse>("StubFpgaReadRegRequest",0x60000000);
// stubManager.Run<StubFpgaReadRegResponse>("StubFpgaReadRegRequest",0x60000010);
Thread.Sleep(10);
// stubManager.Run<StubFpgaWriteRegResponse>("StubFpgaWriteRegRequest",0x600007f8,0x00AA);
//stubManager.Run<StubFpgaReadRegResponse>("StubFpgaReadRegRequest",0x60000410);
//}
//Thread.Sleep(1000);
}
// Copyright (c) AlphaSierraPapa for the SharpDevelop Team (for details please see \doc\copyright.txt)
// This code is distributed under the GNU LGPL (for details please see \doc\license.txt)
using System;
using System.Diagnostics;
using System.Text;
using System.Windows.Threading;
using Tango.Scripting.Editors.Document;
using Tango.Scripting.Editors.Rendering;
using Tango.Scripting.Editors.Utils;
namespace Tango.Scripting.Editors.Folding
{
/// <summary>
/// A section that can be folded.
/// </summary>
public sealed class FoldingSection : TextSegment
{
readonly FoldingManager manager;
bool isFolded;
internal CollapsedLineSection[] collapsedSections;
string title;
/// <summary>
/// Gets/sets if the section is folded.
/// </summary>
public bool IsFolded {
get { return isFolded; }
set {
if (isFolded != value) {
isFolded = value;
ValidateCollapsedLineSections(); // create/destroy CollapsedLineSection
manager.Redraw(this);
}
}
}
internal void ValidateCollapsedLineSections()
{
if (!isFolded) {
RemoveCollapsedLineSection();
return;
}
// It is possible that StartOffset/EndOffset get set to invalid values via the property setters in TextSegment,
// so we coerce those values into the valid range.
DocumentLine startLine = manager.document.GetLineByOffset(StartOffset.CoerceValue(0, manager.document.TextLength));
DocumentLine endLine = manager.document.GetLineByOffset(EndOffset.CoerceValue(0, manager.document.TextLength));
if (startLine == endLine) {
RemoveCollapsedLineSection();
} else {
if (collapsedSections == null)
collapsedSections = new CollapsedLineSection[manager.textViews.Count];
// Validate collapsed line sections
DocumentLine startLinePlusOne = startLine.NextLine;
for (int i = 0; i < collapsedSections.Length; i++) {
var collapsedSection = collapsedSections[i];
if (collapsedSection == null || collapsedSection.Start != startLinePlusOne || collapsedSection.End != endLine) {
// recreate this collapsed section
if (collapsedSection != null) {
Debug.WriteLine("CollapsedLineSection validation - recreate collapsed section from " + startLinePlusOne + " to " + endLine);
collapsedSection.Uncollapse();
}
collapsedSections[i] = manager.textViews[i].CollapseLines(startLinePlusOne, endLine);
}
}
}
}
/// <inheritdoc/>
protected override void OnSegmentChanged()
{
ValidateCollapsedLineSections();
base.OnSegmentChanged();
// don't redraw if the FoldingSection wasn't added to the FoldingManager's collection yet
if (IsConnectedToCollection)
manager.Redraw(this);
}
/// <summary>
/// Gets/Sets the text used to display the collapsed version of the folding section.
/// </summary>
public string Title {
get {
return title;
}
set {
if (title != value) {
title = value;
if (this.IsFolded)
manager.Redraw(this);
}
}
}
/// <summary>
/// Gets the content of the collapsed lines as text.
/// </summary>
public string TextContent {
get {
return manager.document.GetText(StartOffset, EndOffset - StartOffset);
}
}
/// <summary>
/// Gets the content of the collapsed lines as tooltip text.
/// </summary>
[Obsolete]
public string TooltipText {
get {
// This fixes SD-1394:
// Each line is checked for leading indentation whitespaces. If
// a line has the same or more indentation than the first line,
// it is reduced. If a line is less indented than the first line
// the indentation is removed completely.
//
// See the following example:
// line 1
// line 2
// line 3
// line 4
//
// is reduced to:
// line 1
// line 2
// line 3
// line 4
var startLine = manager.document.GetLineByOffset(StartOffset);
var endLine = manager.document.GetLineByOffset(EndOffset);
var builder = new StringBuilder();
var current = startLine;
ISegment startIndent = TextUtilities.GetLeadingWhitespace(manager.document, startLine);
while (current != endLine.NextLine) {
ISegment currentIndent = TextUtilities.GetLeadingWhitespace(manager.document, current);
if (current == startLine && current == endLine)
builder.Append(manager.document.GetText(StartOffset, EndOffset - StartOffset));
else if (current == startLine) {
if (current.EndOffset - StartOffset > 0)
builder.AppendLine(manager.document.GetText(StartOffset, current.EndOffset - StartOffset).TrimStart());
} else if (current == endLine) {
if (startIndent.Length <= currentIndent.Length)
builder.Append(manager.document.GetText(current.Offset + startIndent.Length, EndOffset - current.Offset - startIndent.Length));
else
builder.Append(manager.document.GetText(current.Offset + currentIndent.Length, EndOffset - current.Offset - currentIndent.Length));
} else {
if (startIndent.Length <= currentIndent.Length)
builder.AppendLine(manager.document.GetText(current.Offset + startIndent.Length, current.Length - startIndent.Length));
else
builder.AppendLine(manager.document.GetText(current.Offset + currentIndent.Length, current.Length - currentIndent.Length));
}
current = current.NextLine;
}
return builder.ToString();
}
}
/// <summary>
/// Gets/Sets an additional object associated with this folding section.
/// </summary>
public object Tag { get; set; }
internal FoldingSection(FoldingManager manager, int startOffset, int endOffset)
{
Debug.Assert(manager != null);
this.manager = manager;
this.StartOffset = startOffset;
this.Length = endOffset - startOffset;
}
void RemoveCollapsedLineSection()
{
if (collapsedSections != null) {
foreach (var collapsedSection in collapsedSections) {
if (collapsedSection != null && collapsedSection.Start != null)
collapsedSection.Uncollapse();
}
collapsedSections = null;
}
}
}
}
|
