Official documentation for the VM* family of model manipulation languages.
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
vmtl:annotations [2015/09/22 14:59] rvac [Special Variables] |
vmtl:annotations [2015/09/22 15:02] rvac [Special Variables] |
||
---|---|---|---|
Line 53: | Line 53: | ||
|''id'' | String | Annotated element | Stores an optional user-defined pattern element identifier in order to facilitate the identification of corresponding elements across patterns. | Find, Produce, Update, Require, Forbid | ''id := "1"'' | | |''id'' | String | Annotated element | Stores an optional user-defined pattern element identifier in order to facilitate the identification of corresponding elements across patterns. | Find, Produce, Update, Require, Forbid | ''id := "1"'' | | ||
|''injective'' | Boolean | Rule | If the value of this special variable is ''true'', each pattern element can be matched to at most one source model element. Otherwise, each pattern element can be matched to several source model elements. | Find, Produce, Update, Require, Forbid | ''injective := true'' | | |''injective'' | Boolean | Rule | If the value of this special variable is ''true'', each pattern element can be matched to at most one source model element. Otherwise, each pattern element can be matched to several source model elements. | Find, Produce, Update, Require, Forbid | ''injective := true'' | | ||
- | | ''priority'' | Integer | Rule | Determines the application priority of a VMTL rule. The default value of this special variable is 0, and higher values corresponding to higher execution priorities. | Find, Produce, Update, Require, Forbid | ''priority := 1'' | | + | | ''priority'' | Integer | Rule | Determines the application priority of a rule. Only positive values are allowed, with lower values implying a higher execution priority. The default rule priority is ∞.| Find, Produce, Update, Require, Forbid | ''priority := 1'' | |
| ''self'' | Element | Annotated element | Represents the annotated model element. | Find, Produce, Update, Require, Forbid | ''self.visibility := "public"'' | | | ''self'' | Element | Annotated element | Represents the annotated model element. | Find, Produce, Update, Require, Forbid | ''self.visibility := "public"'' | | ||
| ''type'' | String | Annotated element | Provides access to the name of the annotated model element's metaclass. Assigning a new value to this special variable modifies the annotated model element's metaclass. | Find, Produce, Update, Require, Forbid | ''type := "Actor"'' | | | ''type'' | String | Annotated element | Provides access to the name of the annotated model element's metaclass. Assigning a new value to this special variable modifies the annotated model element's metaclass. | Find, Produce, Update, Require, Forbid | ''type := "Actor"'' | |