fix: fix the format of all the files

lf-lang · Feb 25, 2025 · 769be41 · 769be41
1 parent 942093e
commit 769be41
Show file tree

Hide file tree

Showing 6 changed files with 10 additions and 14 deletions.
diff --git a/examples/C/src/SkiLift/lib/EntryGate.lf b/examples/C/src/SkiLift/lib/EntryGate.lf
@@ -1,9 +1,6 @@
-/**
- * @author Cheng Yen, Tsai
- */
+/** @author Cheng Yen, Tsai */
 target C
 
-
 reactor EntryGate {
   input open: bool  // Toggle mode
 

diff --git a/examples/C/src/SkiLift/lib/EntrySensor.lf b/examples/C/src/SkiLift/lib/EntrySensor.lf
@@ -1,13 +1,12 @@
-/**
- * @author Cheng Yen, Tsai
- */
+/** @author Cheng Yen, Tsai */
 target C
 
 preamble {=
   #include <time.h>
   #include <stdbool.h>
   #include <stdlib.h>
 =}
+
 reactor EntrySensor {
   preamble {=
     int random_bool() {
@@ -24,7 +23,8 @@ reactor EntrySensor {
   output gate_2: bool
   output gate_3: bool
 
-  timer t(0, 200 msec);
+  timer t(0, 200 msec)
+
   reaction(t) -> gate_1, gate_2, gate_3 {=
     lf_set(gate_1, random_bool());
     lf_set(gate_2, random_bool());

diff --git a/examples/C/src/SkiLift/lib/LiftMotion.lf b/examples/C/src/SkiLift/lib/LiftMotion.lf
@@ -1,5 +1,7 @@
 target C
+
 import ScreenPrinter from "ScreenPrinter.lf"
+
 reactor LiftMotion {
   input move: bool  // Toggle mode
   input offset: int32_t

diff --git a/examples/C/src/SkiLift/lib/LiftSensor.lf b/examples/C/src/SkiLift/lib/LiftSensor.lf
@@ -1,6 +1,4 @@
-/**
- * @author Cheng Yen, Tsai
- */
+/** @author Cheng Yen, Tsai */
 target C
 
 reactor LiftSensor {

diff --git a/examples/C/src/SkiLift/lib/ObjectDetector.lf b/examples/C/src/SkiLift/lib/ObjectDetector.lf
@@ -1,6 +1,4 @@
-/**
- * @author Cheng Yen, Tsai
- */
+/** @author Cheng Yen, Tsai */
 target C
 
 reactor ObjectDetector {

diff --git a/examples/C/src/SkiLift/lib/ScreenPrinter.lf b/examples/C/src/SkiLift/lib/ScreenPrinter.lf
@@ -1,5 +1,6 @@
 /** @author Cheng Yen, Tsai */
 target C
+
 preamble {=
   #define WIDTH 80      // Width of the terminal screen
   #define HEIGHT 6      // Number of rows for the ski lift