sflkit 0.2.4__tar.gz → 0.2.5__tar.gz

{sflkit-0.2.4/src/SFLKit.egg-info → sflkit-0.2.5}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: sflkit
-Version: 0.2.4
+Version: 0.2.5
 Summary: SFLKit: : A Workbench for Statistical Fault Localization
 Home-page: https://github.com/uds-se/sflkit
 Author: Marius Smytzek & Andreas Zeller

{sflkit-0.2.4 → sflkit-0.2.5}/pyproject.toml

@@ -7,7 +7,7 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "sflkit"
-version = "0.2.4"
+version = "0.2.5"
 authors = [
     { name = "Marius Smytzek", email = "marius.smytzek@cispa.de" },
 ]

{sflkit-0.2.4 → sflkit-0.2.5/src/SFLKit.egg-info}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: sflkit
-Version: 0.2.4
+Version: 0.2.5
 Summary: SFLKit: : A Workbench for Statistical Fault Localization
 Home-page: https://github.com/uds-se/sflkit
 Author: Marius Smytzek & Andreas Zeller

{sflkit-0.2.4 → sflkit-0.2.5}/src/sflkit/__init__.py

@@ -6,7 +6,7 @@ from sflkit.analysis.predicate import Predicate
 from sflkit.config import Config, parse_config
 from sflkit.instrumentation.dir_instrumentation import DirInstrumentation
 
-__version__ = "0.2.4"
+__version__ = "0.2.5"
 
 
 def instrument_config(conf: Config, event_dump: str = None):

{sflkit-0.2.4 → sflkit-0.2.5}/src/sflkit/analysis/analysis_type.py

@@ -5,6 +5,12 @@ from typing import List, Type
 from sflkit.model.scope import Scope
 
 
+class EvaluationResult(enum.Enum):
+    TRUE = 1
+    FALSE = 0
+    UNOBSERVED = -1
+
+
 class AnalysisType(enum.Enum):
     LINE = 0
     BRANCH = 1
@@ -48,6 +54,7 @@ class AnalysisObject(object):
     # noinspection PyUnusedLocal
     def __init__(self, event):
         self.suspiciousness: float = 0
+        self.last_evaluation: EvaluationResult = EvaluationResult.UNOBSERVED
 
     def __repr__(self):
         return f"{self.analysis_type()}:{self.suspiciousness}"

{sflkit-0.2.4 → sflkit-0.2.5}/src/sflkit/analysis/predicate.py

@@ -5,7 +5,7 @@ from typing import Tuple, Callable, Optional
 from sflkitlib.events import EventType
 from sflkitlib.events.event import BranchEvent, FunctionExitEvent, DefEvent
 
-from sflkit.analysis.analysis_type import AnalysisType
+from sflkit.analysis.analysis_type import AnalysisType, EvaluationResult
 from sflkit.analysis.spectra import Spectrum
 from sflkit.analysis.suggestion import Suggestion, Location
 from sflkit.model import scope
@@ -24,6 +24,17 @@ class Predicate(Spectrum, ABC):
         self.increase_true = 0
         self.increase_false = 0
         self.true_hits = dict()
+        self.last_evaluation = EvaluationResult.UNOBSERVED
+
+    @staticmethod
+    def default_evaluation() -> EvaluationResult:
+        return EvaluationResult.UNOBSERVED
+
+    def get_last_evaluation(self, id_: int) -> EvaluationResult:
+        if id_ not in self.true_hits:
+            return self.default_evaluation()
+        else:
+            return self.last_evaluation
 
     def finalize(self, passed: list, failed: list):
         super().finalize(passed, failed)
@@ -46,6 +57,9 @@ class Predicate(Spectrum, ABC):
             self.true_hits[id_] = 0
         if self._evaluate_predicate(scope_):
             self.true_hits[id_] += 1
+            self.last_evaluation = EvaluationResult.TRUE
+        else:
+            self.last_evaluation = EvaluationResult.FALSE
 
     def get_metric(self, metric: Callable = None):
         if metric is None:
@@ -131,6 +145,9 @@ class Branch(Predicate):
         if event.then_id == self.then_id:
             super(Predicate, self).hit(id_, event, scope_)
             self.true_hits[id_] += 1
+            self.last_evaluation = EvaluationResult.TRUE
+        else:
+            self.last_evaluation = EvaluationResult.FALSE
 
     def get_suggestion(self, metric: Callable = None, base_dir: str = ""):
         if metric == Predicate.IncreaseFalse:
@@ -427,6 +444,9 @@ class Condition(Predicate):
             self.true_hits[id_] = 0
         if event.value:
             self.true_hits[id_] += 1
+            self.last_evaluation = EvaluationResult.TRUE
+        else:
+            self.last_evaluation = EvaluationResult.FALSE
 
     def __str__(self):
         return f"{self.analysis_type()}:{self.file}:{self.line}:{self.condition}"

{sflkit-0.2.4 → sflkit-0.2.5}/src/sflkit/analysis/spectra.py

@@ -14,7 +14,7 @@ from sflkitlib.events.event import (
     UseEvent,
 )
 
-from sflkit.analysis.analysis_type import AnalysisObject, AnalysisType
+from sflkit.analysis.analysis_type import AnalysisObject, AnalysisType, EvaluationResult
 from sflkit.analysis.suggestion import Suggestion, Location
 from sflkit.model.scope import Scope
 
@@ -39,10 +39,21 @@ class Spectrum(AnalysisObject, ABC):
         self.failed_observed = failed_observed
         self.failed_not_observed = failed_not_observed
         self.hits = dict()
+        self.last_evaluation: EvaluationResult = EvaluationResult.FALSE
 
     def __str__(self):
         return f"{self.analysis_type()}:{self.file}:{self.line}"
 
+    @staticmethod
+    def default_evaluation() -> EvaluationResult:
+        return EvaluationResult.FALSE
+
+    def get_last_evaluation(self, id_: int) -> EvaluationResult:
+        if id_ not in self.hits:
+            return self.default_evaluation()
+        else:
+            return self.last_evaluation
+
     def get_metric(self, metric: Callable = None):
         if metric is None:
             metric = Spectrum.Ochiai
@@ -62,6 +73,7 @@ class Spectrum(AnalysisObject, ABC):
         self.suspiciousness = self.get_metric(metric)
 
     def hit(self, id_, event, scope_: Scope = None):
+        self.last_evaluation = True
         if id_ not in self.hits:
             self.hits[id_] = 1
         else: