Переделана проверки включённости предупреждений (#290)

bmstu-iu9 · Feb 22, 2021 · 57dfc63 · 57dfc63
1 parent da8ae0c
commit 57dfc63
Showing 1 changed file with 15 additions and 8 deletions.
diff --git a/src/compiler/Checker-RepeatedVars.ref b/src/compiler/Checker-RepeatedVars.ref
@@ -1,13 +1,14 @@
 
 $ENTRY CheckRepeatedVars {
- (e._ repeated repeated-maybe e._) (e.AST)
-   = <Prout 'full repeated vars search enabled'>;
- (e._ repeated e._) (e.AST)
-    = <Prout 'repeated vars in assignments only search enabled'>;
- (e._ repeated-maybe e._) (e.AST)
-     = <Prout 'repeated vars in last sentences only search enabled'>;
- (e._) (e.AST) = <Prout 'no matched warningsIds, skipping repeated vars search'>;
- = <Prout 'repeated vars empty args'>
+ (e.WarningIds) (e.AST), <Prout e.WarningIds> :,  <IsBothWarningsEnabled ()e.WarningIds> : True
+  = <Prout 'full repeated vars search enabled'>;
+  (e._ repeated e._) (e.AST)
+  = <Prout 'repeated vars in assignments only search enabled'>;
+  (e._ repeated-maybe e._) (e.AST)
+  = <Prout 'repeated vars in last sentences only search enabled'>;
+  (e._) (e.AST)
+  = <Prout 'no matched warningsIds, skipping repeated vars search'>;
+  = <Prout 'repeated vars empty args'>
 }
 
 CheckRepeatedInLastSentences {
@@ -18,6 +19,12 @@ CheckRepeatedInAssignments {
     = ;
 }
 
+IsBothWarningsEnabled {
+  (e._ repeated e._ repeated-maybe e._) = True;
+  (e._ repeated-maybe e._ repeated e._) = True;
+  e._ = False;
+}
+
 CreateRepeatedVariableWarning {
   repeated t.SrcPos s.Mode e.Index
     = (Warning