Source code for prodigy.analysis.exceptions


[docs]
class ForwardAnalysisError(Exception):
    """Base class for forward analysis-related exceptions."""




[docs]
class ObserveZeroEventError(ForwardAnalysisError):
    """ Observing an event that has zero probablity."""




[docs]
class UnsupportedFeatureError(ForwardAnalysisError):
    """The program uses a language feature that the analysis has no semantics for."""




[docs]
class DistributionParameterError(ForwardAnalysisError):
    """The Parameter of a Distribution does not typematch"""




[docs]
class VerificationError(Exception):
    pass




[docs]
class SolveError(Exception):
    """The solver has encountered any issue."""




[docs]
class HeuristicsError(Exception):
    """ Representing errors occuring in positivity heuristics."""




[docs]
class ConfigurationError(Exception):
    pass