// 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;
//# sourceMappingURL=JsonWriter.js.map