Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
JML
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

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(String sql)
           
 CallableStatement prepareCall(String sql)
           
 CallableStatement prepareCall(String sql, int resultSetType, int resultSetConcurrency)
           
 CallableStatement prepareCall(String sql, int resultSetType, int resultSetConcurrency, int resultSetHoldability)
           
 PreparedStatement prepareStatement(String sql)
           
 PreparedStatement prepareStatement(String sql, int autoGeneratedKeys)
           
 PreparedStatement prepareStatement(String sql, int resultSetType, int resultSetConcurrency)
           
 PreparedStatement prepareStatement(String sql, int resultSetType, int resultSetConcurrency, int resultSetHoldability)
           
 PreparedStatement prepareStatement(String sql, int[] columnIndexes)
           
 PreparedStatement prepareStatement(String sql, String[] columnNames)
           
 void releaseSavepoint(Savepoint savepoint)
           
 void rollback()
           
 void rollback(Savepoint savepoint)
           
 void setAutoCommit(boolean autoCommit)
           
 void setCatalog(String catalog)
           
 void setHoldability(int holdability)
           
 void setReadOnly(boolean readOnly)
           
 Savepoint setSavepoint()
           
 Savepoint setSavepoint(String name)
           
 void setTransactionIsolation(int level)
           
 void setTypeMap(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

createStatement

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

createStatement

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

getAutoCommit

public boolean getAutoCommit()
                               throws SQLException
Throws:
SQLException

getCatalog

public String getCatalog()
                           throws SQLException
Throws:
SQLException

getHoldability

public int getHoldability()
                            throws SQLException
Throws:
SQLException

getMetaData

public DatabaseMetaData getMetaData()
                                      throws SQLException
Throws:
SQLException

getTransactionIsolation

public int getTransactionIsolation()
                                     throws SQLException
Throws:
SQLException

getTypeMap

public Map getTypeMap()
                        throws SQLException
Throws:
SQLException

getWarnings

public SQLWarning getWarnings()
                                throws SQLException
Throws:
SQLException

isClosed

public boolean isClosed()
                          throws SQLException
Throws:
SQLException

isReadOnly

public boolean isReadOnly()
                            throws SQLException
Throws:
SQLException

nativeSQL

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

prepareCall

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

prepareCall

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

prepareCall

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

prepareStatement

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

prepareStatement

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

prepareStatement

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

prepareStatement

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

prepareStatement

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

prepareStatement

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

releaseSavepoint

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

rollback

public void rollback()
                       throws SQLException
Throws:
SQLException

rollback

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

setAutoCommit

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

setCatalog

public void setCatalog(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

setSavepoint

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

setTransactionIsolation

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

setTypeMap

public void setTypeMap(Map map)
                         throws SQLException
Throws:
SQLException
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
JML
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD
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.