Exp and BlockStmt

Author: xieyuheng

TODO.md

@@ -1,17 +1,34 @@
+# stmt
+
+Stmt
+
+Run
+
+```
+run {
+  (input) -> [register] -> (c1, c2)
+  (c1) -> [sendQuestionnaire] -> (c3)
+  (c3) -> [processQuestionnaire] -> (c5)
+  (c3) -> [timeout] -> (c5)
+
+  (c5, c6) -> [archive] -> (output)
+
+  (c2) -> <evaluate> -> (c6, c7)
+  (c5, c7) -> [processComplaint] -> (c5, c8)
+  (c8) -> <checkProcessing> -> (c6, c7)
+}
+```
+
 # net
 
-[connect] connectTransitionToPlaces(net: Net, transition: Transition, place: Place)
+[connect] connectTransitionToInputPlaces(net: Net, transition: Transition, places: Array<Place>)
+[connect] connectTransitionToOutputPlaces(net: Net, transition: Transition, places: Array<Place>)
 
 [run] run
 
 - everytime a marking changes,
   loop through and try to execute every transitions.
 
-# command-line
-
-fix run command
-add repl command
-
 # syntax
 
 parser
@@ -20,15 +37,14 @@ parser
 
 fix `Loader` -- parse and execute
 
-# choice
-
-[maybe] as one kind of `Transition`
+# command-line
 
-# lang
+fix run command
+add repl command
 
-env
-Stmt
+# choice
 
+[maybe] as one kind of `Transition`
 
 # type system
 

src/lang/exp/BlockStmt.ts

@@ -0,0 +1,13 @@
+import { Span } from "../span"
+import { Exp } from "./Exp"
+
+export type BlockStmt = Change
+
+export type Change = {
+  "@type": "BlockStmt"
+  "@kind": "Change"
+  transition: Exp
+  inputArgs: Array<Exp>
+  outputArgs: Array<Exp>
+  span: Span
+}

src/lang/exp/Exp.ts

@@ -0,0 +1,18 @@
+import { Span } from "../span"
+import { BlockStmt } from "./BlockStmt"
+
+export type Exp = Var | Block
+
+export type Var = {
+  "@type": "Exp"
+  "@kind": "Var"
+  name: string
+  span: Span
+}
+
+export type Block = {
+  "@type": "Exp"
+  "@kind": "Block"
+  body: Array<BlockStmt>
+  span: Span
+}

src/lang/exp/index.ts

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