Define experiment using a record.

chapters/annotations.tex

@@ -383,20 +383,25 @@ \section{Annotations for Simulations}\label{annotations-for-simulations}
 \end{center}
 
 \begin{annotationdefinition}[experiment]
-% henrikt-ma 2021-04: Seems strange to allow 'experiment' completely without list of options -- what would it mean?
 \begin{synopsis}[grammar]\begin{lstlisting}
-"experiment"
- [ "(" [ experimentOption { "," experimentOption } ] ")" ]
-
-experimentOption:
- "StartTime" "=" [ "+" | "-" ] UNSIGNED-NUMBER
- | "StopTime" "=" [ "+" | "-" ] UNSIGNED-NUMBER
- | "Interval" "=" UNSIGNED-NUMBER
- | "Tolerance" "=" UNSIGNED-NUMBER
+annotation "experiment" "(" experimentModifiers ")"
 \end{lstlisting}\end{synopsis}
 \begin{semantics}
-The \lstinline{experiment} annotation defines the default start time (\lstinline!StartTime!) in {[}s{]}, the default stop time (\lstinline!StopTime!) in {[}s{]}, the suitable time resolution for the result grid (\lstinline!Interval!) in {[}s{]}, and the default relative integration tolerance (\lstinline!Tolerance!) for simulation experiments to be carried out with the model or block at hand.
+The modifiers are for the following record.
+\begin{lstlisting}[language=modelica]
+record experiment
+ Real StartTime(unit = "s") = 0;
+ Real StopTime(unit = "s");
+ Real Interval(unit = "s") = $\ldots{}$;
+ Real Tolerance = $\ldots{}$;
+end experiment;
+\end{lstlisting}
+The \lstinline!experiment! annotation defines the start time (\lstinline!StartTime!) in {[}s{]}, the stop time (\lstinline!StopTime!) in {[}s{]}, the suitable time resolution for the result grid (\lstinline!Interval!) in {[}s{]}, and the relative integration tolerance (\lstinline!Tolerance!) for simulation experiments to be carried out with the model or block at hand.
+Tools should use appropriate defaults for \lstinline!Interval! and \lstinline!Tolerance! instead of the $\ldots{}$.
 If \lstinline!StartTime! is not specified it is assumed to be \lstinline!0.0!.
+
+If \lstinline!StopTime! is set the model should be a simulation model.
+Tools can allow users to override these settings without modifying the model.
 \end{semantics}
 \end{annotationdefinition}