01: /*
02: * Jacareto Copyright (c) 2002-2005
03: * Applied Computer Science Research Group, Darmstadt University of
04: * Technology, Institute of Mathematics & Computer Science,
05: * Ludwigsburg University of Education, and Computer Based
06: * Learning Research Group, Aachen University. All rights reserved.
07: *
08: * Jacareto is free software; you can redistribute it and/or
09: * modify it under the terms of the GNU General Public
10: * License as published by the Free Software Foundation; either
11: * version 2 of the License, or (at your option) any later version.
12: *
13: * Jacareto is distributed in the hope that it will be useful,
14: * but WITHOUT ANY WARRANTY; without even the implied warranty of
15: * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
16: * General Public License for more details.
17: *
18: * You should have received a copy of the GNU General Public
19: * License along with Jacareto; if not, write to the Free
20: * Software Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
21: *
22: */
23:
24: package jacareto.parse;
25:
26: import jacareto.system.Environment;
27: import jacareto.system.EnvironmentMember;
28:
29: /**
30: * The saved state of a record tokenizer which can be restored.
31: *
32: * @author <a href="mailto:cspannagel@web.de">Christian Spannagel</a>
33: * @version 1.0
34: */
35: public class RecordTokenizerState extends EnvironmentMember {
36: /** The actual parse position. */
37: private int position;
38:
39: /**
40: * Creates a new record tokenizer state with the given record tokenizer.
41: *
42: * @param env the environment
43: * @param recordTokenizer DOCUMENT ME!
44: */
45: public RecordTokenizerState(Environment env,
46: RecordTokenizer recordTokenizer) {
47: super (env);
48: this .position = recordTokenizer.getPosition();
49: }
50:
51: /**
52: * Returns the stored position.
53: *
54: * @return DOCUMENT ME!
55: */
56: int getPosition() {
57: return position;
58: }
59: }
|