From a780d04b2da0d6809d8c77f8ea4c45f8dc8f44c8 Mon Sep 17 00:00:00 2001
From: Jiri Kalvoda <jirikalvoda@kam.mff.cuni.cz>
Date: Fri, 24 Sep 2021 15:53:22 +0200
Subject: [PATCH] Util: star_is_none
---
mo/util.py | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/mo/util.py b/mo/util.py
index 10c2d638..23c96128 100644
--- a/mo/util.py
+++ b/mo/util.py
@@ -268,3 +268,7 @@ def parse_int_list(a: str, maxim: int = 200) -> List[int]:
raise mo.CheckError("Větší číslo nemůže být před menším")
r += [c[0]] if len(c) == 1 else range(c[0], c[1] + 1)
return r
+
+
+def star_is_none(x):
+ return None if x == "*" else x
--
GitLab