diff options
Diffstat (limited to 'lint/RULES')
| -rw-r--r-- | lint/RULES | 249 |
1 files changed, 0 insertions, 249 deletions
diff --git a/lint/RULES b/lint/RULES deleted file mode 100644 index fef578a..0000000 --- a/lint/RULES +++ /dev/null @@ -1,249 +0,0 @@ -{ "defaults": - { "doc": - [ "A rule to provide default paths common to all lint targets." - , "" - , "While lint targets bring their own host directory via the" - , "field \"config\", it can still be necessary to bring some" - , "default paths, e.g., for finding the compiler, or the interpreter" - , "for the runner." - ] - , "string_fields": ["PATH"] - , "target_fields": ["base"] - , "field_doc": - { "base": ["Other targets to inherit values from."] - , "PATH": - [ "Paths for looking up system tools." - , "Specifying this field extends values from \"base\"." - ] - } - , "imports": {"base-provides-++": ["CC", "defaults-base-provides-++"]} - , "expression": - { "type": "let*" - , "bindings": - [ [ "PATH" - , { "type": "reverse" - , "$1": - { "type": "nub_right" - , "$1": - { "type": "reverse" - , "$1": - { "type": "++" - , "$1": - [ {"type": "FIELD", "name": "PATH"} - , { "type": "let*" - , "bindings": [["provider", "PATH"]] - , "body": - {"type": "CALL_EXPRESSION", "name": "base-provides-++"} - } - ] - } - } - } - } - ] - ] - , "body": {"type": "RESULT", "provides": {"type": "env", "vars": ["PATH"]}} - } - } -, "targets": - { "doc": - [ "Run a given linter on the lint information provided by the given targets." - ] - , "target_fields": ["linter", "config", "summarizer", "targets"] - , "tainted": ["lint"] - , "field_doc": - { "linter": - [ "Single artifact running the lint checks." - , "" - , "This program is invoked with" - , "- argv[1] the file to lint, and" - , "- argv[2:] the original command line." - , "This invocation happens in an environment with" - , "- CONFIG pointing to the directory with all the artifacts given" - , " by the field \"config\", and" - , "- OUT pointing to a directory to which files with the lint result" - , " can be written." - , "It is supposed to indicate by the exit code whether the file to lint" - , "complies with the given linting policy, with 0 meaning" - , "compliant." - , "Stdout and stderr, as well as the directory ${OUT} can be used to" - , "provide additional information." - ] - , "config": ["Any configuration or other files needed by the linter."] - , "summarizer": - [ "Single artifact generating a summary of the individual lint results." - , "It will be called in a directory where all subdirectories" - , "except . and .. represent the results of the individual lint" - , "actions. Those are given as" - , " - a file \"result\" with content \"PASS\" if and only if the lint" - , " action exited 0," - , " - files \"stdout\" and \"stderr\" with stdout and stderr of the lint" - , " action, and" - , " - a directory \"out\" with the additional information provided by the" - , " lint action." - , "The summarizer is required to indicate the overall result by the exit" - , "code, produce a human-readable summary on stdout, and optionally" - , "additional information in the directory ${OUT}." - ] - , "call_lint": ["Launcher for the linter"] - , "call_summary": ["Launcher for the summarizer"] - } - , "implicit": - { "defaults": ["defaults"] - , "call_lint": ["call_lint"] - , "call_summary": ["call_summary"] - } - , "config_transitions": - {"targets": [{"type": "singleton_map", "key": "LINT", "value": true}]} - , "anonymous": - {"lint": {"target": "targets", "provider": "lint", "rule_map": {}}} - , "imports": - { "stage": ["", "stage_singleton_field"] - , "artifacts": ["", "field_artifacts"] - , "default-PATH": ["CC", "default-PATH"] - } - , "expression": - { "type": "let*" - , "bindings": - [ [ "linter" - , { "type": "let*" - , "bindings": [["fieldname", "linter"], ["location", "linter"]] - , "body": {"type": "CALL_EXPRESSION", "name": "stage"} - } - ] - , [ "runner" - , { "type": "let*" - , "bindings": [["fieldname", "call_lint"], ["location", "runner"]] - , "body": {"type": "CALL_EXPRESSION", "name": "stage"} - } - ] - , [ "config" - , { "type": "let*" - , "bindings": [["fieldname", "config"]] - , "body": {"type": "CALL_EXPRESSION", "name": "artifacts"} - } - ] - , [ "PATH" - , { "type": "join" - , "separator": ":" - , "$1": {"type": "CALL_EXPRESSION", "name": "default-PATH"} - } - ] - , [ "lint results" - , { "type": "foreach" - , "range": {"type": "FIELD", "name": "lint"} - , "body": - { "type": "let*" - , "bindings": - [ [ "src" - , { "type": "DEP_PROVIDES" - , "dep": {"type": "var", "name": "_"} - , "provider": "src" - } - ] - , [ "cmd" - , { "type": "DEP_PROVIDES" - , "dep": {"type": "var", "name": "_"} - , "provider": "cmd" - } - ] - , [ "src input" - , { "type": "DEP_ARTIFACTS" - , "dep": {"type": "var", "name": "_"} - } - ] - ] - , "body": - { "type": "TREE" - , "$1": - { "type": "ACTION" - , "inputs": - { "type": "map_union" - , "$1": - [ {"type": "var", "name": "runner"} - , {"type": "var", "name": "linter"} - , { "type": "to_subdir" - , "subdir": "work" - , "$1": {"type": "var", "name": "src input"} - } - , { "type": "to_subdir" - , "subdir": "config" - , "$1": {"type": "var", "name": "config"} - } - ] - } - , "cmd": - { "type": "++" - , "$1": - [ ["./runner", {"type": "var", "name": "src"}] - , {"type": "var", "name": "cmd"} - ] - } - , "env": {"type": "env", "vars": ["PATH"]} - , "outs": ["stdout", "stderr", "result"] - , "out_dirs": ["out"] - , "may_fail": ["lint"] - , "fail_message": - { "type": "join" - , "$1": ["lint failed for ", {"type": "var", "name": "src"}] - } - } - } - } - } - ] - , [ "lint results" - , {"type": "nub_right", "$1": {"type": "var", "name": "lint results"}} - ] - , [ "summary input" - , {"type": "enumerate", "$1": {"type": "var", "name": "lint results"}} - ] - , [ "summarizer" - , { "type": "let*" - , "bindings": - [["fieldname", "summarizer"], ["location", "summarizer"]] - , "body": {"type": "CALL_EXPRESSION", "name": "stage"} - } - ] - , [ "runner" - , { "type": "let*" - , "bindings": [["fieldname", "call_summary"], ["location", "runner"]] - , "body": {"type": "CALL_EXPRESSION", "name": "stage"} - } - ] - , [ "summary" - , { "type": "ACTION" - , "inputs": - { "type": "map_union" - , "$1": - [ {"type": "var", "name": "runner"} - , {"type": "var", "name": "summarizer"} - , { "type": "to_subdir" - , "subdir": "work" - , "$1": {"type": "var", "name": "summary input"} - } - ] - } - , "cmd": ["./runner"] - , "outs": ["report", "result"] - , "out_dirs": ["out"] - } - ] - ] - , "body": - { "type": "RESULT" - , "artifacts": - { "type": "map_union" - , "$1": - [ {"type": "var", "name": "summary"} - , { "type": "singleton_map" - , "key": "work" - , "value": - {"type": "TREE", "$1": {"type": "var", "name": "summary input"}} - } - ] - } - } - } - } -} |