Check channel parameter only for builtins

Ref. #47
AdaCore · Aug 19, 2020 · e114159 · e114159
1 parent bd90b5d
commit e114159
Showing 1 changed file with 8 additions and 8 deletions.
diff --git a/rflx/expression.py b/rflx/expression.py
@@ -1875,14 +1875,14 @@ def __validate_channel(self, declarations: Mapping[ID, Declaration]) -> None:
             a.validate(declarations)
 
     def validate(self, declarations: Mapping[ID, Declaration]) -> None:
-        if len(self.arguments) < 1:
-            fail(
-                f'no channel argument in call to "{self.name}"',
-                Subsystem.SESSION,
-                Severity.ERROR,
-                self.location,
-            )
-        if self.name.name in map(ID, ["Read", "Write", "Call", "Data_Available"]):
+        if self.name in map(ID, ["Read", "Write", "Call", "Data_Available"]):
+            if len(self.arguments) < 1:
+                fail(
+                    f'no channel argument in call to "{self.name}"',
+                    Subsystem.SESSION,
+                    Severity.ERROR,
+                    self.location,
+                )
             self.__validate_channel(declarations)
         else:
             if self.name not in map(ID, ["Append", "Extend"]):