Skip to content

Commit

Permalink
Drop redundant part of headings
Browse files Browse the repository at this point in the history
The dropped parts are redundant in view of the heading one level above.
  • Loading branch information
henrikt-ma committed Jan 25, 2022
1 parent a7b2980 commit 5e9ddfe
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions chapters/classes.tex
Expand Up @@ -101,7 +101,7 @@ \section{Component Declarations}\label{component-declarations}
A \firstuse{component} or \firstuse{variable} is an instance (object) generated by a component declaration.
Special kinds of components are scalar, array, and attribute.

\subsection{Syntax of Component Declarations}\label{syntax-of-component-declarations}\label{syntax-and-examples-of-component-declarations}
\subsection{Syntax}\label{component-declaration-syntax}\label{syntax-and-examples-of-component-declarations}

The formal syntax of a component declaration clause is given by the following syntactic rules:
\begin{lstlisting}[language=grammar]
Expand Down Expand Up @@ -157,7 +157,7 @@ \subsection{Syntax of Component Declarations}\label{syntax-of-component-declarat
\end{lstlisting}
\end{nonnormative}

\subsection{Static Semantics of Component Declaration}\label{static-semantics-of-component-declaration}\label{component-declaration-static-semantics}
\subsection{Static Semantics}\label{component-declaration-static-semantics}

If the \lstinline[language=grammar]!type-specifier! of the component declaration denotes a built-in type (\lstinline!RealType!, \lstinline!IntegerType!, etc.), the flattened or instantiated component has the same type.

Expand Down

0 comments on commit 5e9ddfe

Please sign in to comment.