ИерхОшибок.txt

A list of errors & explanation templates
https://docs.google.com  !  /spreadsheets/d/1ex2ZoqpyhaHF8JWvUnW4IwE6azig8P9LFY8aWwHQr-s/edit#gid=0


2
Begin_then_end (act a)
+1   ActStartsAfterItsEnd / ActEndsWithoutStart (act a, act b)
+2   ActEndsDifferent = CorrespondingEndMismatched (act a, act b) Открылся один акт, а закрылся другой


3
IS_containment (act a_i, IS act a)
+  WrongContext:
+1    MisplacedAfter
+2    MisplacedBefore - вне объемлющего акта, ДО
3    MisplacedBeforeAndAfter ?
(+)4    MisplacedWithout === WrongContext после фильтрации подклассами
+5    MisplacedDeeper
+6   OneLevelShallower


1
SeqA_contains_B (Sequence A, statement B)
+1    MissingAct (act b, Sequence A)
            Пропущен акт
+2    ExtraAct (act b, Sequence A)
            Лишний акт
+3    DuplicateOfAct (act b, Sequence A)
            Дубликат акта


4
LinearOrder (Sequence A)
1    ActsPairMisorder (act a, act b, Sequence A)
            Нарушен порядок следования
+2  TooEarlyInSequence
            should_be_after [acts]


5 (5.1)
Alternative
+1    AllFalseNoElse (Alternative act a)  (при наличии ветки ИНАЧЕ ни одна ветка не выполнилась до конца развилки)
+2    NoFirstCondition (Alternative act a)  (началась ветка или другое условие вместо первого условия)
+3    NoNextCondition (a, condition act c)	(после ложного условия началось не следующее условие)
+     WrongBranch (=> BranchOfLaterCondition):
+4      AnotherExtraBranch (a, branch B)	(Лишняя вторая ветка после завершения первой)
+5      BranchOfFalseCondition (a, branch act b, condition act c)	(Начало ветки при ложном условии - сразу после ложного условия)
+6      NoBranchWhenConditionIsTrue (a, branch B, condition act c)	(Нет нужной ветки при истинном условии)
7    NextConditionAfterTrueCondition (a, condition act c_true, condition act c_extra)  // выполнилось условие после предыдущего истинного
8    LastFalseNoEnd (a, condition act c)	(Развилка не закончилась, когда все условия ложны)
9    DuplicateOfCondition  (a, condition act с1, condition act c2)	(Повтор условия в рамках акта развилки)
10   ConditionsMisorder    (a, condition act с1, condition act c2)
11   BranchBeforeCondition (a, branch act b, condition act c)
+12   ConditionAfterBranch (a, branch act b, condition act c)


Вопросы, проверяющие знание базовых концептов:

    NoBranchWhenConditionIsTrue:
        - ConditionIsTrue - ?
        - Branch - ?
        - Condition - ?
        - Alternative - ?

    MisplacedBefore - вне объемлющего акта, ДО:
        - В каком акте непосредственно содержится проблемный акт?
        - Где начинается непосредственно содержащий акт?


22
ConditionalLoop (Loop act L)    # Общие правила для циклов с Условием (For, ForEach, While и Do)
  Допустимые действия на уровне цикла:
    {
        Condition
        Iteration
    }

1   NoCondition (L) (условие не проверяется ни разу; ни одного условия перед окончанием цикла)
+2  NoIterationAfterSuccessfulCondition    (L, condition act c)    (при истинном условии продолжения нет итерации; нет итерации после истинного условия)
3   MissingIterationBetweenLoopConditions   (L, condition act с1, condition act c2) (дубликат условия; пропуск итерации между условиями)
4   NoConditionBetweenIterations   (L, iteration i1, i2)   (дубликат итерации; пропуск условия между итерациями)
5   [no-break] NoConditionAfterIteration   (L, iteration i)  (нет условия после итерации - есть что-то другое)
+6  NoLoopEndAfterFailedCondition  (L, condition act c, extra act e) (после завершающей проверки условия цикл не заканчивается - есть что-то другое)
+7  IterationAfterFailedCondition (L, condition act c, extra iteration act e) () <|--- NoLoopEndAfterFailedCondition

6 (6.1) (+ ConditionalLoop)
WhileLoop (WhileLoop act L)
-1    MissingConditionBeforeWhileIteration (L, iteration i)  (пропущено первое условие While, но итерация уже началась)


7 (7.1) (+ ConditionalLoop)
Do_Loop (DoLoop act L)
-1    NoIterationsInDoLoop (L)  (нет ни одной итерации в цикле Do-While перед окончанием цикла)
-2    MissingDoIterationBeforeCondition (L, condition act c)  (пропущена первая итерация Do-While - есть что-то другое)


8 (8.1) (+ ConditionalLoop)
For_Loop (ForLoop act L)
  Допустимые действия на уровне цикла:
    Init
    {
        Condition
        Iteration
        Update/ForUpdate
    }

-1  MissingInitActInForLoop (L)  (пропущена инициализация цикла For - есть что-то другое)
-2  DuplicatesOfForInit (L, for_init act init)  (несколько актов инициализации цикла For в пределах одного выполнения цикла)
-2   MissingConditionAfterForInit (L, i) === NoCondition (L) (цикл не начинается после Init; ни одной проверки условия - после Init есть что-то отличное от условия)

 -- 4,5 - проверки в конце цикла
-4   MissingForUpdateAfterIteration (L, iteration i)  (пропущен переход цикла For после итерации)
-5  MissingConditionAfterForUpdate  (L, for_update act u)  (пропущена проверка условия после перехода цикла For; нет условия после перехода)

 -- 6,7,8 - в дополнение к 4,5 (для обработки ошибок цикличности "в толще" итераций)
6   Missing ForUpdate Between Iteration and Condition (L, iteration i, condition act c)  (подряд итерация и условие)
7   Missing Iteration Between Condition and ForUpdate (L, condition act c, update act u)  (подряд условие и переход)
8   Missing Condition Between ForUpdate and Iteration (L, update act u, iteration i)  (подряд переход и итерация)


9 (9.1) (+ ConditionalLoop)
Foreach_Loop (Foreach_Loop act L)
  Допустимые действия на уровне цикла:
    IsEmptyCheck (FirstExists/NotEmptyCondition)
    Init/ForeachInit (FetchFirstElement)
    {
        Iteration
        Condition (NextExists)
        Update/ForeachUpdate  (FetchNextElement)
    }

1   MissingIsEmptyCheckInForeach === NoCondition (L)  (нет ни одной проверки на пустоту коллекции до окончания цикла)
2   DuplicateOfIsEmptyCheckInForeach (L, check c1, c2)  (дубликат проверки на пустоту коллекции)
3   ExtraActsBetweenFalseIsNotEmptyCheckAndForeachEnd   (L, check act c, extra act e)  (после завершающей проверки на пустоту коллекции цикл не заканчивается)
4   MissingForeachInitIfNotEmpty (L) (Init не начинается после IsEmptyCheck; пропущена инициализация цикла Foreach)
5   DuplicateOfForeachInit (L, init i1, i2)  (дубликат инициализации Foreach)
6   MissingIsEmptyCheckBeforeForeachInit (L, init i) (пропущен IsEmptyCheck)
7   MissingIterationAfterForeachInit (L, i) (итерация не начинается после Init; при непустой коллекции нет первой итерации)

 -- 8,9 - проверки в конце цикла
8   MissingForeachUpdateAfterTrueCondition (L, c)
9   MissingIterationAfterForeachUpdate (L, u)

 -- 10,11,12 - обработка ошибок цикличности "в толще" итераций
10  Missing ForeachUpdate Between Iteration and Condition (L, iteration i, condition act c)
11  Missing Iteration Between Condition and ForeachUpdate (L, condition act c, update act u)
12  Missing Condition Between ForeachUpdate and Iteration (L, update act u, iteration i)





17 (17.1)
Switch (Switch act s)
1   AllFalseNoDefault   (s)
2   DuplicatesOfSwitchBranch    (s, branch act b)
3   SwitchBranchWithNoTrueConditions    (s, branch act b)
4   NoSwitchBranchWhenTrueConditionExists   (s, condition act c)
5   DefaultBranchWhenTrueConditionExists    (s, branch act b, condition act c)



***********************
***********************


Loop
 |
 +- UnconditionalLoop
 |   |
 |   +- NTimesLoop
 |   +- InfiniteLoop
 |
 +- ConditionalLoop
     |
     +- cond_then_body
     +- body_then_cond
     +- start_with_cond
     +- start_with_body
     +- start_with_init
     |
     +- (LoopWithoutUpdate - skip)
     |   |
     |   +- PreconditionalLoop
     |   |   |
     |   |   +- WhileLoop
     |   |
     |   +- PostconditionalLoop
     |       |
     |       +- DoWhileLoop
     |
     +- LoopWithPreUpdate
     |   |
     |   +- ForeachLoop
     |
     +- LoopWithPostUpdate
         |
         +- ForLoop


WhileLoop is subclass of:
    - PreconditionalLoop
    - start_with_cond
    - cond_then_body
    - body_then_cond

DoWhileLoop is subclass of:
    - PostconditionalLoop
    - start_with_body
    - cond_then_body
    - body_then_cond

ForeachLoop is subclass of:
    - LoopWithPreUpdate
    - start_with_cond
    - body_then_cond

ForLoop is subclass of:
    - LoopWithPostUpdate
    - cond_then_body


UnconditionalLoop is subclass of:
    - Loop
    - start_with_body



***********************

Ошибки в циклах:

Loop (-> false)
    NoLoopEndAfterFailedCondition
      +- IterationAfterFailedCondition
    LoopEndsWithoutCondition

start_with_cond
    LoopStartIsNotCondition

start_with_body
    LoopStartIsNotIteration

cond_then_body (-> true)
    NoIterationAfterSuccessfulCondition

body_then_cond
    NoConditionAfterIteration
      +- NoConditionBetweenIterations


ForLoop
    LoopStartsNotWithInit
    InitNotAtLoopStart

    NoConditionAfterForInit
      +- IterationAfterForInit

    NoUpdateAfterIteration
    UpdateNotAfterIteration

    NoConditionAfterForUpdate
      +- ForConditionAfterIteration

ForeachLoop
    NoForeachUpdateAfterSuccessfulCondition
    ForeachUpdateNotAfterSuccessfulCondition

    NoIterationAfterForeachUpdate
    IterationNotAfterForeachUpdate





Ситуации, где ошибка может возникнуть из-за незнания наших соглашений о строении структур:

Начало составной структуры:
 +- Начало следования с первого действия вместо "{" - ветка развилки, тело цикла/функции
 +- Начало развилки/цикла с условия вместо начала самой структуры - ветка развилки, тело цикла/функции
 +- Начало цикла DO с итерации вместо начала самой структуры

Конец составной структуры:
 +- Пропущен конец структуры - "}"