/** * Returns the next token delimited by any character in the provided terminals String. If the text content being * considered is within quotes, then return the entire string within quotes. If the text content within contains * escape characters, those are ignored. * * @param terminals String * @return String */ public String getString(String terminals) { return getString(terminals, null); }
Tokenizer tokenizer = new Tokenizer(value); while (true) { String next = tokenizer.getString(";,"); if (next == null) { throw new ManifestElementParserException(MANIFEST_INVALID_HEADER_EXCEPTION + " Header : " + next = tokenizer.getString(";,=:"); if (next == null) { throw new ManifestElementParserException(MANIFEST_INVALID_HEADER_EXCEPTION + " Header: " + String val = tokenizer.getString(";,", preserveEscapes); if (val == null) { throw new ManifestElementParserException(MANIFEST_INVALID_HEADER_EXCEPTION + " Header: " +