@neralabs/rerail-pack-python 0.1.1

package/rules/ruff-sim210-if-expr-with-true-false.json

@@ -0,0 +1,90 @@
+{
+  "format": "rerail.policy/v1",
+  "id": "ruff-sim210-if-expr-with-true-false",
+  "revision": 1,
+  "mode": "steer",
+  "description": "Port of Ruff's SIM210 (if-expr-with-true-false): a conditional expression whose body is the literal `True` and whose `else` arm is `False` (through any parentheses), reported on the whole expression. Ruff's message and fix differ when the test is a comparison or `bool` is shadowed; what is flagged does not.",
+  "scope": {
+    "include": [
+      "**/*"
+    ],
+    "exclude": []
+  },
+  "clauses": [
+    {
+      "id": "if-expr-with-true-false",
+      "forbid": {
+        "ast": {
+          "language": "python",
+          "utils": {
+            "true": {
+              "any": [
+                {
+                  "kind": "true"
+                },
+                {
+                  "kind": "parenthesized_expression",
+                  "has": {
+                    "stopBy": "neighbor",
+                    "matches": "true"
+                  }
+                }
+              ]
+            },
+            "false": {
+              "any": [
+                {
+                  "kind": "false"
+                },
+                {
+                  "kind": "parenthesized_expression",
+                  "has": {
+                    "stopBy": "neighbor",
+                    "matches": "false"
+                  }
+                }
+              ]
+            }
+          },
+          "rule": {
+            "kind": "conditional_expression",
+            "all": [
+              {
+                "has": {
+                  "stopBy": "neighbor",
+                  "matches": "true",
+                  "precedes": {
+                    "stopBy": "neighbor",
+                    "regex": "^if$"
+                  }
+                }
+              },
+              {
+                "has": {
+                  "stopBy": "neighbor",
+                  "matches": "false",
+                  "follows": {
+                    "stopBy": "neighbor",
+                    "regex": "^else$"
+                  }
+                }
+              }
+            ]
+          }
+        }
+      },
+      "violation": {
+        "anchor": "witness.span",
+        "code": "SIM210",
+        "message": "Use `bool(...)` instead of `True if ... else False`",
+        "suppress": {
+          "noqa": {
+            "codes": [
+              "SIM210"
+            ]
+          }
+        }
+      }
+    }
+  ]
+}

package/rules/ruff-sim211-if-expr-with-false-true.json

@@ -0,0 +1,90 @@
+{
+  "format": "rerail.policy/v1",
+  "id": "ruff-sim211-if-expr-with-false-true",
+  "revision": 1,
+  "mode": "steer",
+  "description": "Port of Ruff's SIM211 (if-expr-with-false-true): a conditional expression whose body is the literal `False` and whose `else` arm is `True` (through any parentheses), reported on the whole expression.",
+  "scope": {
+    "include": [
+      "**/*"
+    ],
+    "exclude": []
+  },
+  "clauses": [
+    {
+      "id": "if-expr-with-false-true",
+      "forbid": {
+        "ast": {
+          "language": "python",
+          "utils": {
+            "true": {
+              "any": [
+                {
+                  "kind": "true"
+                },
+                {
+                  "kind": "parenthesized_expression",
+                  "has": {
+                    "stopBy": "neighbor",
+                    "matches": "true"
+                  }
+                }
+              ]
+            },
+            "false": {
+              "any": [
+                {
+                  "kind": "false"
+                },
+                {
+                  "kind": "parenthesized_expression",
+                  "has": {
+                    "stopBy": "neighbor",
+                    "matches": "false"
+                  }
+                }
+              ]
+            }
+          },
+          "rule": {
+            "kind": "conditional_expression",
+            "all": [
+              {
+                "has": {
+                  "stopBy": "neighbor",
+                  "matches": "false",
+                  "precedes": {
+                    "stopBy": "neighbor",
+                    "regex": "^if$"
+                  }
+                }
+              },
+              {
+                "has": {
+                  "stopBy": "neighbor",
+                  "matches": "true",
+                  "follows": {
+                    "stopBy": "neighbor",
+                    "regex": "^else$"
+                  }
+                }
+              }
+            ]
+          }
+        }
+      },
+      "violation": {
+        "anchor": "witness.span",
+        "code": "SIM211",
+        "message": "Use `not ...` instead of `False if ... else True`",
+        "suppress": {
+          "noqa": {
+            "codes": [
+              "SIM211"
+            ]
+          }
+        }
+      }
+    }
+  ]
+}

package/rules/ruff-sim212-if-expr-with-twisted-arms.json

@@ -0,0 +1,95 @@
+{
+  "format": "rerail.policy/v1",
+  "id": "ruff-sim212-if-expr-with-twisted-arms",
+  "revision": 1,
+  "mode": "steer",
+  "description": "Port of Ruff's SIM212 (if-expr-with-twisted-arms): `B if not A else A` where the negated test operand and the `else` arm are the same plain name (through any parentheses), reported on the whole expression.",
+  "scope": {
+    "include": [
+      "**/*"
+    ],
+    "exclude": []
+  },
+  "clauses": [
+    {
+      "id": "if-expr-with-twisted-arms",
+      "forbid": {
+        "ast": {
+          "language": "python",
+          "utils": {
+            "name-a": {
+              "any": [
+                {
+                  "kind": "identifier",
+                  "pattern": "$A"
+                },
+                {
+                  "kind": "parenthesized_expression",
+                  "has": {
+                    "stopBy": "neighbor",
+                    "matches": "name-a"
+                  }
+                }
+              ]
+            },
+            "negated-name-a": {
+              "any": [
+                {
+                  "kind": "not_operator",
+                  "has": {
+                    "stopBy": "neighbor",
+                    "matches": "name-a"
+                  }
+                },
+                {
+                  "kind": "parenthesized_expression",
+                  "has": {
+                    "stopBy": "neighbor",
+                    "matches": "negated-name-a"
+                  }
+                }
+              ]
+            }
+          },
+          "rule": {
+            "kind": "conditional_expression",
+            "all": [
+              {
+                "has": {
+                  "stopBy": "neighbor",
+                  "matches": "negated-name-a",
+                  "follows": {
+                    "stopBy": "neighbor",
+                    "regex": "^if$"
+                  }
+                }
+              },
+              {
+                "has": {
+                  "stopBy": "neighbor",
+                  "matches": "name-a",
+                  "follows": {
+                    "stopBy": "neighbor",
+                    "regex": "^else$"
+                  }
+                }
+              }
+            ]
+          }
+        }
+      },
+      "violation": {
+        "anchor": "witness.span",
+        "code": "SIM212",
+        "message": "Use `$A if $A else ...` instead of `... if not $A else $A`",
+        "suppress": {
+          "noqa": {
+            "codes": [
+              "SIM212"
+            ]
+          }
+        }
+      }
+    }
+  ]
+}