KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > SOFA > SOFAnode > Util > DFSRChecker > parser > ProtocolReader


1 /*
2  * $Id: ProtocolReader.java,v 1.1 2005/07/13 07:27:49 kofron Exp $
3  *
4  * Copyright 2005
5  * Formal Methods In Software Engineering Group
6  * Institute of Computer Science
7  * Academy of Sciences of the Czech Republic
8  *
9  * This code was developed by Jan Kofron <kofron@nenya.ms.mff.cuni.cz>
10  */
11
12 package SOFA.SOFAnode.Util.DFSRChecker.parser;
13
14 import java.io.Reader JavaDoc;
15
16 /**
17  * This class extends the @link java.io.Reader with capability to read and reset the current position in the underlying stream.
18  */
19 public abstract class ProtocolReader extends Reader JavaDoc {
20
21
22     /**
23      * @return the index within the string being parsed
24      *
25      */
26     abstract public int getIndex();
27     
28     /**
29      * resets index to 0 a start to count again
30      */
31     abstract public void resetIndex();
32    
33 }
34
Popular Tags