Docs v0.8.0

Author: lhstrh

versioned_docs/version-0.8.0/assets/code/.gitignore

@@ -0,0 +1,3 @@
+bin
+src-gen
+include

versioned_docs/version-0.8.0/assets/code/c/.gitignore

@@ -0,0 +1 @@
+include/

versioned_docs/version-0.8.0/assets/code/c/src/Alignment.lf

@@ -0,0 +1,22 @@
+target C {
+  timeout: 3 secs
+}
+
+main reactor Alignment {
+  state s: int = 0
+  timer t1(100 msec, 100 msec)
+  timer t2(200 msec, 200 msec)
+  timer t4(400 msec, 400 msec)
+
+  reaction(t1) {=
+    self->s += 1;
+  =}
+
+  reaction(t2) {=
+    self->s -= 2;
+  =}
+
+  reaction(t4) {=
+    printf("s = %d\n", self->s);
+  =}
+}

versioned_docs/version-0.8.0/assets/code/c/src/Asynchronous.lf

@@ -0,0 +1,31 @@
+target C {
+  keepalive: true  // Do not exit when event queue is empty.
+}
+
+preamble {=
+  #include "platform.h" // Defines lf_sleep() and thread functions.
+=}
+
+main reactor {
+  preamble {=
+    // Schedule an event roughly every 200 msec.
+    void* external(void* a) {
+      while (true) {
+        lf_sleep(MSEC(200));
+        lf_schedule(a, 0);
+      }
+    }
+  =}
+  state thread_id: lf_thread_t = 0
+  physical action a(100 msec): int
+
+  reaction(startup) -> a {=
+    // Start a thread to schedule physical actions.
+    lf_thread_create(&self->thread_id, &external, a);
+  =}
+
+  reaction(a) {=
+    interval_t elapsed_time = lf_time_logical_elapsed();
+    printf("Action triggered at logical time %lld nsec after start.\n", elapsed_time);
+  =}
+}

versioned_docs/version-0.8.0/assets/code/c/src/BankIndex.lf

@@ -0,0 +1,12 @@
+target C;
+preamble {=
+  int table[] = {4, 3, 2, 1};
+=}
+reactor A(bank_index:int = 0, value:int = 0) {
+  reaction (startup) {=
+    printf("bank_index: %d, value: %d\n", self->bank_index, self->value);
+  =}
+}
+main reactor {
+  a = new[4] A(value = {= table[bank_index] =});
+}

versioned_docs/version-0.8.0/assets/code/c/src/CheckDeadline.lf

@@ -0,0 +1,21 @@
+target C;
+
+reactor Count {
+  output out:int;
+  reaction(startup) -> out {=
+    int count = 0;
+    while (!lf_check_deadline(self, true)) {
+      count++;
+    }
+    lf_set(out, count);
+  =} deadline (3 msec) {=
+    printf("Stopped counting.\n");
+  =}
+}
+
+main reactor {
+  c = new Count();
+  reaction(c.out) {=
+    printf("Counted to %d\n", c.out->value);
+  =}
+}

versioned_docs/version-0.8.0/assets/code/c/src/ChildBank.lf

@@ -0,0 +1,16 @@
+target C;
+reactor Child (
+  bank_index:int = 0
+) {
+  reaction(startup) {=
+    printf("My bank index: %d.\n", self->bank_index);
+  =}
+}
+reactor Parent (
+  bank_index:int = 0
+) {
+  c = new[2] Child();
+}
+main reactor {
+  p = new[2] Parent();
+}

versioned_docs/version-0.8.0/assets/code/c/src/ChildParentBank.lf

@@ -0,0 +1,18 @@
+target C
+
+reactor Child(bank_index: int = 0, parent_bank_index: int = 0) {
+  reaction(startup) {=
+    printf(
+        "My bank index: %d. My parent's bank index: %d.\n",
+        self->bank_index, self->parent_bank_index
+    );
+  =}
+}
+
+reactor Parent(bank_index: int = 0) {
+  c = new[2] Child(parent_bank_index=bank_index)
+}
+
+main reactor {
+  p = new[2] Parent()
+}

versioned_docs/version-0.8.0/assets/code/c/src/ChildParentBank2.lf

@@ -0,0 +1,23 @@
+target C
+
+reactor Child(bank_index: int = 0, parent_bank_index: int = 0) {
+  output out: int
+
+  reaction(startup) -> out {=
+    lf_set(out, self->parent_bank_index * 2 + self->bank_index);
+  =}
+}
+
+reactor Parent(bank_index: int = 0) {
+  c = new[2] Child(parent_bank_index=bank_index)
+
+  reaction(c.out) {=
+    for (int i=0; i < c_width; i++) {
+        printf("Received %d from child %d.\n", c[i].out->value, i);
+    }
+  =}
+}
+
+main reactor {
+  p = new[2] Parent()
+}

versioned_docs/version-0.8.0/assets/code/c/src/Contained.lf

@@ -0,0 +1,13 @@
+target C
+
+import Overwriting from "Overwriting.lf"
+
+main reactor {
+  s = new Overwriting()
+
+  reaction(s.y) {=
+    if (s.y->value != 0 && s.y->value != 1) {
+      lf_print_error_and_exit("Outputs should only be 0 or 1!");
+    }
+  =}
+}