public PrettyPrinter(TextWriter writer, int width)
{
this.buffer = new Dequeue<Token>();
this.breaks = new Dequeue<Break>();
this.output = new PrettyPrinterOutput(writer, width);
this.breakLevel = -1;
}
public PrettyPrinter(TextWriter writer, int width)
{
this.buffer = new Dequeue <Token>();
this.breaks = new Dequeue <Break>();
this.output = new PrettyPrinterOutput(writer, width);
this.breakLevel = -1;
}
public StringToken(char c, PrettyPrinterOutput output) : base(output)
{
this.c = c;
}
public NewlineToken(PrettyPrinterOutput output) : base(output)
{
}
public OutdentToken(int amount, PrettyPrinterOutput output)
: base(output)
{
outdentAmt = amount;
}
public MarkerToken(int groupingLevel, PrettyPrinterOutput output)
: base(output)
{
this.groupingLevel = groupingLevel;
}
protected Token(PrettyPrinterOutput output)
{
this.Output = output;
}
public StringToken(char c, PrettyPrinterOutput output) : base(output)
{
this.c = c;
}
public NewlineToken(PrettyPrinterOutput output) : base(output)
{
}
public OutdentToken(int amount, PrettyPrinterOutput output)
: base(output)
{
outdentAmt = amount;
}
public MarkerToken(int groupingLevel, PrettyPrinterOutput output)
: base(output)
{
this.groupingLevel = groupingLevel;
}
protected Token(PrettyPrinterOutput output)
{
this.Output = output;
}