else
{
tmp = buffer.toString();
}
parsedEntries.add(new StringInt(tmp, IS_OPTION_FIELD));
//System.out.println("\nbracketedOptionEOF: " + buffer.toString());
}
return null;
}
if ((c == '{') || (c == '}') || (c == ']') || (c == '['))
{
if ((c == '}') || (c == ']'))
{
// changed section start - arudert
// buffer may be null for parameters
//if (buffer != null)
//{
if (c == ']' && buffer != null)
{
// changed section end - arudert
option = buffer.toString();
buffer = null;
start = false;
}
//myStrings.add(buffer.toString());
//System.out.println("\nbracketedOption: " + buffer.toString());
// changed section begin - arudert
// bracketed option must be followed by an (optionally empty) parameter
// if empty, the parameter is set to " " (whitespace to avoid that the tokenizer that
// splits the string later on ignores the empty parameter)
//if (buffer != null)
else if (c == '}')
{
String parameter = buffer == null ? " " : buffer.toString();
if (option != null)
{
tmp = parameter + "\n" + option;
}
else
{
tmp = parameter;
}
//System.out.println("FORMAT: '"+tmp+"'");
parsedEntries.add(new StringInt(tmp, IS_OPTION_FIELD));
return null;
}
// changed section end - arudert
// changed section start - arudert