Set name to OpaqueBehavior

By default, the Publisher does not set a name to the OpaqueBehavior created. This behavior can be modified by using the following option.

Add a name to the created OpaqueBehavior

To set a name to the created OpaqueBehavior, set the following option in publisher.properties file:

# Determines wether a name must be set to the opaque behavior. Default: false
rhp2md.semantic.setNameToOpaqueBehavior=true

The name is computed from the element containing initially the implementation of the behavior. Here is the implemented rules:

• Operation: the signature of the Operation is used
• State: The name "entry" or "exit" is used depending from where it has been defined in the State
• Transition: the name "effect" is used

If the rhp2md.semantic.setNameToOpaqueBehavior property is not set in the publisher.properties file, the property is set to false, by default.