From d7cffea375760c27ae43e1ea09af43be3926454d Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Sat, 31 Dec 2011 18:48:41 +0000 Subject: [PATCH] Add LGPLv2+ notice to *.api files. --- APIs/block_devices.api | 18 ++++++++++++++++++ APIs/error.api | 20 +++++++++++++++++++- APIs/fileperm.api | 18 ++++++++++++++++++ APIs/filesize.api | 20 ++++++++++++++++++-- APIs/handle.api | 24 +++++++++++++++++++++--- APIs/mkdir.api | 20 +++++++++++++++++++- APIs/mknod.api | 20 ++++++++++++++++++-- APIs/off_t.api | 18 ++++++++++++++++++ APIs/pathname.api | 18 ++++++++++++++++++ APIs/processes.api | 18 ++++++++++++++++++ 10 files changed, 185 insertions(+), 9 deletions(-) diff --git a/APIs/block_devices.api b/APIs/block_devices.api index 7769911..d052b9c 100644 --- a/APIs/block_devices.api +++ b/APIs/block_devices.api @@ -1,3 +1,21 @@ +(* 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 + *) + (* system_object block_device dir_list "/sys/block/[hsv]d[a-z]*" diff --git a/APIs/error.api b/APIs/error.api index 0ec07c2..190af67 100644 --- a/APIs/error.api +++ b/APIs/error.api @@ -1,3 +1,21 @@ +(* 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 + *) + entry_point local bool error () << @@ -8,4 +26,4 @@ entry_point local void clear_error () << w->error_flag = 0; ->> \ No newline at end of file +>> diff --git a/APIs/fileperm.api b/APIs/fileperm.api index 38c654b..6abf0a4 100644 --- a/APIs/fileperm.api +++ b/APIs/fileperm.api @@ -1,2 +1,20 @@ +(* 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 + *) + (* XXX preconditions XXX *) typedef int fileperm diff --git a/APIs/filesize.api b/APIs/filesize.api index a8e29d8..e57df8e 100644 --- a/APIs/filesize.api +++ b/APIs/filesize.api @@ -1,3 +1,21 @@ +(* 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 + *) + entry_point off_t filesize (pathname path) << @@ -11,8 +29,6 @@ off_t filesize (pathname path) return buf.st_size; >> -;; - (* mknod_block mkfifo diff --git a/APIs/handle.api b/APIs/handle.api index 9fd4377..3f22260 100644 --- a/APIs/handle.api +++ b/APIs/handle.api @@ -1,5 +1,23 @@ -entry_point local void connect () ;; +(* 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 + *) + +entry_point local void connect () (* XXX Should scheme be an enum? *) -entry_point local void set_scheme (string scheme) ;; -entry_point local void set_hostname (string hostname) ;; +entry_point local void set_scheme (string scheme) +entry_point local void set_hostname (string hostname) diff --git a/APIs/mkdir.api b/APIs/mkdir.api index bcdebab..85c5d23 100644 --- a/APIs/mkdir.api +++ b/APIs/mkdir.api @@ -1 +1,19 @@ -entry_point void mkdir (pathname path, fileperm perm) (* implicit *);; +(* 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 + *) + +entry_point void mkdir (pathname path, fileperm perm) (* implicit *) diff --git a/APIs/mknod.api b/APIs/mknod.api index 793833b..2e16a3c 100644 --- a/APIs/mknod.api +++ b/APIs/mknod.api @@ -1,3 +1,21 @@ +(* 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 + *) + entry_point void mknod_char (pathname path, fileperm perm, uint64 major, uint64 minor) << @@ -8,8 +26,6 @@ void mknod_char (pathname path, fileperm perm, uint64 major, uint64 minor) return 0; >> -;; - (* mknod_block mkfifo diff --git a/APIs/off_t.api b/APIs/off_t.api index 1f8e7a7..22dde87 100644 --- a/APIs/off_t.api +++ b/APIs/off_t.api @@ -1,2 +1,20 @@ +(* 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 + *) + (* XXX preconditions: >= 0 *) typedef int off_t diff --git a/APIs/pathname.api b/APIs/pathname.api index 7398460..5672b2d 100644 --- a/APIs/pathname.api +++ b/APIs/pathname.api @@ -1,2 +1,20 @@ +(* 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 + *) + (* XXX precondition that this is non-empty *) typedef string pathname diff --git a/APIs/processes.api b/APIs/processes.api index 86c5f67..030731b 100644 --- a/APIs/processes.api +++ b/APIs/processes.api @@ -1,3 +1,21 @@ +(* 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 + *) + (* system_object process dir_list "/proc/[1-9]*" -- 1.8.3.1