Mercurial > libervia-backend
diff sat_frontends/tools/misc.py @ 3715:b9718216a1c0 0.9
merge bookmark 0.9
author | Goffi <goffi@goffi.org> |
---|---|
date | Wed, 01 Dec 2021 16:13:31 +0100 |
parents | 80815f2f12cf |
children | 524856bd7b19 |
line wrap: on
line diff
--- a/sat_frontends/tools/misc.py Tue Nov 30 23:31:09 2021 +0100 +++ b/sat_frontends/tools/misc.py Wed Dec 01 16:13:31 2021 +0100 @@ -76,6 +76,9 @@ self._used_flags.add(flag) return flag in self.flags + def __getitem__(self, flag): + return getattr(self, flag) + def __len__(self): return len(self.flags)