public interface StringIdProvider
This is used to map Sting to an integer index so that mapping can be done more efficiently
Modifier and Type | Method and Description |
---|---|
int |
getStringId(String text) |
void |
setPrefix(String prefix) |
Copyright © 2016 Sensia Software LLC. All rights reserved.