@@ -7,6 +7,8 @@
8\selectlanguage{english}
8\selectlanguage{english}
10\floatstyle{boxed}
12\floatstyle{boxed}
11\newfloat{Listing}{hbp}{lst}
13\newfloat{Listing}{hbp}{lst}
@@ -16,8 +18,8 @@
17\year{2021}
19\year{2021}
18\title{Static analyzer for the Nix Expression Language}
20\title{Static analyzer for the Nix Expression Language}
19−\author{Студент группы БПИ 174}{И. И. Костюченко}
21+\author{Student, BSE174}{I. I. Kostyuchenko}
20−% \academicTeacher{Доцент департамента программной инженерии факультета компьютерных наук, канд. техн. наук}{Х. М. Салех}
22+\academicTeacher{Associate Professor, PhD}{V. V. Kuliamin}
22% \documentTitle{Техническое задание}
24% \documentTitle{Техническое задание}
23% \documentCode{RU.17701729.04.03-01 ТЗ 01-1}
25% \documentCode{RU.17701729.04.03-01 ТЗ 01-1}
@@ -94,7 +96,7 @@ Atomic types are described in table~\ref{tab:atomicTypes}.
94 URI & A string literal representing a URI. Does not require quoting. & \texttt{https://example.com} \\ \hline
96 URI & A string literal representing a URI. Does not require quoting. & \texttt{https://example.com} \\ \hline
95 Path literal & A path literal referring to either a relative or absolute path. Does not require quoting. & \texttt{../../directory/file.txt} \\ \hline
97 Path literal & A path literal referring to either a relative or absolute path. Does not require quoting. & \texttt{../../directory/file.txt} \\ \hline
96 Integer & The current C implementation of Nix allows values of 64-bit signed integers. & \texttt{69} \newline \texttt{-42} \\ \hline
98 Integer & The current C implementation of Nix allows values of 64-bit signed integers. & \texttt{69} \newline \texttt{-42} \\ \hline
97− Float & Floating point integers. & \texttt{42.9} \newline \texttt{-69.42} \\ \hline
99+ Float & Floating point numbers. & \texttt{42.9} \newline \texttt{-69.42} \\ \hline
98 Bool & Boolean values. & \texttt{true} \newline \texttt{false} \\ \hline
100 Bool & Boolean values. & \texttt{true} \newline \texttt{false} \\ \hline
99 Null & A type with a single value. & \texttt{null} \\ \hline
101 Null & A type with a single value. & \texttt{null} \\ \hline
100 \end{tabular}
102 \end{tabular}