From b4f40a6b11595e99d67c08f96e6b700fca088dfa Mon Sep 17 00:00:00 2001
From: AneesHl <anees.hlaleh@rocketmail.com>
Date: Sat, 20 Jul 2024 14:30:54 +0200
Subject: [PATCH] fixed grammar of Rust target.

---
 docs/writing-reactors/a-first-reactor.mdx      | 18 +++++++++++++++++-
 .../writing-reactors/a-first-reactor.mdx       | 18 +++++++++++++++++-
 .../writing-reactors/a-first-reactor.mdx       | 18 +++++++++++++++++-
 .../writing-reactors/a-first-reactor.mdx       | 18 +++++++++++++++++-
 .../writing-reactors/a-first-reactor.mdx       | 18 +++++++++++++++++-
 5 files changed, 85 insertions(+), 5 deletions(-)

diff --git a/docs/writing-reactors/a-first-reactor.mdx b/docs/writing-reactors/a-first-reactor.mdx
index e27393b04..5d249674c 100644
--- 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
index e27393b04..5d249674c 100644
--- 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
index e27393b04..5d249674c 100644
--- 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
index e27393b04..5d249674c 100644
--- 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
index e27393b04..5d249674c 100644
--- 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)] {