StringExpander

```
public class StringExpander
extends java.lang.Object
```
utility class to expand regular expression like strings. We support alternatives "<..|..>" and character categories "[.. X-Z ..]". Alternatives can be nested, char categories can include '-' ranges e.g. "az" => aBz, aX0Yz, aX1Yz <2do> this is awfully connected to ESParser - we should really make it more generic (this is the reason why it was moved from the general gov.nasa.jpf.util to this package)

Constructors
Constructor and Description
`StringExpander(java.lang.String src)`

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`protected char[]`	`createCategory(java.lang.String cat)`
`java.util.List<java.lang.String>`	`expand()`
`static void`	`main(java.lang.String[] args)`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

public StringExpander(java.lang.String src)

protected char[] createCategory(java.lang.String cat)

public java.util.List<java.lang.String> expand()

public static void main(java.lang.String[] args)

Class StringExpander