01: /*
02: * JacORB - a free Java ORB
03: *
04: * Copyright (C) 1997-2004 Gerald Brose.
05: *
06: * This library is free software; you can redistribute it and/or
07: * modify it under the terms of the GNU Library General Public
08: * License as published by the Free Software Foundation; either
09: * version 2 of the License, or (at your option) any later version.
10: *
11: * This library is distributed in the hope that it will be useful,
12: * but WITHOUT ANY WARRANTY; without even the implied warranty of
13: * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
14: * Library General Public License for more details.
15: *
16: * You should have received a copy of the GNU Library General Public
17: * License along with this library; if not, write to the Free
18: * Software Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
19: */
20:
21: package org.jacorb.idl;
22:
23: /** This subclass of token represents symbols that need to maintain one
24: * String value plus the line and the position this value was found in
25: * as attributes. It maintains that value in the public
26: * field str_val.
27: *
28: * @see org.jacorb.idl.runtime.str_token
29: * @version $Id: str_token.java,v 1.13 2004/05/06 12:39:59 nicolas Exp $
30: * @author Gerald Brose
31: */
32:
33: public class str_token extends org.jacorb.idl.runtime.str_token
34: implements java.io.Serializable {
35:
36: public String str_val;
37: public String line_val;
38: public int line_no;
39: public int char_pos;
40: public String pragma_prefix = "";
41: public String fileName = "";
42:
43: /** Full constructor. */
44: public str_token(int term_num, String v, PositionInfo p,
45: String _fileName) {
46: /* super class does most of the work */
47: super (term_num);
48:
49: str_val = v;
50: line_val = p.line;
51: line_no = p.line_no;
52: char_pos = p.line_pos;
53: pragma_prefix = p.pragma_prefix;
54: fileName = _fileName;
55: }
56:
57: /** Constructor for value defaulting to an empty string. */
58: public str_token(int term_num) {
59: this (term_num, "", lexer.getPosition(), GlobalInputStream
60: .currentFile().getName());
61: }
62:
63: }
|