文件名称:FSharp.HSM:分层状态机库
文件大小:168KB
文件格式:ZIP
更新时间:2024-06-15 22:56:03
F#
锋利的HSM F#中的分层状态机库 受启发, : 特征: 等级状态 进/出动作 守卫 自动转换 具有可选过渡的事件处理程序 输出状态和转换的事件 内省可用事件 例子: 电话: [ configure OffHook |> on CallDialed Ringing configure Ringing |> on CallConnected Connected |> on HungUp OffHook configure Connected |> onEntry startTimer |> onExit stopTimer |> transitionTo InCall |> on HungUp OffHook configure InCall |> substateOf Connected |
【文件预览】:
FSharp.HSM-master
----global.json(43B)
----.gitignore(301B)
----Pelican.png(70KB)
----FSharp.HSM.sln(3KB)
----PelicanDemo()
--------Red.jpg(4KB)
--------Green.jpg(4KB)
--------PelicanDemo.fsproj(2KB)
--------DontWalk.jpg(3KB)
--------Program.fs(3KB)
--------Yellow.jpg(4KB)
--------AssemblyInfo.fs(1KB)
--------Walk.jpg(3KB)
----LICENSE.txt(1KB)
----PelicanStateDiagram.png(59KB)
----README.md(3KB)
----Todo.txt(262B)
----TestHSM()
--------TestHSM.fsproj(535B)
--------Program.fs(3KB)
--------AssemblyInfo.fs(1KB)
----Experimental1.fsx(11KB)
----FSharp.HSM()
--------HSM.fs(13KB)
--------FSharp.HSM.fsproj(215B)
----FSharp.HSM.Tests()
--------Trade.fs(3KB)
--------TestHSM.fs(3KB)
--------FunctionTests.fs(2KB)
--------PhoneCall.fs(3KB)
--------TestHelpers.fs(866B)
--------Bug.fs(1KB)
--------FSharp.HSM.Tests.fsproj(883B)
--------Order.fs(3KB)
--------PELICAN.fs(5KB)