Add API: set-wrappid-path.
[wrappi.git] / APIs / filesize.api
index a8e29d8..c7d3bbc 100644 (file)
@@ -1,17 +1,36 @@
+(* wrappi -*- tuareg -*-
+ * Copyright (C) 2011-2012 Red Hat Inc.
+ *
+ * This library is free software; you can redistribute it and/or
+ * modify it under the terms of the GNU Lesser General Public
+ * License as published by the Free Software Foundation; either
+ * version 2 of the License, or (at your option) any later version.
+ *
+ * This library is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+ * Lesser General Public License for more details.
+ *
+ * You should have received a copy of the GNU Lesser General Public
+ * License along with this library; if not, write to the Free Software
+ * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
+ *)
+
+typedef uint64 filesize_t
+
 entry_point
-off_t filesize (pathname path)
+filesize_t filesize (pathname path)
 <<
   struct stat buf;
 
   if (stat (path, &buf) == -1) {
-    error_errno ("stat: %s", path);
+    set_error_errno ("stat: %s", path);
     return -1;
   }
 
   return buf.st_size;
 >>
-
-;;
+includes ["sys/types.h"; "sys/stat.h"; "unistd.h"]
 
 (*
 mknod_block