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

Public Member Functions

 __init__ (self, str message="File exists")
str __str__ (self)
Public Member Functions inherited from exceptions.OSError
 __init__ (self, str message="OS error")
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)

Additional Inherited Members

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

Detailed Description

Raised when trying to create a file or directory that already exists

Constructor & Destructor Documentation

◆ __init__()

exceptions.FileExistsError.__init__ ( self,
str message = "File exists" )

Member Function Documentation

◆ __str__()

str exceptions.FileExistsError.__str__ ( self)

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