public object Clone ()
{
var clone = new IndentStack (ie,stack.Length);
clone.stack = (Node[]) stack.Clone ();
clone.size = size;
return clone;
}
public object Clone()
{
var clone = new IndentStack(ie, stack.Length);
clone.stack = (Node[])stack.Clone();
clone.size = size;
return(clone);
}
public IndentEngine(DFormattingOptions policy, bool tabsToSpaces = false, int indentWidth = 4, bool keepAlignmentSpaces = true)
{
if (policy == null)
{
throw new ArgumentNullException("policy");
}
this.Policy = policy;
this.tabsToSpaces = tabsToSpaces;
this.indentWidth = indentWidth;
this.keepAlignmentSpaces = keepAlignmentSpaces;
stack = new IndentStack(this);
linebuf = new StringBuilder();
Reset();
}
public IndentEngine(DFormattingOptions policy, bool tabsToSpaces = false, int indentWidth = 4, bool keepAlignmentSpaces = true)
{
if (policy == null)
throw new ArgumentNullException ("policy");
this.Policy = policy;
this.tabsToSpaces = tabsToSpaces;
this.indentWidth = indentWidth;
this.keepAlignmentSpaces = keepAlignmentSpaces;
stack = new IndentStack (this);
linebuf = new StringBuilder ();
Reset ();
}