public abstract class CharacterDelimitedTokenizer extends Tokenizer
Constructor and Description |
---|
CharacterDelimitedTokenizer() |
Modifier and Type | Method and Description |
---|---|
String |
delimitersTipText()
Returns the tip text for this property
|
String |
getDelimiters()
Get the value of delimiters (not backquoted).
|
String[] |
getOptions()
Gets the current option settings for the OptionHandler.
|
Enumeration<Option> |
listOptions()
Returns an enumeration of all the available options..
|
void |
setDelimiters(String value)
Set the value of delimiters.
|
void |
setOptions(String[] options)
Sets the OptionHandler's options using the given list.
|
globalInfo, hasMoreElements, nextElement, runTokenizer, tokenize, tokenize
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getRevision
public Enumeration<Option> listOptions()
listOptions
in interface OptionHandler
listOptions
in class Tokenizer
public String[] getOptions()
getOptions
in interface OptionHandler
getOptions
in class Tokenizer
public void setOptions(String[] options) throws Exception
setOptions
in interface OptionHandler
setOptions
in class Tokenizer
options
- the list of options as an array of stringsException
- if an option is not supportedpublic String getDelimiters()
public void setDelimiters(String value)
setDelimiters("\r\n\t\\");
or
setDelimiters("\\r\\n\\t\\\\");
.value
- Value to assign to delimiters.Utils.unbackQuoteChars(String)
public String delimitersTipText()
Copyright © 2018 University of Waikato, Hamilton, NZ. All Rights Reserved.