generator: add a GUID parameter type

At the moment it is basically the change as String, and it is mapped as
if it was such.
This commit is contained in:
Pino Toscano
2014-02-06 17:43:04 +01:00
parent beef77403c
commit b10dd601fb
20 changed files with 90 additions and 56 deletions

View File

@@ -326,7 +326,8 @@ Guestfish will prompt for these separately."
function
| Device n | Mountable n
| String n
| OptString n -> pr " const char *%s;\n" n
| OptString n
| GUID n -> pr " const char *%s;\n" n
| Pathname n
| Dev_or_Path n | Mountable_or_Path n
| FileIn n
@@ -420,7 +421,7 @@ Guestfish will prompt for these separately."
List.iter (
function
| Device name | Mountable name
| String name ->
| String name | GUID name ->
pr " %s = argv[i++];\n" name
| Pathname name
| Dev_or_Path name | Mountable_or_Path name ->
@@ -633,7 +634,8 @@ Guestfish will prompt for these separately."
function
| Device _ | Mountable _ | String _
| OptString _
| BufferIn _ -> ()
| BufferIn _
| GUID _ -> ()
| Bool name
| Int name | Int64 name ->
pr " out_%s:\n" name
@@ -865,7 +867,8 @@ and generate_fish_actions_pod () =
List.iter (
function
| Pathname n | Device n | Mountable n
| Dev_or_Path n | Mountable_or_Path n | String n ->
| Dev_or_Path n | Mountable_or_Path n | String n
| GUID n ->
pr " %s" n
| OptString n -> pr " %s" n
| StringList n | DeviceList n -> pr " '%s ...'" n