ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
exceptions.ImportError Class Reference
Inheritance diagram for exceptions.ImportError:
[legend]

Public Member Functions

 __init__ (self, str message="Import error", str name="", str path="")
str __str__ (self)
Public Member Functions inherited from exceptions.Exception
 __init__ (self, str message="")
str __str__ (self)
Public Member Functions inherited from exceptions.BaseException
 __init__ (self, str message="")
str __str__ (self)

Static Public Attributes

str name = ""
str path = ""
Static Public Attributes inherited from exceptions.BaseException
str message = ""

Detailed Description

Raised when an import statement fails to find the module

Constructor & Destructor Documentation

◆ __init__()

exceptions.ImportError.__init__ ( self,
str message = "Import error",
str name = "",
str path = "" )

Member Function Documentation

◆ __str__()

str exceptions.ImportError.__str__ ( self)

Member Data Documentation

◆ name

str exceptions.ImportError.name = ""
static

◆ path

str exceptions.ImportError.path = ""
static

The documentation for this class was generated from the following file: