Skip to content

Commit

Permalink
Say 'component of record' instead of 'record member'
Browse files Browse the repository at this point in the history
This seems more in line with existing language usage.
  • Loading branch information
henrikt-ma committed May 10, 2021
1 parent bb7bbad commit 6073b8c
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions chapters/operatorsandexpressions.tex
Expand Up @@ -1522,14 +1522,14 @@ \subsection{Discrete-Time Expressions}\label{discrete-time-expressions}
Hence, if the base type is not \lstinline!Real!, all elements of the array are discrete-valued, allowing the argument above for a scalar equation to be applied elementwise to the array equation.
That is, all array elements on both sides of the array equation will have discrete-time variability, showing that also the entire arrays \lstinline!expr1! and \lstinline!expr2! are discrete-time expressions.

For a record equation, the record members have independent types, and the equation is seen as a collection of equations for the individual record members.
In order to support records with members of mixed variability, a record equation with sides given by either record variables or record constructors is conceptually split before variability is determined.
For a record equation, the components of the record have independent types, and the equation is seen as a collection of equations for the individual components of the record.
In order to support records with components of mixed variability, a record equation with sides given by either record variables or record constructors is conceptually split before variability is determined.
\end{nonnormative}

\begin{example}
Discrete-valued equation variability rule applied to record equations.
In the first of the equations below, having a record constructor on both sides of the equation, the equation is conceptually split, and variabilities of \lstinline!time! and \lstinline!true! are considered separately.
In the second equation, the \lstinline!makeR! function call -- regardless of inlining -- means that the equation cannot be conceptually split into individual record members.
In the second equation, the \lstinline!makeR! function call -- regardless of inlining -- means that the equation cannot be conceptually split into individual components of the record.
The variability of the \lstinline!makeR! call is continuous-time due to the \lstinline!time! argument, which also becomes the variability of the \lstinline!b! member of the call.
\begin{lstlisting}[language=modelica]
record R
Expand Down

0 comments on commit 6073b8c

Please sign in to comment.