Package | Description |
---|---|
gov.nasa.jpf.util |
Modifier and Type | Method and Description |
---|---|
static List<Pair<String,String>> |
JPFSiteUtils.getRawEntries(File siteProps) |
static List<Pair<String,String>> |
JPFSiteUtils.getRawEntries(Reader reader)
this returns the contents of a config source in-order, without expanding values or keys
|
Modifier and Type | Method and Description |
---|---|
static List<String> |
JPFSiteUtils.getExtensions(List<Pair<String,String>> entries)
this returns a list of all the project ids in the 'extensions' entries (also
handles accumulated 'extensions+=.." entries
|