| All Definitions |
| example_variable
getClassByName maxNumberOfAttributes numberOfAttributes |
| All Constraints |
| inv numberOfAttributesGreaterThanZero
|
| All Queries |
| numberOfAttributes
|
| All Tests |
| numberOfAttributesC1
numberOfAttributesC2 variablevalue variablevariable |