Enhance Generator Definition

[ymark]

Enhance the definition of generators by adding the following:

• argument type: that can take any of the following values {instance, label, any}. The attribute is used to define the type of value that will be generated using the corresponding generator. The argument is optional. If it has not been declared then its default value is any.
• element description: it contains a narrative describing the scope notes of the defined generator.

The additions are for improving the understandability of generators (from humans).

[ymark]

The new information (argument type and element description) are now supported from X3ML engine.
The description is of no use for the X3ML Engine, since it just contains a narrative describing the functionality of the generator.

As regards the type, X3ML Engine just checks if it is valid, which means if it contains one of the allowed values, or it is absent. In case of using a value for the type that is not valid, then an exception is thrown and the execution is terminated. For the time being it is not used for identifying the type of a generated value, it is still being inferred from the generated value.

The updated description for generators will be supported from version 1.9.3 and on.