public void EmitCaseOpeningDelimiter(string delimiter) { Contract.Requires(delimiter != null); if (this.IndentCaseDelimiters) this.IndentationLevel++; this.EmitString(delimiter); if (this.IndentCaseContents) this.IndentationLevel++; }