Add default values for attributes
Gattag opened this issue · comments
The functionality does exist in dclareForJava with the @Default annotation, any reason it can't exist here?
Fixed by adding the possibility to use = instead of := with an attribute initialisation. Also changed the default mechanism in Dclare to support default values that are derived from the object on which the setable is defined.