Skip to content

Commit

Permalink
Fix missing title case of "Annotation for Single Use of Class"
Browse files Browse the repository at this point in the history
  • Loading branch information
henrikt-ma committed Apr 29, 2021
1 parent 1ea218d commit aed0825
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion chapters/annotations.tex
Original file line number Diff line number Diff line change
Expand Up @@ -421,7 +421,8 @@ \subsection{Annotation for Test Cases}\label{annotation-for-test-cases}
This annotation can both be used for models intended as test-cases for implementations, and for models explaining detectable errors.
\end{nonnormative}

\section{Annotation for single use of class}\label{annotation-for-single-use-of-class}

\section{Annotation for Single Use of Class}\label{annotation-for-single-use-of-class}

For state machines it is useful to have single instances of local classes.
This can be done using:
Expand All @@ -432,6 +433,7 @@ \section{Annotation for single use of class}\label{annotation-for-single-use-of-
The annotation \fmtannotationindex{singleInstance} in a class indicates that there should only be one component instance of the class, and it should be in the same scope as the class is defined.
The intent is to remove the class when the component is removed and to prevent duplication of the component.


\section{Annotations for Graphical Objects}\label{annotations-for-graphical-objects}

A graphical representation of a class consists of two abstraction
Expand Down

0 comments on commit aed0825

Please sign in to comment.