public interface Partition extends EditorBase
| Modifier and Type | Interface and Description |
|---|---|
static interface |
Partition.Builder |
| Modifier and Type | Method and Description |
|---|---|
java.lang.String |
getName() |
java.util.List<PartitionRule> |
getRuleList() |
java.util.List<Token> |
getTokenList() |
PartitionWhiteSpace |
getWhitespace() |
java.lang.String getName()
java.util.List<PartitionRule> getRuleList()
java.util.List<Token> getTokenList()
PartitionWhiteSpace getWhitespace()