Scade——学习笔记（4）

阅读量：

条件模块: 在程序执行过程中，在流程依赖一个可计算条件时（即当程序运行到某个点需要根据一个计算得到的结果来决定下一步操作时），使用条件模块是一种简洁明了的应用方式。

复制代码

 clock_block ::=active [[id]]((if_block|match_block))

    
    if_block ::=if expr then ((data_def|if_block))
    
   else ((data_def|if_block))
    
 match_block ::=when expr match{{|patterm:data_def}}+

如果分支结构允许嵌套设置，则该if块支持嵌套另一个if块或sope声明；而match块的设置仅限于单个sope声明。
结果模块的各个分支允许未配置的情况出现。

复制代码

 node ex1(x:int16) returns(y:int16)

    
 let
    
 activate when x match
    
 | 0:y=0;
    
 |_:y=1;
    
 returns ..;
    
 tel;

2. 定义变量必须在一个分支中有个定义。在下面的例子中，o2没有定义：

复制代码

 node ex2(i:bool) retu

全部评论 (0)

还没有任何评论哟~

是否确定退出登录?

Scade——学习笔记（4）

全部评论 (0)

相关文章推荐