bin/javajs/util/DataReader.js

   1 Clazz.declarePackage ("javajs.util");\r
   2 Clazz.load (["java.io.BufferedReader"], "javajs.util.DataReader", ["java.io.StringReader"], function () {\r
   3 c$ = Clazz.decorateAsClass (function () {\r
   4 this.ptMark = 0;\r
   5 Clazz.instantialize (this, arguments);\r
   6 }, javajs.util, "DataReader", java.io.BufferedReader);\r
   7 Clazz.makeConstructor (c$, \r
   8 function () {\r
   9 Clazz.superConstructor (this, javajs.util.DataReader, [ new java.io.StringReader ("")]);\r
  10 });\r
  11 Clazz.defineMethod (c$, "getBufferedReader", \r
  12 function () {\r
  13 return this;\r
  14 });\r
  15 Clazz.defineMethod (c$, "readBuf", \r
  16 function (buf, off, len) {\r
  17 var nRead = 0;\r
  18 var line = this.readLine ();\r
  19 if (line == null) return 0;\r
  20 var linept = 0;\r
  21 var linelen = line.length;\r
  22 for (var i = off; i < len && linelen >= 0; i++) {\r
  23 if (linept >= linelen) {\r
  24 linept = 0;\r
  25 buf[i] = '\n';\r
  26 line = this.readLine ();\r
  27 linelen = (line == null ? -1 : line.length);\r
  28 } else {\r
  29 buf[i] = line.charAt (linept++);\r
  30 }nRead++;\r
  31 }\r
  32 return nRead;\r
  33 }, "~A,~N,~N");\r
  34 });\r