Просмотр исходного кода

SVI Исправления, добавления

SVI 5 месяцев назад
Родитель
Сommit
62d3fd5cc5
4 измененных файлов с 12 добавлено и 11 удалено
  1. 1 0
      .gitignore
  2. 6 6
      docs/prolet-006.md
  3. 1 1
      docs/prolet-009.md
  4. 4 4
      docs/prolet-010.md

+ 1 - 0
.gitignore

@@ -26,3 +26,4 @@ _testmain.go
 
 bin
 .vscode
+docs/draft.md

+ 6 - 6
docs/prolet-006.md

@@ -76,9 +76,9 @@
 ```prolet
 (тип ИФайл
     (Читать (имя @фикс ФайлИмя) -> @фикс Рез.Байты
-      @док "Читает файл с указанным именем")
+      @_док "Читает файл с указанным именем")
     (Писать (имя @фикс ФайлИмя права @фикс Ос.Права) -> @фикс Опт.Ош
-        @док "Записывает файл с указанным именем и правами")
+        @_док "Записывает файл с указанным именем и правами")
 )
 ```
 
@@ -189,7 +189,7 @@
 ```prolet
 (макрос конкурент (тело...)
   (поток (тело))
-  @док "Запускает конкурентно тело выражения")
+  @_док "Запускает конкурентно тело выражения")
 
 (конкурент
   (ЗагрузитьДанные)
@@ -210,9 +210,9 @@
 
 ```prolet
 (фн @система СложитьАдреса (a Сис.Адр b Сис.Адр)
-  @обоснование "оптимизация критического участка"
-  @требует_ревью
-  @уровень_доступа 3
+  @_обоснование "оптимизация критического участка"
+  @_требует_ревью
+  @_уровень_доступа 3
     (Сложить (Сис.Извлечь a)
              (Сис.Извлечь b))
 )

+ 1 - 1
docs/prolet-009.md

@@ -169,7 +169,7 @@ let s: Option<String> = None;
 (фн ПрочитатьФайл @шлюз_вход @возможно () -> @фикс данные)
 
 (ГарантВозможно данные как Пользователь
-    @док "данные обязательны, ошибка конфигурации"
+    @_док "данные обязательны, ошибка конфигурации"
     иначе ((ПользовательИзСтроки данные) -> @фикс пользователь)
 ```
 

+ 4 - 4
docs/prolet-010.md

@@ -225,11 +225,11 @@
 
 ```prolet
 (интерфейс ИХранилище
-    @док "Абстракция работы с хранилищем"
+    @_док "Абстракция работы с хранилищем"
     (ПолучФайл (имя @фикс ИмяФайла) -> @фикс Результат Спис.Байт
-        @док "Читает файл с диска")
+        @_док "Читает файл с диска")
     (ЗаписатьФайл (имя @фикс ИмяФайла данные @фикс Спис.Байт) -> @фикс Результат Логическое
-        @док "Записывает файл на диск")
+        @_док "Записывает файл на диск")
     (ЗакрытьХранилище)
 )
 
@@ -245,7 +245,7 @@
 - Возврат: (Результат Тип) — структура, отражающая результат практики
 - Возвращаемый результат может отсутствовать
 - Все типы в интерфейсе — практические, определённые через (тип ...)
-- @док — не обязателен для каждого метода и интерфейса, но можно потребовать обязательность на уровне проекта
+- @_док — не обязателен для каждого метода и интерфейса, но можно потребовать обязательность на уровне проекта
 - Интерфейс не содержит реализации — только методы с параметрами и возвращаемые значения
 
 ## Онтологическая иерархия типов