Automate
所属分类：collect
开发工具：Ada
文件大小：0KB
下载次数：0
上传日期：2022-07-17 09:45:54
上 传 者：
sh-1993
说明： Ada有限状态机生成器。，
(Ada finite-state machine generator.,)
文件列表:
Automate_Ada.pdf (877016, 2023-11-02)
BBEdit/ (0, 2023-11-02)
BBEdit/AutoScript.plist (1725, 2023-11-02)
SubEthaEdit/ (0, 2023-11-02)
SubEthaEdit/AutoScript.mode/ (0, 2023-11-02)
SubEthaEdit/AutoScript.mode/Contents/ (0, 2023-11-02)
SubEthaEdit/AutoScript.mode/Contents/Info.plist (717, 2023-11-02)
SubEthaEdit/AutoScript.mode/Contents/Resources/ (0, 2023-11-02)
SubEthaEdit/AutoScript.mode/Contents/Resources/AutocompleteAdditions.txt (54, 2023-11-02)
SubEthaEdit/AutoScript.mode/Contents/Resources/English.lproj/ (0, 2023-11-02)
SubEthaEdit/AutoScript.mode/Contents/Resources/English.lproj/InfoPlist.strings (450, 2023-11-02)
SubEthaEdit/AutoScript.mode/Contents/Resources/RegexSymbols.xml (3652, 2023-11-02)
SubEthaEdit/AutoScript.mode/Contents/Resources/SyntaxDefinition.xml (6348, 2023-11-02)
alire.toml (504, 2023-11-02)
automate.gpr (990, 2023-11-02)
pragma_debug.adc (27, 2023-11-02)
robot/ (0, 2023-11-02)
robot/eventmgr.adb (6004, 2023-11-02)
robot/eventmgr.ads (219, 2023-11-02)
robot/robot.adb (847, 2023-11-02)
robot/robseq.adb (4800, 2023-11-02)
robot/robseq.ads (107, 2023-11-02)
robot/robseq.auto (2224, 2023-11-02)
src/ (0, 2023-11-02)
src/basicdef.adb (1585, 2023-11-02)
src/basicdef.ads (1348, 2023-11-02)
src/genauto.adb (6627, 2023-11-02)
src/insrc.adb (10621, 2023-11-02)
src/insrc.ads (2704, 2023-11-02)
src/outsrc.adb (2938, 2023-11-02)
src/outsrc.ads (4183, 2023-11-02)
src/srcseq.adb (33208, 2023-11-02)
src/srcseq.ads (107, 2023-11-02)
src/srcseq.auto (11164, 2023-11-02)
# Ada finite-state machine generator
[](https://alire.ada.dev/crates/automate.html)
The generator translates finite-state machines described with specific text scripts to Ada language.
See readme.txt and Automate_Ada.pdf (in French) for more details.
## Using [Alire](https://alire.ada.dev)
In your working folder, do:
```
% alr get automate
% cd automate_*
% alr build
```
## Licence
All files are provided under terms of the [CeCILL](https://cecill.info) License version 2.1.
Pascal Pignard, March 2017, October 2023.
近期下载者：
相关文件：
收藏者：