Main Content

CallbackContext property

指定何时运行检查

值

'PostCompileForCodegen'
'PostCompile'
'None'（默认值）

描述

CallbackContext 属性指定用于检查模型或子系统的上下文。

'None'

检查前对模型无特殊要求。

'Postcompile'

模型进行了编译和仿真。对分析仿真模型的检查使用此选项。

'PostCompileForCodegen'

针对代码生成编译模型，但不进行仿真。使用此选项检查模型的代码生成就绪，并分析活动和非活动变体路径。要分析活动和非活动变体，您必须将系统目标文件配置参数设置为 ert.tlc。请注意，自定义编辑时检查不支持此属性值。