JML

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, non_null Array x)
           
 void setAsciiStream(int parameterIndex, non_null InputStream x, int length)
           
 void setBigDecimal(int parameterIndex, non_null BigDecimal x)
           
 void setBinaryStream(int parameterIndex, non_null InputStream x, int length)
           
 void setBlob(int i, non_null Blob x)
           
 void setBoolean(int parameterIndex, boolean x)
           
 void setByte(int parameterIndex, byte x)
           
 void setBytes(int parameterIndex, non_null byte[] x)
           
 void setCharacterStream(int parameterIndex, non_null Reader reader, int length)
           
 void setClob(int i, non_null Clob x)
           
 void setDate(int parameterIndex, non_null Date x)
           
 void setDate(int parameterIndex, non_null Date x, non_null 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, non_null String typeName)
           
 void setObject(int parameterIndex, non_null Object x)
           
 void setObject(int parameterIndex, non_null Object x, int targetSqlType)
           
 void setObject(int parameterIndex, non_null Object x, int targetSqlType, int scale)
           
 void setRef(int i, non_null Ref x)
           
 void setShort(int parameterIndex, short x)
           
 void setString(int parameterIndex, non_null String x)
           
 void setTime(int parameterIndex, non_null Time x)
           
 void setTime(int parameterIndex, non_null Time x, non_null Calendar cal)
           
 void setTimestamp(int parameterIndex, non_null Timestamp x)
           
 void setTimestamp(int parameterIndex, non_null Timestamp x, non_null Calendar cal)
           
 void setUnicodeStream(int parameterIndex, non_null InputStream x, int length)
           
 void setURL(int parameterIndex, non_null 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
ensures \result != 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,
                          non_null BigDecimal x)
                            throws SQLException
Throws:
SQLException

setString

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

setBytes

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

setDate

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

setTime

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

setTimestamp

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

setAsciiStream

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

setUnicodeStream

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

setBinaryStream

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

clearParameters

public void clearParameters()
                              throws SQLException
Throws:
SQLException

setObject

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

setObject

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

setObject

public void setObject(int parameterIndex,
                      non_null 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,
                               non_null Reader reader,
                               int length)
                                 throws SQLException
Throws:
SQLException

setRef

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

setBlob

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

setClob

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

setArray

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

getMetaData

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

setDate

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

setTime

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

setTimestamp

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

setNull

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

setURL

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

getParameterMetaData

public ParameterMetaData getParameterMetaData()
                                                throws SQLException
Throws:
SQLException
Specifications: non_null

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.