Switch syntax checking on and off via specific comments.

Author: jblueh

syntax/check.py

@@ -123,6 +123,7 @@ def check_file(code_file, syntax_file, verbose):
     stack = []
 
     state = State.CODE
+    enabled = True
 
     # parse line by line
     while True:
@@ -132,6 +133,20 @@ def check_file(code_file, syntax_file, verbose):
             break
         line = line.strip()
 
+        # identify comments that enable/disable syntax checking
+        if line.startswith("//"):
+          if line[2:].strip() == "opdi-syntax-on":
+            print_status("enable syntax checking", line_no, line, verbose)
+            enabled = True
+            continue
+          if line[2:].strip() == "opdi-syntax-off":
+            print_status("disable syntax checking", line_no, line, verbose)
+            enabled = False
+            continue
+
+        if not enabled:
+          continue
+
         # eliminate /* */ comments within this line
         begin = line.find("/*")
         while begin != -1 and line.find("*/", begin) != -1: