// class JsonWriter extends System.IO.TextWriter {
//private static Indentation: string = " ";
// Encoding: any /*System.Text.Encoding*/;
// ShouldCloseStream: boolean;
// private outStream: any /*System.IO.Stream*/;
// private shouldCloseStream: boolean;
// private prettyPrint: boolean;
// private writingStringValue: boolean;
// private smallBuffer: any /*System.Byte[]*/;
// private singleCharBuffer: any[] /*System.Char[]*/;
// private closures: string[] /*System.Collections.Generic.Stack<string>*/;
// private closureHasMembers: boolean[] /*System.Collections.Generic.Stack<boolean>*/;
// AddingValue(): void{ throw new Error("JsonWriter.ts - AddingValue : Not implemented.");}
// Dispose(disposing: boolean): void{ throw new Error("JsonWriter.ts - Dispose : Not implemented.");}
// PopClosure(): void{ throw new Error("JsonWriter.ts - PopClosure : Not implemented.");}
// PushArrayClosure(): void{ throw new Error("JsonWriter.ts - PushArrayClosure : Not implemented.");}
// PushObjectClosure(): void{ throw new Error("JsonWriter.ts - PushObjectClosure : Not implemented.");}
// Write(value: string): void{ throw new Error("JsonWriter.ts - Write : Not implemented.");}
// WriteIndentation(): void{ throw new Error("JsonWriter.ts - WriteIndentation : Not implemented.");}
// WriteInternal(value: string): void{ throw new Error("JsonWriter.ts - WriteInternal : Not implemented.");}
// WriteKey(key: string): void{ throw new Error("JsonWriter.ts - WriteKey : Not implemented.");}
// WriteNullValue(): void{ throw new Error("JsonWriter.ts - WriteNullValue : Not implemented.");}
// WriteQuote(): void{ throw new Error("JsonWriter.ts - WriteQuote : Not implemented.");}
// WriteValue(value: number): void{ throw new Error("JsonWriter.ts - WriteValue : Not implemented.");}
// //WriteValue(value: number): void{ throw new Error("JsonWriter.ts - WriteValue : Not implemented.");}
// //WriteValue(value: number): void{ throw new Error("JsonWriter.ts - WriteValue : Not implemented.");}
// //WriteValue(value: System.Enum): void{ throw new Error("JsonWriter.ts - WriteValue : Not implemented.");}
// //WriteValue(value: boolean): void{ throw new Error("JsonWriter.ts - WriteValue : Not implemented.");}
// //WriteValue(value: string): void{ throw new Error("JsonWriter.ts - WriteValue : Not implemented.");}
// //WriteValue(value: Date): void{ throw new Error("JsonWriter.ts - WriteValue : Not implemented.");}
// //WriteValue(value: number): void{ throw new Error("JsonWriter.ts - WriteValue : Not implemented.");}
//}
//export = JsonWriter;