← Back to branch summary

~ubuntu-branches/ubuntu/quantal/zeroc-ice/quantal

« back to all changes in this revision

Viewing changes to java/demo/book/map_filesystem/Scanner.java

  • Committer: Bazaar Package Importer
  • Author(s): Cleto Martin Angelina
  • Date: 2011-04-25 18:44:24 UTC
  • mfrom: (6.1.14 sid)
  • Revision ID: james.westby@ubuntu.com-20110425184424-sep9i9euu434vq4c
Tags: 3.4.1-7
http://bugs.debian.org/623555
* Bug fix: "libdb5.1-java.jar was renamed to db.jar", thanks to Ondřej
  Surý (Closes: #623555).
* Bug fix: "causes noise in php5", thanks to Jayen Ashar (Closes:
  #623533).

Show diffs side-by-side

added added

removed removed

Lines of Context:
java/demo/book/map_filesystem/Scanner.java
 
1
// **********************************************************************
 
2
//
 
3
// Copyright (c) 2003-2010 ZeroC, Inc. All rights reserved.
 
4
//
 
5
// This copy of Ice is licensed to you under the terms described in the
 
6
// ICE_LICENSE file included in this distribution.
 
7
//
 
8
// **********************************************************************
 
9
 
 
10
class Scanner
 
11
{
 
12
    Scanner(Parser p)
 
13
    {
 
14
        _parser = p;
 
15
    }
 
16
 
 
17
    Token
 
18
    nextToken()
 
19
    {
 
20
        String s = next();
 
21
        if(s == null)
 
22
        {
 
23
            return null;
 
24
        }
 
25
 
 
26
        if(s.equals(";"))
 
27
        {
 
28
            return new Token(Token.TOK_SEMI);
 
29
        }
 
30
        else if(s.equals("help"))
 
31
        {
 
32
            return new Token(Token.TOK_HELP);
 
33
        }
 
34
        else if(s.equals("exit") || s.equals("quit"))
 
35
        {
 
36
            return new Token(Token.TOK_EXIT);
 
37
        }
 
38
        else if(s.equals("ls"))
 
39
        {
 
40
            return new Token(Token.TOK_LIST);
 
41
        }
 
42
        else if(s.equals("lr"))
 
43
        {
 
44
            return new Token(Token.TOK_LIST_RECURSIVE);
 
45
        }
 
46
        else if(s.equals("mkfile"))
 
47
        {
 
48
            return new Token(Token.TOK_CREATE_FILE);
 
49
        }
 
50
        else if(s.equals("mkdir"))
 
51
        {
 
52
            return new Token(Token.TOK_CREATE_DIR);
 
53
        }
 
54
        else if(s.equals("pwd"))
 
55
        {
 
56
            return new Token(Token.TOK_PWD);
 
57
        }
 
58
        else if(s.equals("cd"))
 
59
        {
 
60
            return new Token(Token.TOK_CD);
 
61
        }
 
62
        else if(s.equals("cat"))
 
63
        {
 
64
            return new Token(Token.TOK_CAT);
 
65
        }
 
66
        else if(s.equals("write"))
 
67
        {
 
68
            return new Token(Token.TOK_WRITE);
 
69
        }
 
70
        else if(s.equals("rm"))
 
71
        {
 
72
            return new Token(Token.TOK_RM);
 
73
        }
 
74
        else
 
75
        {
 
76
            return new Token(Token.TOK_STRING, s);
 
77
        }
 
78
    }
 
79
 
 
80
    static private class EndOfInput extends Exception
 
81
    {
 
82
    }
 
83
 
 
84
    private char
 
85
    get()
 
86
        throws EndOfInput
 
87
    {
 
88
        //
 
89
        // If there is an character in the unget buffer, return it.
 
90
        //
 
91
        if(_unget)
 
92
        {
 
93
            _unget = false;
 
94
            return _ungetChar;
 
95
        }
 
96
 
 
97
        //
 
98
        // No current buffer?
 
99
        //
 
100
        if(_buf == null)
 
101
        {
 
102
            _buf = _parser.getInput();
 
103
            _pos = 0;
 
104
            if(_buf == null)
 
105
            {
 
106
                throw new EndOfInput();
 
107
            }
 
108
        }
 
109
 
 
110
        //
 
111
        // At the end-of-buffer?
 
112
        //
 
113
        while(_pos >= _buf.length())
 
114
        {
 
115
            _buf = null;
 
116
            _pos = 0;
 
117
            return '\n';
 
118
        }
 
119
 
 
120
        return _buf.charAt(_pos++);
 
121
    }
 
122
 
 
123
    //
 
124
    // unget only works with one character.
 
125
    //
 
126
    private void
 
127
    unget(char c)
 
128
    {
 
129
        assert(!_unget);
 
130
        _unget = true;
 
131
        _ungetChar = c;
 
132
    }
 
133
 
 
134
    private String
 
135
    next()
 
136
    {
 
137
        //
 
138
        // Eat any whitespace.
 
139
        //
 
140
        char c;
 
141
        try
 
142
        {
 
143
            do
 
144
            {
 
145
                c = get();
 
146
            }
 
147
            while(Character.isWhitespace(c) && c != '\n');
 
148
        }
 
149
        catch(EndOfInput ignore)
 
150
        {
 
151
            return null;
 
152
        }
 
153
 
 
154
        StringBuilder buf = new StringBuilder(128);
 
155
 
 
156
        if(c == ';' || c == '\n')
 
157
        {
 
158
            buf.append(';');
 
159
        }
 
160
        else if(c == '\'')
 
161
        {
 
162
            try
 
163
            {
 
164
                while(true)
 
165
                {
 
166
                    c = get();
 
167
                    if(c == '\'')
 
168
                    {
 
169
                        break;
 
170
                    }
 
171
                    else
 
172
                    {
 
173
                        buf.append(c);
 
174
                    }
 
175
                }
 
176
            }
 
177
            catch(EndOfInput e)
 
178
            {
 
179
                _parser.warning("EOF in string");
 
180
            }
 
181
        }
 
182
        else if(c == '\"')
 
183
        {
 
184
            try
 
185
            {
 
186
                while(true)
 
187
                {
 
188
                    c = get();
 
189
                    if(c == '\"')
 
190
                    {
 
191
                        break;
 
192
                    }
 
193
                    else if(c == '\\')
 
194
                    {
 
195
                        try
 
196
                        {
 
197
                            char next = get();
 
198
                            switch(next)
 
199
                            {
 
200
                                case '\\':
 
201
                                case '"':
 
202
                                {
 
203
                                    buf.append(next);
 
204
                                    break;
 
205
                                }
 
206
 
 
207
                                case 'n':
 
208
                                {
 
209
                                    buf.append('\n');
 
210
                                    break;
 
211
                                }
 
212
 
 
213
                                case 'r':
 
214
                                {
 
215
                                    buf.append('\r');
 
216
                                    break;
 
217
                                }
 
218
 
 
219
                                case 't':
 
220
                                {
 
221
                                    buf.append('\t');
 
222
                                    break;
 
223
                                }
 
224
 
 
225
                                case 'f':
 
226
                                {
 
227
                                    buf.append('\f');
 
228
                                    break;
 
229
                                }
 
230
 
 
231
                                default:
 
232
                                {
 
233
                                    buf.append(c);
 
234
                                    unget(next);
 
235
                                }
 
236
                            }
 
237
                        }
 
238
                        catch(EndOfInput e)
 
239
                        {
 
240
                            buf.append(c);
 
241
                        }
 
242
                    }
 
243
                    else
 
244
                    {
 
245
                        buf.append(c);
 
246
                    }
 
247
                }
 
248
            }
 
249
            catch(EndOfInput e)
 
250
            {
 
251
                _parser.warning("EOF in string");
 
252
            }
 
253
        }
 
254
        else
 
255
        {
 
256
            //
 
257
            // Otherwise it's a string.
 
258
            //
 
259
            try
 
260
            {
 
261
                do
 
262
                {
 
263
                    buf.append(c);
 
264
                    c = get();
 
265
                }
 
266
                while(!Character.isWhitespace(c) && c != ';' && c != '\n');
 
267
 
 
268
                unget(c);
 
269
            }
 
270
            catch(EndOfInput ignore)
 
271
            {
 
272
            }
 
273
        }
 
274
 
 
275
        return buf.toString();
 
276
    }
 
277
 
 
278
    private Parser _parser;
 
279
    private boolean _unget = false;
 
280
    private char _ungetChar;
 
281
    private String _buf = null;
 
282
    private int _pos;
 
283
}