31 public class JniHdf implements HDF {  class
34   JniHdf root; // If this is a child HDF node, points at the root node of
43   static JniHdf cast(HDF hdf) {  in cast()
44     if (!(hdf instanceof JniHdf)) {  in cast()
49     return (JniHdf)hdf;  in cast()
55   public JniHdf() {  in JniHdf()  method in JniHdf
60   protected JniHdf(long hdfptr, JniHdf parent) {  in JniHdf()  method in JniHdf
68   protected JniHdf newHdf(long hdfptr, HDF parent) {  in newHdf()
69     return new JniHdf(hdfptr, cast(parent));  in newHdf()
281   public JniHdf getObj(String hdfpath) {
295   public JniHdf getChild(String hdfpath) {
308   public JniHdf getRootObj() {
313     JniHdf jniHdf = cast(hdf);
319   public JniHdf getOrCreateObj(String hdfpath) {
357   public JniHdf objChild() {
372   public JniHdf objNext() {
384     JniHdf source = cast(src);