Skip to content

Commit

Permalink
Cleanup related to 'loop'
Browse files Browse the repository at this point in the history
  • Loading branch information
henrikt-ma committed Oct 13, 2020
1 parent e8b45c0 commit c41868c
Show file tree
Hide file tree
Showing 3 changed files with 4 additions and 12 deletions.
11 changes: 2 additions & 9 deletions chapters/classes.tex
Expand Up @@ -968,9 +968,7 @@ \section{Balanced Models}\label{balanced-models}
\end{definition}

\begin{nonnormative}
Here, \emph{legal values} must respect final bindings and min/max-restrictions. A tool shall verify the \emph{locally balanced} property for the actual
values of parameters and constants in the simulation model. It is a quality of implementation for a tool to verify this property in general, due to
arrays of (locally) undefined sizes, conditional declarations, for loops etc.
Here, \emph{legal values} must respect final bindings and min/max-restrictions. A tool shall verify the \emph{locally balanced} property for the actual values of parameters and constants in the simulation model. It is a quality of implementation for a tool to verify this property in general, due to arrays of (locally) undefined sizes, conditional declarations, for-loops etc.
\end{nonnormative}

\begin{definition}[Globally balanced]
Expand Down Expand Up @@ -1443,12 +1441,7 @@ \subsection{Enumeration Types}\label{enumeration-types}
\end{lstlisting}
\end{example}

An enumeration type is a simple type and the attributes are defined in
\cref{attributes-of-enumeration-types}. The \lstinline!Boolean! type name or an enumeration type name can
be used to specify the dimension range for a dimension in an array
declaration and to specify the range in a for loop range expression; see
\cref{types-as-iteration-ranges}. An element of an enumeration type can be accessed in
an expression.
An enumeration type is a simple type and the attributes are defined in \cref{attributes-of-enumeration-types}. The \lstinline!Boolean! type name or an enumeration type name can be used to specify the dimension range for a dimension in an array declaration and to specify the range in a for-loop range expression; see \cref{types-as-iteration-ranges}. An element of an enumeration type can be accessed in an expression.

\begin{nonnormative}
Uses of elements of enumeration type in expressions include indexing into an array.
Expand Down
3 changes: 1 addition & 2 deletions chapters/equations.tex
Expand Up @@ -139,8 +139,7 @@ \subsubsection{Explicit Iteration Ranges of For-Equations}\label{explicit-iterat

\subsubsection{Implicit Iteration Ranges of For-Equations}\label{implicit-iteration-ranges-of-for-equations}

The iteration range of a loop variable may sometimes be inferred from
its use as an array index. See \cref{implicit-iteration-ranges} for more information.
The iteration range of a loop-variable may sometimes be inferred from its use as an array index. See \cref{implicit-iteration-ranges} for more information.

\begin{example}
\begin{lstlisting}[language=modelica]
Expand Down
2 changes: 1 addition & 1 deletion chapters/revisions.tex
Expand Up @@ -2049,7 +2049,7 @@ \subsection{Main Changes in Modelica 2.1}\label{main-changes-in-modelica-2-1}
package \lstinline!Connections! with operators \lstinline!Connections.branch!,
\lstinline!Connections.root!, \lstinline!Connections.potentialRoot!, \lstinline!Connections.isRoot!.
\item
Statement \lstinline!break! in the while loop of an algorithm section.
Statement \lstinline!break! in the while-loop of an algorithm section.
\item
Statement \lstinline!return! in a Modelica function.
\item
Expand Down

0 comments on commit c41868c

Please sign in to comment.