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; }