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 PreparedStatement

All Superinterfaces:
Statement
All Known Subinterfaces:
CallableStatement
public interface PreparedStatement
extends Statement

Class Specifications

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

Field Summary
 
Fields inherited from interface java.sql.Statement
CLOSE_ALL_RESULTS, CLOSE_CURRENT_RESULT, EXECUTE_FAILED, KEEP_CURRENT_RESULT, NO_GENERATED_KEYS, RETURN_GENERATED_KEYS, SUCCESS_NO_INFO
 
Method Summary
 void addBatch()
           
 void clearParameters()
           
 boolean execute()
           
 ResultSet executeQuery()
           
 int executeUpdate()
           
 ResultSetMetaData getMetaData()
           
 ParameterMetaData getParameterMetaData()
           
 void setArray(int i, Array x)
           
 void setAsciiStream(int parameterIndex, InputStream x, int length)
           
 void setBigDecimal(int parameterIndex, BigDecimal x)
           
 void setBinaryStream(int parameterIndex, InputStream x, int length)
           
 void setBlob(int i, Blob x)
           
 void setBoolean(int parameterIndex, boolean x)
           
 void setByte(int parameterIndex, byte x)
           
 void setBytes(int parameterIndex, byte[] x)
           
 void setCharacterStream(int parameterIndex, Reader reader, int length)
           
 void setClob(int i, Clob x)
           
 void setDate(int parameterIndex, Date x)
           
 void setDate(int parameterIndex, Date x, Calendar cal)
           
 void setDouble(int parameterIndex, double x)
           
 void setFloat(int parameterIndex, float x)
           
 void setInt(int parameterIndex, int x)
           
 void setLong(int parameterIndex, long x)
           
 void setNull(int parameterIndex, int sqlType)
           
 void setNull(int paramIndex, int sqlType, String typeName)
           
 void setObject(int parameterIndex, Object x)
           
 void setObject(int parameterIndex, Object x, int targetSqlType)
           
 void setObject(int parameterIndex, Object x, int targetSqlType, int scale)
           
 void setRef(int i, Ref x)
           
 void setShort(int parameterIndex, short x)
           
 void setString(int parameterIndex, String x)
           
 void setTime(int parameterIndex, Time x)
           
 void setTime(int parameterIndex, Time x, Calendar cal)
           
 void setTimestamp(int parameterIndex, Timestamp x)
           
 void setTimestamp(int parameterIndex, Timestamp x, Calendar cal)
           
 void setUnicodeStream(int parameterIndex, InputStream x, int length)
           
 void setURL(int parameterIndex, URL x)
           
 
Methods inherited from interface java.sql.Statement
addBatch, cancel, clearBatch, clearWarnings, close, execute, execute, execute, execute, executeBatch, executeQuery, executeUpdate, executeUpdate, executeUpdate, executeUpdate, getConnection, getFetchDirection, getFetchSize, getGeneratedKeys, getMaxFieldSize, getMaxRows, getMoreResults, getMoreResults, getQueryTimeout, getResultSet, getResultSetConcurrency, getResultSetHoldability, getResultSetType, getUpdateCount, getWarnings, setCursorName, setEscapeProcessing, setFetchDirection, setFetchSize, setMaxFieldSize, setMaxRows, setQueryTimeout
 

Method Detail

executeQuery

public ResultSet executeQuery()
                                throws SQLException
Throws:
SQLException
Specifications: non_null

executeUpdate

public int executeUpdate()
                           throws SQLException
Throws:
SQLException

setNull

public void setNull(int parameterIndex,
                    int sqlType)
                      throws SQLException
Throws:
SQLException

setBoolean

public void setBoolean(int parameterIndex,
                       boolean x)
                         throws SQLException
Throws:
SQLException

setByte

public void setByte(int parameterIndex,
                    byte x)
                      throws SQLException
Throws:
SQLException

setShort

public void setShort(int parameterIndex,
                     short x)
                       throws SQLException
Throws:
SQLException

setInt

public void setInt(int parameterIndex,
                   int x)
                     throws SQLException
Throws:
SQLException

setLong

public void setLong(int parameterIndex,
                    long x)
                      throws SQLException
Throws:
SQLException

setFloat

public void setFloat(int parameterIndex,
                     float x)
                       throws SQLException
Throws:
SQLException

setDouble

public void setDouble(int parameterIndex,
                      double x)
                        throws SQLException
Throws:
SQLException

setBigDecimal

public void setBigDecimal(int parameterIndex,
                          BigDecimal x)
                            throws SQLException
Throws:
SQLException

setString

public void setString(int parameterIndex,
                      String x)
                        throws SQLException
Throws:
SQLException

setBytes

public void setBytes(int parameterIndex,
                     byte[] x)
                       throws SQLException
Throws:
SQLException

setDate

public void setDate(int parameterIndex,
                    Date x)
                      throws SQLException
Throws:
SQLException

setTime

public void setTime(int parameterIndex,
                    Time x)
                      throws SQLException
Throws:
SQLException

setTimestamp

public void setTimestamp(int parameterIndex,
                         Timestamp x)
                           throws SQLException
Throws:
SQLException

setAsciiStream

public void setAsciiStream(int parameterIndex,
                           InputStream x,
                           int length)
                             throws SQLException
Throws:
SQLException

setUnicodeStream

public void setUnicodeStream(int parameterIndex,
                             InputStream x,
                             int length)
                               throws SQLException
Throws:
SQLException

setBinaryStream

public void setBinaryStream(int parameterIndex,
                            InputStream x,
                            int length)
                              throws SQLException
Throws:
SQLException

clearParameters

public void clearParameters()
                              throws SQLException
Throws:
SQLException

setObject

public void setObject(int parameterIndex,
                      Object x,
                      int targetSqlType,
                      int scale)
                        throws SQLException
Throws:
SQLException

setObject

public void setObject(int parameterIndex,
                      Object x,
                      int targetSqlType)
                        throws SQLException
Throws:
SQLException

setObject

public void setObject(int parameterIndex,
                      Object x)
                        throws SQLException
Throws:
SQLException

execute

public boolean execute()
                         throws SQLException
Throws:
SQLException

addBatch

public void addBatch()
                       throws SQLException
Throws:
SQLException

setCharacterStream

public void setCharacterStream(int parameterIndex,
                               Reader reader,
                               int length)
                                 throws SQLException
Throws:
SQLException

setRef

public void setRef(int i,
                   Ref x)
                     throws SQLException
Throws:
SQLException

setBlob

public void setBlob(int i,
                    Blob x)
                      throws SQLException
Throws:
SQLException

setClob

public void setClob(int i,
                    Clob x)
                      throws SQLException
Throws:
SQLException

setArray

public void setArray(int i,
                     Array x)
                       throws SQLException
Throws:
SQLException

getMetaData

public ResultSetMetaData getMetaData()
                                       throws SQLException
Throws:
SQLException
Specifications: nullable

setDate

public void setDate(int parameterIndex,
                    Date x,
                    Calendar cal)
                      throws SQLException
Throws:
SQLException

setTime

public void setTime(int parameterIndex,
                    Time x,
                    Calendar cal)
                      throws SQLException
Throws:
SQLException

setTimestamp

public void setTimestamp(int parameterIndex,
                         Timestamp x,
                         Calendar cal)
                           throws SQLException
Throws:
SQLException

setNull

public void setNull(int paramIndex,
                    int sqlType,
                    String typeName)
                      throws SQLException
Throws:
SQLException

setURL

public void setURL(int parameterIndex,
                   URL x)
                     throws SQLException
Throws:
SQLException

getParameterMetaData

public ParameterMetaData getParameterMetaData()
                                                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.