生成关于模型的约束表达式的方法以及约束语言编辑器

摘要

一种用于在约束语言编辑器中帮助生成针对导航的约束语言代码的方法和导航帮助器，其中约束语言编辑器用于根据所加载的模型/实例和相关约束，生成关于模型/实例的约束表达式，导航是实现约束的路径，包括模型/实例元素的序列，所述方法包括：解析所加载的模型/实例；通过模型/实例中与导航有关的元素的类型，计算与元素有关的可能的关联；以及通过关联计算出可能的导航路径。一种用于在约束语言编辑器中帮助生成约束语言代码的方法和约束语言编辑器，所述方法包括：加载模型/实例；加载用于存储参数和约束代码模板的约束模式；根据约束模式中存储的参数类型，调用相应的帮助器，以基于模型/实例来帮助生成参数；根据所生成的参数和约束代码模板，生成约束代码。