fixed grammar of Rust target.

lf-lang · Jul 20, 2024 · b4f40a6 · b4f40a6
1 parent 242e3c7
commit b4f40a6
Show file tree

Hide file tree

Showing 5 changed files with 85 additions and 5 deletions.
diff --git a/docs/writing-reactors/a-first-reactor.mdx b/docs/writing-reactors/a-first-reactor.mdx
@@ -94,13 +94,14 @@ The general structure of a reactor definition is as follows:
         timer <name>([<offset>[, <period>]])
         logical action <name>[: <type>]
         physical action <name>[: <type>]
+        [const] method <name>(parameters):<type> {= ... body ...=}
         reaction [<name>] (triggers) [<uses>] [-> <effects>] [{= ... body ...=}]
         <instance-name> = new <class-name>([<parameter-assignments>])
         <port-name> [, ...] -> <port-name> [, ...] [after <delay>]
     }
     ```
   </ShowIf>
-  <ShowIf cpp rs>
+  <ShowIf cpp>
     ```lf
     [main] reactor <class-name> [(parameters)] {
         input <name>: <type>
@@ -116,6 +117,21 @@ The general structure of a reactor definition is as follows:
     }
     ```
   </ShowIf>
+  <ShowIf rs>
+    ```lf
+    [main] reactor <class-name> [(parameters)] {
+        input <name>: <type>
+        output <name>: <type>
+        state <name>: <type> [= <value>]
+        timer <name>([<offset>[, <period>]])
+        logical action <name>[: <type>]
+        physical action <name>[: <type>]
+        reaction [<name>] (triggers) [<uses>] [-> <effects>] [{= ... body ...=}]
+        <instance-name> = new <class-name>([<parameter-assignments>])
+        <port-name> [, ...] -> <port-name> [, ...] [after <delay>]
+    }
+    ```
+  </ShowIf>
   <ShowIf py>
     ```lf
     [main or federated] reactor <class-name> [(parameters)] {

diff --git a/versioned_docs/version-0.5.0/writing-reactors/a-first-reactor.mdx b/versioned_docs/version-0.5.0/writing-reactors/a-first-reactor.mdx
@@ -94,13 +94,14 @@ The general structure of a reactor definition is as follows:
         timer <name>([<offset>[, <period>]])
         logical action <name>[: <type>]
         physical action <name>[: <type>]
+        [const] method <name>(parameters):<type> {= ... body ...=}
         reaction [<name>] (triggers) [<uses>] [-> <effects>] [{= ... body ...=}]
         <instance-name> = new <class-name>([<parameter-assignments>])
         <port-name> [, ...] -> <port-name> [, ...] [after <delay>]
     }
     ```
   </ShowIf>
-  <ShowIf cpp rs>
+  <ShowIf cpp>
     ```lf
     [main] reactor <class-name> [(parameters)] {
         input <name>: <type>
@@ -116,6 +117,21 @@ The general structure of a reactor definition is as follows:
     }
     ```
   </ShowIf>
+  <ShowIf rs>
+    ```lf
+    [main] reactor <class-name> [(parameters)] {
+        input <name>: <type>
+        output <name>: <type>
+        state <name>: <type> [= <value>]
+        timer <name>([<offset>[, <period>]])
+        logical action <name>[: <type>]
+        physical action <name>[: <type>]
+        reaction [<name>] (triggers) [<uses>] [-> <effects>] [{= ... body ...=}]
+        <instance-name> = new <class-name>([<parameter-assignments>])
+        <port-name> [, ...] -> <port-name> [, ...] [after <delay>]
+    }
+    ```
+  </ShowIf>
   <ShowIf py>
     ```lf
     [main or federated] reactor <class-name> [(parameters)] {

diff --git a/versioned_docs/version-0.6.0/writing-reactors/a-first-reactor.mdx b/versioned_docs/version-0.6.0/writing-reactors/a-first-reactor.mdx
@@ -94,13 +94,14 @@ The general structure of a reactor definition is as follows:
         timer <name>([<offset>[, <period>]])
         logical action <name>[: <type>]
         physical action <name>[: <type>]
+        [const] method <name>(parameters):<type> {= ... body ...=}
         reaction [<name>] (triggers) [<uses>] [-> <effects>] [{= ... body ...=}]
         <instance-name> = new <class-name>([<parameter-assignments>])
         <port-name> [, ...] -> <port-name> [, ...] [after <delay>]
     }
     ```
   </ShowIf>
-  <ShowIf cpp rs>
+  <ShowIf cpp>
     ```lf
     [main] reactor <class-name> [(parameters)] {
         input <name>: <type>
@@ -116,6 +117,21 @@ The general structure of a reactor definition is as follows:
     }
     ```
   </ShowIf>
+  <ShowIf rs>
+    ```lf
+    [main] reactor <class-name> [(parameters)] {
+        input <name>: <type>
+        output <name>: <type>
+        state <name>: <type> [= <value>]
+        timer <name>([<offset>[, <period>]])
+        logical action <name>[: <type>]
+        physical action <name>[: <type>]
+        reaction [<name>] (triggers) [<uses>] [-> <effects>] [{= ... body ...=}]
+        <instance-name> = new <class-name>([<parameter-assignments>])
+        <port-name> [, ...] -> <port-name> [, ...] [after <delay>]
+    }
+    ```
+  </ShowIf>
   <ShowIf py>
     ```lf
     [main or federated] reactor <class-name> [(parameters)] {

diff --git a/versioned_docs/version-0.7.0/writing-reactors/a-first-reactor.mdx b/versioned_docs/version-0.7.0/writing-reactors/a-first-reactor.mdx
@@ -94,13 +94,14 @@ The general structure of a reactor definition is as follows:
         timer <name>([<offset>[, <period>]])
         logical action <name>[: <type>]
         physical action <name>[: <type>]
+        [const] method <name>(parameters):<type> {= ... body ...=}
         reaction [<name>] (triggers) [<uses>] [-> <effects>] [{= ... body ...=}]
         <instance-name> = new <class-name>([<parameter-assignments>])
         <port-name> [, ...] -> <port-name> [, ...] [after <delay>]
     }
     ```
   </ShowIf>
-  <ShowIf cpp rs>
+  <ShowIf cpp>
     ```lf
     [main] reactor <class-name> [(parameters)] {
         input <name>: <type>
@@ -116,6 +117,21 @@ The general structure of a reactor definition is as follows:
     }
     ```
   </ShowIf>
+  <ShowIf rs>
+    ```lf
+    [main] reactor <class-name> [(parameters)] {
+        input <name>: <type>
+        output <name>: <type>
+        state <name>: <type> [= <value>]
+        timer <name>([<offset>[, <period>]])
+        logical action <name>[: <type>]
+        physical action <name>[: <type>]
+        reaction [<name>] (triggers) [<uses>] [-> <effects>] [{= ... body ...=}]
+        <instance-name> = new <class-name>([<parameter-assignments>])
+        <port-name> [, ...] -> <port-name> [, ...] [after <delay>]
+    }
+    ```
+  </ShowIf>
   <ShowIf py>
     ```lf
     [main or federated] reactor <class-name> [(parameters)] {

diff --git a/versioned_docs/version-0.8.0/writing-reactors/a-first-reactor.mdx b/versioned_docs/version-0.8.0/writing-reactors/a-first-reactor.mdx
@@ -94,13 +94,14 @@ The general structure of a reactor definition is as follows:
         timer <name>([<offset>[, <period>]])
         logical action <name>[: <type>]
         physical action <name>[: <type>]
+        [const] method <name>(parameters):<type> {= ... body ...=}
         reaction [<name>] (triggers) [<uses>] [-> <effects>] [{= ... body ...=}]
         <instance-name> = new <class-name>([<parameter-assignments>])
         <port-name> [, ...] -> <port-name> [, ...] [after <delay>]
     }
     ```
   </ShowIf>
-  <ShowIf cpp rs>
+  <ShowIf cpp>
     ```lf
     [main] reactor <class-name> [(parameters)] {
         input <name>: <type>
@@ -116,6 +117,21 @@ The general structure of a reactor definition is as follows:
     }
     ```
   </ShowIf>
+  <ShowIf rs>
+    ```lf
+    [main] reactor <class-name> [(parameters)] {
+        input <name>: <type>
+        output <name>: <type>
+        state <name>: <type> [= <value>]
+        timer <name>([<offset>[, <period>]])
+        logical action <name>[: <type>]
+        physical action <name>[: <type>]
+        reaction [<name>] (triggers) [<uses>] [-> <effects>] [{= ... body ...=}]
+        <instance-name> = new <class-name>([<parameter-assignments>])
+        <port-name> [, ...] -> <port-name> [, ...] [after <delay>]
+    }
+    ```
+  </ShowIf>
   <ShowIf py>
     ```lf
     [main or federated] reactor <class-name> [(parameters)] {