search for: stringt

...file changed, 23 insertions(+) diff --git a/generator/checks.ml b/generator/checks.ml index 788a11624..c30790dac 100644 --- a/generator/checks.ml +++ b/generator/checks.ml @@ -154,6 +154,29 @@ let () = List.iter check_arg_type args; ) (actions |> daemon_functions); + (* Some String/stringt and StringList/stringt combinations are + * not permitted. + *) + List.iter ( + fun { name = name; style = _, args, _ } -> + let check_arg_type = function + (* Previously only DeviceList and FilenameList were special list + * types. We could permit more here in futur...

v1 -> v2: - Fixed everything mentioned in patch review. - Libdir module is removed as a separate commit. Rich.

...m_elab.o ada/sem_elim.o ada/sem_eval.o ada/sem_intr.o ada/sem_maps.o ada/sem_mech.o ada/sem_prag.o ada/sem_res.o ada/sem_smem.o ada/sem_type.o ada/sem_util.o ada/sem_vfpt.o ada/sem_warn.o ada/sinfo-cn.o ada/sinfo.o ada/sinput.o ada/sinput-d.o ada/sinput-l.o ada/snames.o ada/sprint.o ada/stand.o ada/stringt.o ada/style.o ada/switch.o ada/switch-c.o ada/stylesw.o ada/validsw.o ada/system.o ada/table.o ada/targparm.o ada/tbuild.o ada/tree_gen.o ada/tree_io.o ada/treepr.o ada/treeprs.o ada/ttypef.o ada/ttypes.o ada/types.o ada/uintp.o ada/uname.o ada/urealp.o ada/usage.o ada/widechar.o ada/back_end.o ada...

...y be NULL and there - * is no way to return an error indication. Avoid using this! - *) | RConstOptString of string - - (* "RString" is a returned string. It must NOT be NULL, since - * a NULL return indicates an error. The caller frees this. - *) | RString of rstringt * string - - (* "RStringList" is a list of strings. No string in the list - * can be NULL. The caller frees the strings and the array. - *) | RStringList of rstringt * string - - (* "RStruct" is a function which returns a single named structure - * or an e...

This works reliably for me ... Rich.

Very large but mechanical change to the generator. Rich.

...ULL *) - | StringList of string(* list of strings (each string cannot be NULL) *) - | DeviceList of string(* list of Device names (each cannot be NULL) *) + + (* Strings: These can be plain strings, device names, mountable + * filesystems, etc. They cannot be NULL. + *) + | String of stringt * string + + | OptString of string (* Plain string, may be NULL. *) + + (* List of strings: The strings may be plain strings, device names + * etc., but all of the same type. The strings cannot be NULL. + *) + | StringList of stringt * string + (* Opaque buffer which can contain...