DefineTransition

Author: xieyuheng

TODO.md

@@ -1,6 +1,6 @@
 # stmt
 
-DefineTransition
+Begin
 
 # net
 

src/lang/definition/Definition.ts

@@ -11,5 +11,6 @@ export type TransitionDefinition = {
   name: string
   inputParameters: Array<Parameter>
   outputParameters: Array<Parameter>
+  body: Array<BlockStmt>
   span: Span
 }

src/lang/parameter/Parameter.ts

@@ -1,4 +1,10 @@
 import { Value } from "../value"
+import { Exp } from "../exp"
+
+export type ParameterExp = {
+  name: string
+  t: Exp
+}
 
 export type Parameter = {
   name: string

src/lang/stmt/Stmt.ts

@@ -1,7 +1,14 @@
-export type Stmt =
-  | DefineTransition
+import { ParameterExp } from "../parameter"
+import { Span } from "../span"
 
-export type DefineTransition  = {
+export type Stmt = DefineTransition
+
+export type DefineTransition = {
   "@type": "Stmt"
   "@kind": "DefineTransition"
+  name: string
+  inputParameters: Array<ParameterExp>
+  outputParameters: Array<ParameterExp>
+  body: Array<BlockStmt>
+  span: Span
 }