private void encodeChildren(IFileStore dir, URI location, JSONObject result, int depth)
throws CoreException {
if (depth <= 0) return;
JSONArray children = new JSONArray();
IFileStore[] childStores = dir.childStores(EFS.NONE, null);
for (IFileStore childStore : childStores) {
IFileInfo childInfo = childStore.fetchInfo();
String name = childInfo.getName();
if (childInfo.isDirectory()) name += "/"; // $NON-NLS-1$
URI childLocation = URIUtil.append(location, name);
JSONObject childResult = ServletFileStoreHandler.toJSON(childStore, childInfo, childLocation);
if (childInfo.isDirectory())
encodeChildren(childStore, childLocation, childResult, depth - 1);
children.put(childResult);
}
try {
result.put(ProtocolConstants.KEY_CHILDREN, children);
} catch (JSONException e) {
// cannot happen
throw new RuntimeException(e);
}
}
