Module spin_sdk.wit.imports.sqlite

Global variables

var Error

The set of errors which may be raised by functions in this interface

var Value

A single column's result from a database query

Classes

class Connection

A handle to an open sqlite instance

Expand source code
class Connection:
    """
    A handle to an open sqlite instance
    """
    
    @classmethod
    def open(cls, database: str) -> Self:
        """
        Open a connection to a named database instance.
        
        If `database` is "default", the default instance is opened.
        
        `error::no-such-database` will be raised if the `name` is not recognized.
        
        Raises: `spin_sdk.wit.types.Err(spin_sdk.wit.imports.sqlite.Error)`
        """
        raise NotImplementedError
    def execute(self, statement: str, parameters: List[Value]) -> QueryResult:
        """
        Execute a statement returning back data if there is any
        
        Raises: `spin_sdk.wit.types.Err(spin_sdk.wit.imports.sqlite.Error)`
        """
        raise NotImplementedError
    def __enter__(self) -> Self:
        """Returns self"""
        return self
                                
    def __exit__(self, exc_type: type[BaseException] | None, exc_value: BaseException | None, traceback: TracebackType | None) -> bool | None:
        """
        Release this resource.
        """
        raise NotImplementedError

Static methods

def open(database: str) ‑> Self

Open a connection to a named database instance.

If database is "default", the default instance is opened.

error::no-such-database will be raised if the name is not recognized.

Raises: Err(Error)

Methods

def execute(self,
statement: str,
parameters: List[Value_Integer | Value_Real | Value_Text | Value_Blob | Value_Null]) ‑> QueryResult

Execute a statement returning back data if there is any

Raises: Err(Error)

class Error_AccessDenied

Error_AccessDenied()

Expand source code
@dataclass
class Error_AccessDenied:
    pass
class Error_DatabaseFull

Error_DatabaseFull()

Expand source code
@dataclass
class Error_DatabaseFull:
    pass
class Error_InvalidConnection

Error_InvalidConnection()

Expand source code
@dataclass
class Error_InvalidConnection:
    pass
class Error_Io (value: str)

Error_Io(value: str)

Expand source code
@dataclass
class Error_Io:
    value: str

Class variables

var value : str
class Error_NoSuchDatabase

Error_NoSuchDatabase()

Expand source code
@dataclass
class Error_NoSuchDatabase:
    pass
class QueryResult (columns: List[str],
rows: List[RowResult])

A result of a query

Expand source code
@dataclass
class QueryResult:
    """
    A result of a query
    """
    columns: List[str]
    rows: List[RowResult]

Class variables

var columns : List[str]
var rows : List[RowResult]
class RowResult (values: List[Value_Integer | Value_Real | Value_Text | Value_Blob | Value_Null])

A set of values for each of the columns in a query-result

Expand source code
@dataclass
class RowResult:
    """
    A set of values for each of the columns in a query-result
    """
    values: List[Value]

Class variables

var values : List[Value_Integer | Value_Real | Value_Text | Value_Blob | Value_Null]
class Value_Blob (value: bytes)

Value_Blob(value: bytes)

Expand source code
@dataclass
class Value_Blob:
    value: bytes

Class variables

var value : bytes
class Value_Integer (value: int)

Value_Integer(value: int)

Expand source code
@dataclass
class Value_Integer:
    value: int

Class variables

var value : int
class Value_Null

Value_Null()

Expand source code
@dataclass
class Value_Null:
    pass
class Value_Real (value: float)

Value_Real(value: float)

Expand source code
@dataclass
class Value_Real:
    value: float

Class variables

var value : float
class Value_Text (value: str)

Value_Text(value: str)

Expand source code
@dataclass
class Value_Text:
    value: str

Class variables

var value : str