1.1 --- a/docs/idl.1 Tue Feb 28 22:33:52 2023 +0100
1.2 +++ b/docs/idl.1 Thu Mar 23 00:32:22 2023 +0100
1.3 @@ -1,4 +1,4 @@
1.4 -.TH IDL "1" "2022-12-09" "idl 2022-12-09" "User Commands"
1.5 +.TH IDL "1" "2023-03-23" "idl 2023-03-23" "User Commands"
1.6
1.7 .SH NAME
1.8 idl \- L4Re IDL parser and code generator
1.9 @@ -232,6 +232,9 @@
1.10 appropriate reply data. See the \fBCOMPLETION OPERATIONS\fR section for more
1.11 details.
1.12 .TP
1.13 +\fBoneway\fR
1.14 +An indication that calls involving the given operation do not expect a reply.
1.15 +.TP
1.16 \fBopcode(\fIopcode_value\fB)\fR
1.17 An operation code (opcode) applying to the given operation. Without a protocol
1.18 value applying to an interface, clients will specify the given
1.19 @@ -465,6 +468,11 @@
1.20 preprocessor, generating code that may then not behave exactly as intended,
1.21 although the code should be well-formed.
1.22 .PP
1.23 +The \fBcompletion\fR and \fBoneway\fR attributes should be mutually exclusive,
1.24 +and it should not be possible to use \fBinout\fR and \fBout\fR parameters on
1.25 +operations annotated with the \fBoneway\fR attribute. However, these
1.26 +restrictions are not currently enforced.
1.27 +.PP
1.28 File inclusion is currently limited to loading files that all reside in the same
1.29 location, although include paths could be supported.
1.30 .PP
1.31 @@ -478,7 +486,7 @@
1.32 The project Web site: http://projects.boddie.org.uk/idl4re
1.33
1.34 .SH COPYRIGHT
1.35 -Copyright \(co 2019, 2020, 2022 Paul Boddie <paul@boddie.org.uk>
1.36 +Copyright \(co 2019, 2020, 2022, 2023 Paul Boddie <paul@boddie.org.uk>
1.37 .PP
1.38 This program is free software; you may redistribute it under the terms of
1.39 the GNU General Public License version 2 or (at your option) a later version.
1.40 @@ -491,3 +499,5 @@
1.41 DCE: http://www.opengroup.org/dce/
1.42 .TP
1.43 DICE: https://wiki.tudos.org/Dice_IDL_compiler
1.44 +.TP
1.45 +IDL4: https://www.l4ka.org/downloads/idl4_manual.pdf