[elk-dev] Layout Options

[Ulf Rüegg <uru@xxxxxxxxxxxxxxxxxxxxxx>]

Hi all,

two ideas regarding the layout options:

First, I vote for renaming the "LayoutOptions" and "Properties" to "CoreOptions" and "LayeredOptions". 

Second, is it necessary for a property's name to be an ID? Can we use a QualifiedID instead? This would allow us to add further parts to the property's name as suggested in the other discussion. In the generated constant the dot can be replaced with an underscore. For example: "org.elk.layered.p4.compaction" turns into "P4_COMPACTION". 

We should use this more often to help users get a better feeling of the effect of a layout option before reading its documentation. 

A further question remains though: we allow to use only the last part of the fully qualified name of a layout options when not using the Java constants. With the above change this may result in name clashes more frequently. 

Ulf