This code
|
String[] children = dir.list(); |
|
if (children == null) |
|
{ |
|
System.out.println("The directory "+SZSTATICDIR+" was not found."+ |
|
"Directory not found"); |
|
} |
|
else |
|
{ |
|
staticsourceArray = new String[children.length+1]; |
|
staticsourceArray[0] = "User Provided"; |
|
for (int i=0; i<children.length; i++) |
|
{ |
|
// Get filename of file or directory |
|
staticsourceArray[i+1] =children[i]; |
|
} |
|
} |
Checks whether the directory from which SDREM is run contains a subdirectory named TFInput. The DREM GUI needs this but SDREM does not. The code can likely be removed safely but should be tested.
This code
sdrem/code/drem/sourcecode/edu/cmu/cs/sb/drem/DREM_IO_Batch.java
Lines 187 to 202 in e8a9acd
Checks whether the directory from which SDREM is run contains a subdirectory named
TFInput. The DREM GUI needs this but SDREM does not. The code can likely be removed safely but should be tested.