public class GMTFile
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
java.util.Vector<java.lang.String> |
allnames |
java.util.Vector<java.lang.String> |
setnames |
java.util.Vector<java.util.HashSet<java.lang.String>> |
sets |
Constructor and Description |
---|
GMTFile() |
Modifier and Type | Method and Description |
---|---|
java.util.Vector<java.lang.String> |
findSet(java.lang.String name) |
java.util.Vector<java.lang.String> |
getListOfSets(java.lang.String node) |
void |
load(java.lang.String fn) |
static void |
main(java.lang.String[] args) |
void |
saveAllNamesToFile(java.lang.String fn) |
public java.util.Vector<java.util.HashSet<java.lang.String>> sets
public java.util.Vector<java.lang.String> setnames
public java.util.Vector<java.lang.String> allnames
public static void main(java.lang.String[] args)
public void load(java.lang.String fn)
public java.util.Vector<java.lang.String> getListOfSets(java.lang.String node)
public void saveAllNamesToFile(java.lang.String fn)
public java.util.Vector<java.lang.String> findSet(java.lang.String name)