JML

java.sql
Interface Connection


public interface Connection


Class Specifications

Specifications inherited from class Object
represents objectState <- org.jmlspecs.lang.JMLDataGroup.IT;
public represents _getClass <- \typeof(this);

Field Summary
static int TRANSACTION_NONE
           
static int TRANSACTION_READ_COMMITTED
           
static int TRANSACTION_READ_UNCOMMITTED
           
static int TRANSACTION_REPEATABLE_READ
           
static int TRANSACTION_SERIALIZABLE
           
 
Method Summary
 void clearWarnings()
           
 void close()
           
 void commit()
           
 Statement createStatement()
           
 Statement createStatement(int resultSetType, int resultSetConcurrency)
           
 Statement createStatement(int resultSetType, int resultSetConcurrency, int resultSetHoldability)
           
 boolean getAutoCommit()
           
 String getCatalog()
           
 int getHoldability()
           
 DatabaseMetaData getMetaData()
           
 int getTransactionIsolation()
           
 Map getTypeMap()
           
 SQLWarning getWarnings()
           
 boolean isClosed()
           
 boolean isReadOnly()
           
 String nativeSQL(non_null String sql)
           
 CallableStatement prepareCall(non_null String sql)
           
 CallableStatement prepareCall(non_null String sql, int resultSetType, int resultSetConcurrency)
           
 CallableStatement prepareCall(non_null String sql, int resultSetType, int resultSetConcurrency, int resultSetHoldability)
           
 PreparedStatement prepareStatement(non_null String sql)
           
 PreparedStatement prepareStatement(non_null String sql, int autoGeneratedKeys)
           
 PreparedStatement prepareStatement(non_null String sql, int resultSetType, int resultSetConcurrency)
           
 PreparedStatement prepareStatement(non_null String sql, int resultSetType, int resultSetConcurrency, int resultSetHoldability)
           
 PreparedStatement prepareStatement(non_null String sql, non_null int[] columnIndexes)
           
 PreparedStatement prepareStatement(non_null String sql, non_null String[] columnNames)
           
 void releaseSavepoint(non_null Savepoint savepoint)
           
 void rollback()
           
 void rollback(non_null Savepoint savepoint)
           
 void setAutoCommit(boolean autoCommit)
           
 void setCatalog(non_null String catalog)
           
 void setHoldability(int holdability)
           
 void setReadOnly(boolean readOnly)
           
 Savepoint setSavepoint()
           
 Savepoint setSavepoint(non_null String name)
           
 void setTransactionIsolation(int level)
           
 void setTypeMap(non_null Map map)
           
 

Field Detail

TRANSACTION_NONE

public static final int TRANSACTION_NONE

TRANSACTION_READ_COMMITTED

public static final int TRANSACTION_READ_COMMITTED

TRANSACTION_READ_UNCOMMITTED

public static final int TRANSACTION_READ_UNCOMMITTED

TRANSACTION_REPEATABLE_READ

public static final int TRANSACTION_REPEATABLE_READ

TRANSACTION_SERIALIZABLE

public static final int TRANSACTION_SERIALIZABLE
Method Detail

clearWarnings

public void clearWarnings()
                            throws SQLException
Throws:
SQLException

close

public void close()
                    throws SQLException
Throws:
SQLException

commit

public void commit()
                     throws SQLException
Throws:
SQLException

createStatement

public Statement createStatement()
                                   throws SQLException
Throws:
SQLException
Specifications: non_null

createStatement

public Statement createStatement(int resultSetType,
                                 int resultSetConcurrency)
                                   throws SQLException
Throws:
SQLException
Specifications: non_null

createStatement

public Statement createStatement(int resultSetType,
                                 int resultSetConcurrency,
                                 int resultSetHoldability)
                                   throws SQLException
Throws:
SQLException
Specifications: non_null

getAutoCommit

public boolean getAutoCommit()
                               throws SQLException
Throws:
SQLException

getCatalog

public String getCatalog()
                           throws SQLException
Throws:
SQLException
Specifications: non_null

getHoldability

public int getHoldability()
                            throws SQLException
Throws:
SQLException

getMetaData

public DatabaseMetaData getMetaData()
                                      throws SQLException
Throws:
SQLException
Specifications: non_null

getTransactionIsolation

public int getTransactionIsolation()
                                     throws SQLException
Throws:
SQLException

getTypeMap

public Map getTypeMap()
                        throws SQLException
Throws:
SQLException
Specifications: non_null

getWarnings

public SQLWarning getWarnings()
                                throws SQLException
Throws:
SQLException
Specifications: non_null

isClosed

public boolean isClosed()
                          throws SQLException
Throws:
SQLException

isReadOnly

public boolean isReadOnly()
                            throws SQLException
Throws:
SQLException

nativeSQL

public String nativeSQL(non_null String sql)
                          throws SQLException
Throws:
SQLException
Specifications: non_null

prepareCall

public CallableStatement prepareCall(non_null String sql)
                                       throws SQLException
Throws:
SQLException
Specifications: non_null

prepareCall

public CallableStatement prepareCall(non_null String sql,
                                     int resultSetType,
                                     int resultSetConcurrency)
                                       throws SQLException
Throws:
SQLException
Specifications: non_null

prepareCall

public CallableStatement prepareCall(non_null String sql,
                                     int resultSetType,
                                     int resultSetConcurrency,
                                     int resultSetHoldability)
                                       throws SQLException
Throws:
SQLException
Specifications: non_null

prepareStatement

public PreparedStatement prepareStatement(non_null String sql)
                                            throws SQLException
Throws:
SQLException
Specifications: non_null
ensures \result != null;

prepareStatement

public PreparedStatement prepareStatement(non_null String sql,
                                          int autoGeneratedKeys)
                                            throws SQLException
Throws:
SQLException
Specifications: non_null

prepareStatement

public PreparedStatement prepareStatement(non_null String sql,
                                          non_null int[] columnIndexes)
                                            throws SQLException
Throws:
SQLException
Specifications: non_null

prepareStatement

public PreparedStatement prepareStatement(non_null String sql,
                                          int resultSetType,
                                          int resultSetConcurrency)
                                            throws SQLException
Throws:
SQLException
Specifications: non_null

prepareStatement

public PreparedStatement prepareStatement(non_null String sql,
                                          int resultSetType,
                                          int resultSetConcurrency,
                                          int resultSetHoldability)
                                            throws SQLException
Throws:
SQLException
Specifications: non_null

prepareStatement

public PreparedStatement prepareStatement(non_null String sql,
                                          non_null String[] columnNames)
                                            throws SQLException
Throws:
SQLException
Specifications: non_null

releaseSavepoint

public void releaseSavepoint(non_null Savepoint savepoint)
                               throws SQLException
Throws:
SQLException

rollback

public void rollback()
                       throws SQLException
Throws:
SQLException

rollback

public void rollback(non_null Savepoint savepoint)
                       throws SQLException
Throws:
SQLException

setAutoCommit

public void setAutoCommit(boolean autoCommit)
                            throws SQLException
Throws:
SQLException

setCatalog

public void setCatalog(non_null String catalog)
                         throws SQLException
Throws:
SQLException

setHoldability

public void setHoldability(int holdability)
                             throws SQLException
Throws:
SQLException

setReadOnly

public void setReadOnly(boolean readOnly)
                          throws SQLException
Throws:
SQLException

setSavepoint

public Savepoint setSavepoint()
                                throws SQLException
Throws:
SQLException
Specifications: non_null

setSavepoint

public Savepoint setSavepoint(non_null String name)
                                throws SQLException
Throws:
SQLException
Specifications: non_null

setTransactionIsolation

public void setTransactionIsolation(int level)
                                      throws SQLException
Throws:
SQLException

setTypeMap

public void setTypeMap(non_null Map map)
                         throws SQLException
Throws:
SQLException

JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.