Pamhyr: Add pamhyr modules flags enum and checker status OR operator.

This commit is contained in:
Pierre-Antoine Rouby committed 2024-03-19 09:18:28 +01:00
1 parent e215e0f14a
commit 51031e7359
9 files changed
+107 -31

No files matched your search

+25 -2
View File
@@ -16,16 +16,39 @@
# -*- coding: utf-8 -*-
from enum import Enum
import logging
from enum import Enum
from Model.Except import NotImplementedMethodeError
logger = logging.getLogger()
class STATUS(Enum):
UNKNOWN = -1
OK = 0
WARNING = 1
ERROR = 2
UNKNOWN = 999
def __eq__(self, y):
return self.value == y.value
def __gt__(self, y):
return self.value > y.value
def __or__(self, y):
v = [self, y]
res = self.OK
if self.UNKNOWN in v:
r = self.UNKNOWN
if self.ERROR in v:
r = self.ERROR
if self.WARNING in v:
r = self.WARNING
logger.debug(f"CHECKER: STATUS: {self} | {y} = {r}")
return r
class AbstractModelChecker(object):