public FoldSegment(Document doc, string description, int offset, int length, FoldingType foldingType) : base(offset, length)
{
this.doc = doc;
this.isFolded = false;
this.Description = description;
this.FoldingType = foldingType;
}
public FoldSegment (Document doc, string description, int offset, int length, FoldingType foldingType) : base (offset, length)
{
this.doc = doc;
this.IsFolded = false;
this.Description = description;
this.FoldingType = foldingType;
}
public FoldSegment(FoldSegment foldSegment) : base(foldSegment.Offset, foldSegment.Length)
{
this.doc = foldSegment.doc;
this.isFolded = foldSegment.IsFolded;
this.Description = foldSegment.Description;
this.FoldingType = foldSegment.FoldingType;
}
public static IFoldSegment CreateFoldSegment (TextEditor editor, ISegment segment, bool isCollapsed = false, string collapsedText = "...", FoldingType foldingType = FoldingType.Unknown)
{
if (editor == null)
throw new ArgumentNullException ("editor");
if (segment == null)
throw new ArgumentNullException ("segment");
return CreateFoldSegment (editor, segment.Offset, segment.Length, isCollapsed, collapsedText, foldingType);
}
public static IFoldSegment CreateFoldSegment (TextEditor editor, ISegment segment, FoldingType foldingType = FoldingType.Unknown)
{
if (editor == null)
throw new ArgumentNullException ("editor");
if (segment == null)
throw new ArgumentNullException ("segment");
return CreateFoldSegment (editor, segment.Offset, segment.Length, false, "...", foldingType);
}
public static IFoldSegment CreateFoldSegment (TextEditor editor, int offset, int length, bool isCollapsed = false, string collapsedText = "...", FoldingType foldingType = FoldingType.Unknown)
{
if (editor == null)
throw new ArgumentNullException ("editor");
var result = editor.CreateFoldSegment (offset, length, isCollapsed);
result.CollapsedText = collapsedText;
result.FoldingType = foldingType;
return result;
}
public static dynamic GetTSObject(FoldingType dynEnum)
{
var tsType = TSActivator.CreateInstance("Tekla.Structures.Forming.FoldingType").GetType();
switch (dynEnum)
{
case FoldingType.NOT_SPECIFIED:
return(System.Enum.Parse(tsType, "NOT_SPECIFIED"));
case FoldingType.FOLDED:
return(System.Enum.Parse(tsType, "FOLDED"));
case FoldingType.UNFOLDED:
return(System.Enum.Parse(tsType, "UNFOLDED"));
default:
throw new DynamicAPIException(dynEnum.ToString() + "- enum value is not implemented");
}
}
FoldSegment AddMarker (List<FoldSegment> foldSegments, string text, DomRegion region, FoldingType type)
{
Document document = textEditorData.Document;
if (document == null || region.BeginLine <= 0 || region.EndLine <= 0 || region.BeginLine > document.LineCount || region.EndLine > document.LineCount)
return null;
int startOffset = document.LocationToOffset (region.BeginLine, region.BeginColumn);
int endOffset = document.LocationToOffset (region.EndLine, region.EndColumn );
FoldSegment result = new FoldSegment (document, text, startOffset, endOffset - startOffset, type);
foldSegments.Add (result);
return result;
}
public FoldSegment (FoldSegment foldSegment) : base (foldSegment.Offset, foldSegment.Length)
{
this.doc = foldSegment.doc;
this.isFolded = foldSegment.IsFolded;
this.Description = foldSegment.Description;
this.FoldingType = foldSegment.FoldingType;
}
public FoldSegment(string description, int offset, int length, FoldingType foldingType) : base(offset, length)
{
this.isFolded = false;
this.CollapsedText = description;
this.FoldingType = foldingType;
}
public FoldSegment(FoldSegment foldSegment) : base(foldSegment.Offset, foldSegment.Length)
{
this.isFolded = foldSegment.IsCollapsed;
this.CollapsedText = foldSegment.CollapsedText;
this.FoldingType = foldSegment.FoldingType;
}
public FoldSegment(string description, int offset, int length, FoldingType foldingType) : base(offset, length)
{
this.IsFolded = false;
this.Description = description;
this.FoldingType = foldingType;
}
FoldSegment AddMarker (List<FoldSegment> foldSegments, string text, DomRegion region, FoldingType type)
{
Document document = textEditorData.Document;
if (document == null || region.Start.Line <= 0 || region.End.Line <= 0 || region.Start.Line > document.LineCount || region.End.Line > document.LineCount)
return null;
int startOffset = document.LocationToOffset (region.Start.Line, region.Start.Column);
// end doesn't include the char at that position.
int endOffset = document.LocationToOffset (region.End.Line, region.End.Column) - 1;
FoldSegment result = new FoldSegment (document, text, startOffset, endOffset - startOffset, type);
foldSegments.Add (result);
return result;
}
public static IFoldSegment CreateFoldSegment (TextEditor editor, int offset, int length, FoldingType foldingType = FoldingType.Unknown)
{
if (editor == null)
throw new ArgumentNullException ("editor");
return CreateFoldSegment (editor, offset, length, false, "...", foldingType);
}
public static IFoldSegment CreateFoldSegment(TextEditor editor, int offset, int length, bool isCollapsed = false, string collapsedText = "...", FoldingType foldingType = FoldingType.Unknown)
{
if (editor == null)
{
throw new ArgumentNullException("editor");
}
var result = editor.CreateFoldSegment(offset, length, isCollapsed);
result.CollapsedText = collapsedText;
result.FoldingType = foldingType;
return(result);
}
public static IFoldSegment CreateFoldSegment(TextEditor editor, ISegment segment, bool isCollapsed = false, string collapsedText = "...", FoldingType foldingType = FoldingType.Unknown)
{
if (editor == null)
{
throw new ArgumentNullException("editor");
}
if (segment == null)
{
throw new ArgumentNullException("segment");
}
return(CreateFoldSegment(editor, segment.Offset, segment.Length, isCollapsed, collapsedText, foldingType));
}
public static IFoldSegment CreateFoldSegment(TextEditor editor, ISegment segment, FoldingType foldingType = FoldingType.Unknown)
{
if (editor == null)
{
throw new ArgumentNullException("editor");
}
if (segment == null)
{
throw new ArgumentNullException("segment");
}
return(CreateFoldSegment(editor, segment.Offset, segment.Length, false, "...", foldingType));
}
public static IFoldSegment CreateFoldSegment(TextEditor editor, int offset, int length, FoldingType foldingType = FoldingType.Unknown)
{
if (editor == null)
{
throw new ArgumentNullException("editor");
}
return(CreateFoldSegment(editor, offset, length, false, "...", foldingType));
}
