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