Method GetFileLength

src/pkgDm/Dm2Java.java:1845–1847

获取指定的文件长度. @param file 文件名 @return 文件长度(字节数)

(String file)

    * @return 文件长度(字节数)
    */
   public int GetFileLength(String file){
	   return Dispatch.call(dm,"GetFileLength",file).getInt();
   }
   
   /**
    * 判断指定文件是否存在.