Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
ide_model [2020/06/19 22:32] admin [Model Execution] |
ide_model [2021/01/01 02:31] admin [Transition Properties] |
||
---|---|---|---|
Line 90: | Line 90: | ||
* toggle breakpoint, | * toggle breakpoint, | ||
* highlight incoming and outgoing transitions with different color and auto re-route all incoming and outgoing transitions. | * highlight incoming and outgoing transitions with different color and auto re-route all incoming and outgoing transitions. | ||
+ | * open trigger (script) | ||
{{wiki: | {{wiki: | ||
Line 100: | Line 101: | ||
* re-route transition | * re-route transition | ||
* change source and/or target states | * change source and/or target states | ||
+ | * open trigger (script) | ||
{{wiki: | {{wiki: | ||
Line 129: | Line 131: | ||
* State ID - required, a unique identifier assigned to the state in the model | * State ID - required, a unique identifier assigned to the state in the model | ||
* Description - a freetext description | * Description - a freetext description | ||
- | * Sub Model - sub-model attached to the state | + | * Sub Model Name - sub-model attached to this state |
+ | * Data Set - data set attached to this state | ||
* Color* - background color, custom class, or css style in json, e.g. {" | * Color* - background color, custom class, or css style in json, e.g. {" | ||
* Text Color* - state label color, custom class, or css style in json, e.g. {" | * Text Color* - state label color, custom class, or css style in json, e.g. {" | ||
Line 152: | Line 155: | ||
* Hide Name - not to display transition name on model and graphs | * Hide Name - not to display transition name on model and graphs | ||
* Description - a freetext description | * Description - a freetext description | ||
- | * Color - transition line segment color, custom class name, or css style in json, {" | + | * Transition |
- | * Text Color* - transition label color, custom class name, or css style in json, e.g. {" | + | * Line - transition line segment color, custom class name, or css style in json, {" |
+ | * Label* - transition label color, custom class name, or css style in json, e.g. {" | ||
* Weight - weight (importance), | * Weight - weight (importance), | ||
+ | * Data Set - data set attached to this state | ||
* Traversal Required - minimum number of times the transitions must be traversed. Default 1. Set it to 0 for transitions are required to be traversed (tested). | * Traversal Required - minimum number of times the transitions must be traversed. Default 1. Set it to 0 for transitions are required to be traversed (tested). | ||
* Guard - boolean expression, transition can not be traversed until this condition evaluates to true | * Guard - boolean expression, transition can not be traversed until this condition evaluates to true |