Stereotypes for Java

Overview

Objecteering defines stereotypes that allow you to designate certain objects as being concerned by the generation of Java code. In this way, a constraint concerning an operation will be used as a pre-condition if it carries the <<JavaPreConditions>> stereotype.

Note: Certain stereotypes can be added to certain model elements directly through the "Java" tab of the auxiliary window. For more information, please see "The auxiliary window and Java Developer".

Stereotypes on a constraint

Name	is used to ...
JavaDocInvariant	designate a constraint as being an invariant expressed in JavaDoc. Such a constraint is only taken into account if it concerns a class.
Invariant	When the "description note processed as Javadoc" parameter is selected, the constraint is taken into account in JavaDoc as for <<JavaDocInvariant>>.
JavaInvariant	designate a constraint as being an invariant expressed in Java. Such a constraint is only taken into account if it concerns a class.
JavaPreCondition	designate a constraint as being a pre-condition expressed in Java. Such a constraint is only taken into account if it concerns an operation.
JavaPostCondition	designate a constraint as being a post-condition expressed in Java. Such a constraint is only taken into account if it concerns an operation.

Stereotypes on a class

Name	is used to ...
JavaAnnotation	specify that this class is an annotation.