X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=src%2Fgenerator.ml;h=be63404f8842c995f7fb902bbf1e17c3167501d1;hb=e8795f3e9cc7e60a5ad709c0e3b53f60e37fd6c0;hp=8b0fc664306d47bd1396718cf7e348f2068a2f5a;hpb=a8a4ce2bd3fd021e063cb3b939b45059f07ed053;p=libguestfs.git diff --git a/src/generator.ml b/src/generator.ml index 8b0fc66..be63404 100755 --- a/src/generator.ml +++ b/src/generator.ml @@ -134,6 +134,7 @@ and args = argt list (* Function parameters, guestfs handle is implicit. *) *) and argt = | String of string (* const char *name, cannot be NULL *) + | Device of string (* /dev device name, cannot be NULL *) | OptString of string (* const char *name, may be NULL *) | StringList of string(* list of strings (each string cannot be NULL) *) | Bool of string (* boolean *) @@ -301,6 +302,12 @@ and test_init = (* Block devices are empty and no filesystems are mounted. *) | InitEmpty + (* /dev/sda contains a single partition /dev/sda1, with random + * content. /dev/sdb and /dev/sdc may have random content. + * No LVM. + *) + | InitPartition + (* /dev/sda contains a single partition /dev/sda1, which is formatted * as ext2, empty [except for lost+found] and mounted on /. * /dev/sdb and /dev/sdc may have random content. @@ -448,6 +455,8 @@ image). This is equivalent to the qemu parameter C<-drive file=filename,cache=off,if=...>. +C is omitted in cases where it is not supported by +the underlying filesystem. Note that this call checks for the existence of C. This stops you from specifying other types of drive which are supported @@ -755,6 +764,31 @@ C<$major.$minor.$release$extra> I Don't use this call to test for availability of features. Distro backports makes this unreliable."); + ("set_selinux", (RErr, [Bool "selinux"]), -1, [FishAlias "selinux"], + [InitNone, Always, TestOutputTrue ( + [["set_selinux"; "true"]; + ["get_selinux"]])], + "set SELinux enabled or disabled at appliance boot", + "\ +This sets the selinux flag that is passed to the appliance +at boot time. The default is C (disabled). + +Note that if SELinux is enabled, it is always in +Permissive mode (C). + +For more information on the architecture of libguestfs, +see L."); + + ("get_selinux", (RBool "selinux", []), -1, [], + [], + "get SELinux enabled flag", + "\ +This returns the current setting of the selinux flag which +is passed to the appliance at boot time. See C. + +For more information on the architecture of libguestfs, +see L."); + ] (* daemon_functions are any functions which cause some action @@ -1628,7 +1662,7 @@ C should be a file or directory in the mounted file system This is the same as the C system call."); - ("tune2fs_l", (RHashtable "superblock", [String "device"]), 55, [], + ("tune2fs_l", (RHashtable "superblock", [Device "device"]), 55, [], [], (* XXX test *) "get ext2/ext3/ext4 superblock details", "\ @@ -3207,10 +3241,10 @@ C command which allocates a file in the host and attaches it as a device."); ("swapon_device", (RErr, [String "device"]), 170, [], - [InitNone, Always, TestRun ( - [["mkswap"; "/dev/sdb"]; - ["swapon_device"; "/dev/sdb"]; - ["swapoff_device"; "/dev/sdb"]])], + [InitPartition, Always, TestRun ( + [["mkswap"; "/dev/sda1"]; + ["swapon_device"; "/dev/sda1"]; + ["swapoff_device"; "/dev/sda1"]])], "enable swap on device", "\ This command enables the libguestfs appliance to use the @@ -3258,17 +3292,17 @@ This command disables the libguestfs appliance swap on file."); ["swapoff_label"; "swapit"]; ["zero"; "/dev/sdb"]; ["blockdev_rereadpt"; "/dev/sdb"]])], - "enable swap on labelled swap partition", + "enable swap on labeled swap partition", "\ -This command enables swap to a labelled swap partition. +This command enables swap to a labeled swap partition. See C for other notes."); ("swapoff_label", (RErr, [String "label"]), 175, [], [], (* XXX tested by swapon_label *) - "disable swap on labelled swap partition", + "disable swap on labeled swap partition", "\ This command disables the libguestfs appliance swap on -labelled swap partition."); +labeled swap partition."); ("swapon_uuid", (RErr, [String "uuid"]), 176, [], [InitEmpty, Always, TestRun ( @@ -3396,6 +3430,24 @@ This closes the inotify handle which was previously opened by inotify_init. It removes all watches, throws away any pending events, and deallocates all resources."); + ("setcon", (RErr, [String "context"]), 185, [], + [], + "set SELinux security context", + "\ +This sets the SELinux security context of the daemon +to the string C. + +See the documentation about SELINUX in L."); + + ("getcon", (RString "context", []), 186, [], + [], + "get SELinux security context", + "\ +This gets the SELinux security context of the daemon. + +See the documentation about SELINUX in L, +and C"); + ] let all_functions = non_daemon_functions @ daemon_functions @@ -3720,7 +3772,7 @@ let mapi f xs = loop 0 xs let name_of_argt = function - | String n | OptString n | StringList n | Bool n | Int n + | Device n | String n | OptString n | StringList n | Bool n | Int n | FileIn n | FileOut n -> n let java_name_of_struct typ = @@ -4107,7 +4159,7 @@ and generate_xdr () = pr "struct %s_args {\n" name; List.iter ( function - | String n -> pr " string %s<>;\n" n + | Device n | String n -> pr " string %s<>;\n" n | OptString n -> pr " str *%s;\n" n | StringList n -> pr " str %s<>;\n" n | Bool n -> pr " bool %s;\n" n @@ -4468,7 +4520,8 @@ check_state (guestfs_h *g, const char *caller) | args -> List.iter ( function - | String n -> + (* FIXME *) + | Device n | String n -> pr " args.%s = (char *) %s;\n" n n | OptString n -> pr " args.%s = %s ? (char **) &%s : NULL;\n" n n n @@ -4677,7 +4730,8 @@ and generate_daemon_actions () = * allow device name translation. This is safe because * we can modify the string (passed from RPC). *) - | String n + (* FIXME *) + | Device n | String n | OptString n -> pr " char *%s;\n" n | StringList n -> pr " char **%s;\n" n | Bool n -> pr " int %s;\n" n @@ -4698,7 +4752,7 @@ and generate_daemon_actions () = pr " }\n"; List.iter ( function - | String n -> pr " %s = args.%s;\n" n n + | Device n | String n -> pr " %s = args.%s;\n" n n | OptString n -> pr " %s = args.%s ? *args.%s : NULL;\n" n n n | StringList n -> pr " %s = realloc (args.%s.%s_val,\n" n n n; @@ -5318,6 +5372,13 @@ and generate_one_test_body name i test_name init test = [["blockdev_setrw"; "/dev/sda"]; ["umount_all"]; ["lvm_remove_all"]] + | InitPartition -> + pr " /* InitPartition for %s: create /dev/sda1 */\n" test_name; + List.iter (generate_test_command_call test_name) + [["blockdev_setrw"; "/dev/sda"]; + ["umount_all"]; + ["lvm_remove_all"]; + ["sfdiskM"; "/dev/sda"; ","]] | InitBasicFS -> pr " /* InitBasicFS for %s: create ext2 on /dev/sda1 */\n" test_name; List.iter (generate_test_command_call test_name) @@ -5595,6 +5656,7 @@ and generate_test_command_call ?(expect_error = false) ?test test_name cmd = List.iter ( function | OptString n, "NULL" -> () + | Device n, arg | String n, arg | OptString n, arg -> pr " const char *%s = \"%s\";\n" n (c_quote arg); @@ -5642,6 +5704,7 @@ and generate_test_command_call ?(expect_error = false) ?test test_name cmd = List.iter ( function | OptString _, "NULL" -> pr ", NULL" + | Device n, _ | String n, _ | OptString n, _ -> pr ", %s" n @@ -5890,6 +5953,7 @@ and generate_fish_cmds () = ); List.iter ( function + | Device n | String n | OptString n | FileIn n @@ -5910,7 +5974,7 @@ and generate_fish_cmds () = iteri ( fun i -> function - | String name -> pr " %s = argv[%d];\n" name i + | Device name | String name -> pr " %s = argv[%d];\n" name i | OptString name -> pr " %s = strcmp (argv[%d], \"\") != 0 ? argv[%d] : NULL;\n" name i i @@ -6143,7 +6207,7 @@ and generate_fish_actions_pod () = pr " %s" name; List.iter ( function - | String n -> pr " %s" n + | Device n | String n -> pr " %s" n | OptString n -> pr " %s" n | StringList n -> pr " '%s ...'" n | Bool _ -> pr " true|false" @@ -6209,9 +6273,11 @@ and generate_prototype ?(extern = true) ?(static = false) ?(semicolon = true) in List.iter ( function + | Device n | String n | OptString n -> next (); +(* FIXME *) if not in_daemon then pr "const char *%s" n else pr "char *%s" n | StringList n -> @@ -6471,6 +6537,7 @@ copy_table (char * const * argv) List.iter ( function + | Device n | String n | FileIn n | FileOut n -> @@ -6523,7 +6590,8 @@ copy_table (char * const * argv) function | StringList n -> pr " ocaml_guestfs_free_strings (%s);\n" n; - | String _ | OptString _ | Bool _ | Int _ | FileIn _ | FileOut _ -> () + | Device _ | String _ | OptString _ | Bool _ | Int _ + | FileIn _ | FileOut _ -> () ) (snd style); pr " if (r == %s)\n" error_code; @@ -6606,7 +6674,7 @@ and generate_ocaml_prototype ?(is_external = false) name style = pr "%s : t -> " name; List.iter ( function - | String _ | FileIn _ | FileOut _ -> pr "string -> " + | Device _ | String _ | FileIn _ | FileOut _ -> pr "string -> " | OptString _ -> pr "string option -> " | StringList _ -> pr "string array -> " | Bool _ -> pr "bool -> " @@ -6751,7 +6819,7 @@ DESTROY (g) iteri ( fun i -> function - | String n | FileIn n | FileOut n -> pr " char *%s;\n" n + | Device n | String n | FileIn n | FileOut n -> pr " char *%s;\n" n | OptString n -> (* http://www.perlmonks.org/?node_id=554277 * Note that the implicit handle argument means we have @@ -6766,7 +6834,7 @@ DESTROY (g) let do_cleanups () = List.iter ( function - | String _ | OptString _ | Bool _ | Int _ + | Device _ | String _ | OptString _ | Bool _ | Int _ | FileIn _ | FileOut _ -> () | StringList n -> pr " free (%s);\n" n ) (snd style) @@ -7138,7 +7206,8 @@ and generate_perl_prototype name style = if !comma then pr ", "; comma := true; match arg with - | String n | OptString n | Bool n | Int n | FileIn n | FileOut n -> + | Device n | String n + | OptString n | Bool n | Int n | FileIn n | FileOut n -> pr "$%s" n | StringList n -> pr "\\@%s" n @@ -7385,7 +7454,7 @@ py_guestfs_close (PyObject *self, PyObject *args) List.iter ( function - | String n | FileIn n | FileOut n -> pr " const char *%s;\n" n + | Device n | String n | FileIn n | FileOut n -> pr " const char *%s;\n" n | OptString n -> pr " const char *%s;\n" n | StringList n -> pr " PyObject *py_%s;\n" n; @@ -7400,7 +7469,7 @@ py_guestfs_close (PyObject *self, PyObject *args) pr " if (!PyArg_ParseTuple (args, (char *) \"O"; List.iter ( function - | String _ | FileIn _ | FileOut _ -> pr "s" + | Device _ | String _ | FileIn _ | FileOut _ -> pr "s" | OptString _ -> pr "z" | StringList _ -> pr "O" | Bool _ -> pr "i" (* XXX Python has booleans? *) @@ -7410,7 +7479,7 @@ py_guestfs_close (PyObject *self, PyObject *args) pr " &py_g"; List.iter ( function - | String n | FileIn n | FileOut n -> pr ", &%s" n + | Device n | String n | FileIn n | FileOut n -> pr ", &%s" n | OptString n -> pr ", &%s" n | StringList n -> pr ", &py_%s" n | Bool n -> pr ", &%s" n @@ -7423,7 +7492,8 @@ py_guestfs_close (PyObject *self, PyObject *args) pr " g = get_handle (py_g);\n"; List.iter ( function - | String _ | FileIn _ | FileOut _ | OptString _ | Bool _ | Int _ -> () + | Device _ | String _ + | FileIn _ | FileOut _ | OptString _ | Bool _ | Int _ -> () | StringList n -> pr " %s = get_string_list (py_%s);\n" n n; pr " if (!%s) return NULL;\n" n @@ -7437,7 +7507,8 @@ py_guestfs_close (PyObject *self, PyObject *args) List.iter ( function - | String _ | FileIn _ | FileOut _ | OptString _ | Bool _ | Int _ -> () + | Device _ | String _ + | FileIn _ | FileOut _ | OptString _ | Bool _ | Int _ -> () | StringList n -> pr " free (%s);\n" n ) (snd style); @@ -7745,7 +7816,7 @@ static VALUE ruby_guestfs_close (VALUE gv) List.iter ( function - | String n | FileIn n | FileOut n -> + | Device n | String n | FileIn n | FileOut n -> pr " Check_Type (%sv, T_STRING);\n" n; pr " const char *%s = StringValueCStr (%sv);\n" n n; pr " if (!%s)\n" n; @@ -7797,7 +7868,8 @@ static VALUE ruby_guestfs_close (VALUE gv) List.iter ( function - | String _ | FileIn _ | FileOut _ | OptString _ | Bool _ | Int _ -> () + | Device _ | String _ + | FileIn _ | FileOut _ | OptString _ | Bool _ | Int _ -> () | StringList n -> pr " free (%s);\n" n ) (snd style); @@ -8107,6 +8179,7 @@ and generate_java_prototype ?(public=false) ?(privat=false) ?(native=false) needs_comma := true; match arg with + | Device n | String n | OptString n | FileIn n @@ -8224,6 +8297,7 @@ Java_com_redhat_et_libguestfs_GuestFS__1close pr " (JNIEnv *env, jobject obj, jlong jg"; List.iter ( function + | Device n | String n | OptString n | FileIn n @@ -8275,6 +8349,7 @@ Java_com_redhat_et_libguestfs_GuestFS__1close "NULL", "NULL" in List.iter ( function + | Device n | String n | OptString n | FileIn n @@ -8303,6 +8378,7 @@ Java_com_redhat_et_libguestfs_GuestFS__1close (* Get the parameters. *) List.iter ( function + | Device n | String n | FileIn n | FileOut n -> @@ -8334,6 +8410,7 @@ Java_com_redhat_et_libguestfs_GuestFS__1close (* Release the parameters. *) List.iter ( function + | Device n | String n | FileIn n | FileOut n -> @@ -8491,6 +8568,16 @@ and generate_java_struct_list_return typ jtyp cols = pr " guestfs_free_%s_list (r);\n" typ; pr " return jr;\n" +and generate_java_makefile_inc () = + generate_header HashStyle GPLv2; + + pr "java_built_sources = \\\n"; + List.iter ( + fun (typ, jtyp) -> + pr "\tcom/redhat/et/libguestfs/%s.java \\\n" jtyp; + ) java_structs; + pr "\tcom/redhat/et/libguestfs/GuestFS.java\n" + and generate_haskell_hs () = generate_header HaskellStyle LGPLv2; @@ -8598,7 +8685,7 @@ last_error h = do function | FileIn n | FileOut n - | String n -> pr "withCString %s $ \\%s -> " n n + | Device n | String n -> pr "withCString %s $ \\%s -> " n n | OptString n -> pr "maybeWith withCString %s $ \\%s -> " n n | StringList n -> pr "withMany withCString %s $ \\%s -> withArray0 nullPtr %s $ \\%s -> " n n n n | Bool _ | Int _ -> () @@ -8609,7 +8696,8 @@ last_error h = do function | Bool n -> sprintf "(fromBool %s)" n | Int n -> sprintf "(fromIntegral %s)" n - | FileIn n | FileOut n | String n | OptString n | StringList n -> n + | FileIn n | FileOut n + | Device n | String n | OptString n | StringList n -> n ) (snd style) in pr "withForeignPtr h (\\p -> c_%s %s)\n" name (String.concat " " ("p" :: args)); @@ -8659,7 +8747,7 @@ and generate_haskell_prototype ~handle ?(hs = false) style = List.iter ( fun arg -> (match arg with - | String _ -> pr "%s" string + | Device _ | String _ -> pr "%s" string | OptString _ -> if hs then pr "Maybe String" else pr "CString" | StringList _ -> if hs then pr "[String]" else pr "Ptr CString" | Bool _ -> pr "%s" bool @@ -8734,6 +8822,7 @@ print_strings (char * const* const argv) pr "{\n"; List.iter ( function + | Device n | String n | FileIn n | FileOut n -> pr " printf (\"%%s\\n\", %s);\n" n @@ -9248,12 +9337,7 @@ Run it from the top source directory using the command ) java_structs; let close = output_to "java/Makefile.inc" in - pr "java_built_sources ="; - List.iter ( - fun (typ, jtyp) -> - pr " com/redhat/et/libguestfs/%s.java" jtyp; - ) java_structs; - pr " com/redhat/et/libguestfs/GuestFS.java\n"; + generate_java_makefile_inc (); close (); let close = output_to "java/com_redhat_et_libguestfs_GuestFS.c" in