1 /*
2 * The contents of this file are subject to the BT "ZEUS" Open Source
3 * Licence (L77741), Version 1.0 (the "Licence"); you may not use this file
4 * except in compliance with the Licence. You may obtain a copy of the Licence
5 * from $ZEUS_INSTALL/licence.html or alternatively from
6 * http://www.labs.bt.com/projects/agents/zeus/licence.htm
7 *
8 * Except as stated in Clause 7 of the Licence, software distributed under the
9 * Licence is distributed WITHOUT WARRANTY OF ANY KIND, either express or
10 * implied. See the Licence for the specific language governing rights and
11 * limitations under the Licence.
12 *
13 * The Original Code is within the package zeus.*.
14 * The Initial Developer of the Original Code is British Telecommunications
15 * public limited company, whose registered office is at 81 Newgate Street,
16 * London, EC1A 7AJ, England. Portions created by British Telecommunications
17 * public limited company are Copyright 1996-9. All Rights Reserved.
18 *
19 * THIS NOTICE MUST BE INCLUDED ON ANY COPY OF THIS FILE
20 */
21
22 packageg> zeus.rete;
23 import java.io.*;
24 import java.lang.*;
25 /***
26 this class is a "value add" extension to BufferedReader. It used to be local in zeus.rete.ConflictSet
27 */
28 public class DataReader extends BufferedReader {
29
30
31 public DataReader(Reader r) {
32 super(r);
33 }
34
35 public String nextToken() throws IOException {
36 String output = "";
37 int c;
38
39 // remove leading blanks
40 do {
41 c = read();
42 if ( c == -1 ) return null;
43 }
44 while(c <= 32);
45
46 // read text
47 do {
48 output += (char)c;
49 c = read();
50 }
51 while(c > 32 && c != -1);
52 return output;
53 }
54 }