[net] TransitionEntry -- has optional task -- with any async call…

…back function

TODO.md

@@ -1,8 +1,8 @@
 # net
 
-[net] use vue `reactive` primitives
+[net] `fireTransitionEntry` -- try to fire one transition entry
 
-[net] `react`
+[net] `run`
 
 - when we add a data into a place,
   all the neighboring transitions are checked for preparedness,

package.json

@@ -28,8 +28,10 @@
   "dependencies": {
     "@cicada-lang/framework": "^0.1.6",
     "@cicada-lang/partech": "^0.2.5",
+    "@vue/runtime-core": "^3.3.8",
     "@xieyuheng/command-line": "^0.0.13",
     "@xieyuheng/ty": "^0.1.26",
+    "events": "^3.3.0",
     "picocolors": "^1.0.0",
     "vitest": "^0.34.6"
   },

src/lang/net/Net.ts

@@ -1,4 +1,5 @@
 import { Parameter } from "../parameter"
+import { Task } from "../task"
 import { Value } from "../value"
 
 /*
@@ -24,6 +25,7 @@ export type TransitionEntry = {
   outputParameters: Array<Parameter>
   inputPlaceEntries: Array<PlaceEntry>
   outputPlaceEntries: Array<PlaceEntry>
+  task?: Task
 }
 
 export type PlaceEntry = {

src/lang/net/fireTransitionEntry.ts

@@ -0,0 +1,8 @@
+import { Net, TransitionEntry } from "./Net"
+
+export async function fireTransitionEntry(
+  net: Net,
+  transitionEntry: TransitionEntry,
+) {
+  //
+}

src/lang/net/index.ts

@@ -1,4 +1,5 @@
 export * from "./Net"
+export * from "./fireTransitionEntry"
 export * from "./createNet"
 export * from "./addPlace"
 export * from "./addTransition"

src/lang/react/react.ts

@@ -1,5 +1,6 @@
+import { reactive } from "@vue/runtime-core"
 import { Net } from "../net"
 
 export function react(net: Net): void {
-  //
+  reactive
 }

src/lang/task/Task.ts

@@ -0,0 +1,5 @@
+export type TaskFunction = (...args: Array<any>) => Promise<Array<any>>
+
+export type Task = {
+  fn: TaskFunction
+}

src/lang/task/index.ts

@@ -0,0 +1 @@
+export * from "./Task"