--- /dev/null
+/*\r
+ * JSON raeder\r
+ *\r
+ * Copyright(c) 2009 olyutorskii\r
+ * $Id: JsonReader.java 914 2009-11-24 11:16:36Z olyutorskii $\r
+ */\r
+\r
+package jp.sourceforge.jindolf.json;\r
+\r
+import java.io.PushbackReader;\r
+import java.io.Reader;\r
+\r
+/**\r
+ * JSONデータ用入力文字ストリーム。\r
+ */\r
+class JsonReader extends PushbackReader{\r
+\r
+ /** 入力ストリームに必要なプッシュバック文字数。 */\r
+ public static final int PUSHBACK_TOKENS = 10;\r
+\r
+ static{\r
+ assert JsBoolean.TRUE .toString().length() < PUSHBACK_TOKENS;\r
+ assert JsBoolean.FALSE.toString().length() < PUSHBACK_TOKENS;\r
+ assert JsNull .NULL .toString().length() < PUSHBACK_TOKENS;\r
+ assert "\\uXXXX" .length() < PUSHBACK_TOKENS;\r
+ }\r
+\r
+ /**\r
+ * コンストラクタ。\r
+ * @param reader 文字入力\r
+ */\r
+ public JsonReader(Reader reader){\r
+ super(reader, PUSHBACK_TOKENS);\r
+ return;\r
+ }\r
+\r
+ // TODO エラー報告用に行数、文字数をカウント\r
+}\r