1 package org.metricshub.jawk.jrt;
2
3 /*-
4 * ╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲
5 * Jawk
6 * ჻჻჻჻჻჻
7 * Copyright (C) 2006 - 2025 MetricsHub
8 * ჻჻჻჻჻჻
9 * This program is free software: you can redistribute it and/or modify
10 * it under the terms of the GNU Lesser General Public License as
11 * published by the Free Software Foundation, either version 3 of the
12 * License, or (at your option) any later version.
13 *
14 * This program is distributed in the hope that it will be useful,
15 * but WITHOUT ANY WARRANTY; without even the implied warranty of
16 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
17 * GNU General Lesser Public License for more details.
18 *
19 * You should have received a copy of the GNU General Lesser Public
20 * License along with this program. If not, see
21 * <http://www.gnu.org/licenses/lgpl-3.0.html>.
22 * ╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱╲╱
23 */
24
25 import java.util.Enumeration;
26
27 /**
28 * Similar to StringTokenizer, except that tokens are delimited
29 * by a single character.
30 *
31 * @author Danny Daglas
32 */
33 public class SingleCharacterTokenizer implements Enumeration<Object> {
34
35 private String input;
36 private char splitChar;
37 private int currentPos = 0;
38 private boolean hasMoreTokens = true;
39
40 /**
41 * Construct a RegexTokenizer.
42 *
43 * @param input The input string to tokenize.
44 * @param splitChar The character which delineates tokens
45 * within the input string.
46 */
47 public SingleCharacterTokenizer(String input, int splitChar) {
48 this.input = input;
49 this.splitChar = (char) splitChar;
50 hasMoreTokens = !input.isEmpty();
51 }
52
53 /** {@inheritDoc} */
54 @Override
55 public boolean hasMoreElements() {
56 return hasMoreTokens;
57 }
58
59 /** {@inheritDoc} */
60 @Override
61 public Object nextElement() {
62
63 for (int i = currentPos; i < input.length(); i++) {
64 if (input.charAt(i) == splitChar) {
65 String token = input.substring(currentPos, i);
66 currentPos = i + 1;
67 return token;
68 }
69 }
70
71 // We reached the end of the input, return what we have
72 String token = input.substring(currentPos);
73 currentPos = input.length();
74 hasMoreTokens = false;
75 return token;
76 }
77 }