Skip to content

Errors

Global error classes.

ContractFormatError

Bases: FileDataFormatError

Incorrect format

Source code in pacti\src\pacti\utils\errors.py 
16
17
class ContractFormatError(FileDataFormatError):
    """Incorrect format"""

FileDataFormatError

Bases: Exception

Incorrect format

Source code in pacti\src\pacti\utils\errors.py 
12
13
class FileDataFormatError(Exception):
    """Incorrect format"""

IncompatibleArgsError

Bases: ValueError

Argument validation errors.

Source code in pacti\src\pacti\utils\errors.py 
8
9
class IncompatibleArgsError(ValueError):
    """Argument validation errors."""

PolyhedralSyntaxConvexException dataclass

Bases: ParseBaseException

Polyhedral Term convexity error

Source code in pacti\src\pacti\utils\errors.py 
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
@dataclasses.dataclass
class PolyhedralSyntaxConvexException(pp.ParseBaseException):
    """Polyhedral Term convexity error"""

    string_input: str
    negative_absolute_terms: List[str]

    def __str__(self) -> str:
        msg = []
        msg.append("pacti.terms.polyhedra.PolyhedralTerm non-convexity error.")
        msg.append(f"Convexity requires that the parsing of '{self.string_input}'")
        msg.append(
            f"yields only positive absolute value terms; but we got {len(self.negative_absolute_terms)} negative."
        )
        for nat in self.negative_absolute_terms:
            msg.append(nat)

        return "\n".join(msg)

    def __repr__(self) -> str:
        return str(self)

PolyhedralSyntaxException dataclass

Bases: ParseBaseException

Polyhedral Term syntax error

Source code in pacti\src\pacti\utils\errors.py 
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
@dataclasses.dataclass
class PolyhedralSyntaxException(pp.ParseBaseException):
    """Polyhedral Term syntax error"""

    parse_exception: pp.ParseBaseException
    string_input: str

    def __str__(self) -> str:
        msg = []
        msg.append("pacti.terms.polyhedra.PolyhedralTerm syntax error.")
        msg.append(self.parse_exception.line)
        msg.append(" " * (self.parse_exception.column - 1) + "^")
        msg.append(format(self.parse_exception))
        return "\n".join(msg)

    def __repr__(self) -> str:
        return str(self)