ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
io.StringIO Class Reference

Public Member Functions

None __init__ (self, str initial_value="")
int write (self, str s)
str read (self)
str getvalue (self)

Protected Attributes

str _buf = initial_value
int _pos = 0

Detailed Description

io.StringIO: write() overwrites from the current position, as in
CPython, so StringIO("abc").write("x") leaves "xbc".

Constructor & Destructor Documentation

◆ __init__()

None io.StringIO.__init__ ( self,
str initial_value = "" )

Member Function Documentation

◆ getvalue()

str io.StringIO.getvalue ( self)

◆ read()

str io.StringIO.read ( self)

◆ write()

int io.StringIO.write ( self,
str s )

Member Data Documentation

◆ _buf

str io.StringIO._buf = initial_value
protected

◆ _pos

int io.StringIO._pos = 0
protected

The documentation for this class was generated from the following file:
  • src/python-frontend/models/io.py