forked from webmin/webmin
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathStringSplitter.java
103 lines (89 loc) · 2.02 KB
/
StringSplitter.java
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
import java.util.Vector;
// StringSplitter
// A stringsplitter object splits a string into a number of substrings,
// each separated by one separator character. Separator characters can be
// included in the string by escaping them with a \
public class StringSplitter
{
Vector parts = new Vector();
int pos = 0;
StringSplitter(String str, char sep)
{
this(str, sep, true);
}
StringSplitter(String str, char sep, boolean escape)
{
StringBuffer current;
parts.addElement(current = new StringBuffer());
for(int i=0; i<str.length(); i++) {
char c = str.charAt(i);
if (c == '\\' && i != str.length()-1 && escape)
current.append(str.charAt(++i));
else if (c == sep)
parts.addElement(current = new StringBuffer());
else
current.append(c);
}
}
// countTokens
// The number of tokens left in the string
int countTokens()
{
return parts.size() - pos;
}
// hasMoreTokens
// Can we call nextToken?
boolean hasMoreTokens()
{
return pos < parts.size();
}
// nextToken
// Returns the string value of the next token
String nextToken()
{
if (pos < parts.size())
return ((StringBuffer)parts.elementAt(pos++)).toString();
else
return null;
}
// gettokens
// Returns a vector of strings split from the given input string
Vector gettokens()
{
return parts;
}
}
// StringJoiner
// The complement of StringSplitter. Takes a number of substrings and adds
// them to a string, separated by some character. If the separator character
// appears in one of the substrings, escape it with a \
class StringJoiner
{
char sep;
StringBuffer str = new StringBuffer();
int count = 0;
// Create a new StringJoiner using the given separator
StringJoiner(char s)
{
sep = s;
}
// add
// Add one string, and a separator
void add(String s)
{
if (count != 0)
str.append(sep);
for(int i=0; i<s.length(); i++) {
char c = s.charAt(i);
if (c == sep || c == '\\') str.append('\\');
str.append(c);
}
count++;
}
// toString
// Get the resulting string
public String toString()
{
return str.toString();
}
}