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 ResultSet

public interface ResultSet

Class Specifications

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

Field Summary
static int CLOSE_CURSORS_AT_COMMIT
           
static int CONCUR_READ_ONLY
           
static int CONCUR_UPDATABLE
           
static int FETCH_FORWARD
           
static int FETCH_REVERSE
           
static int FETCH_UNKNOWN
           
static int HOLD_CURSORS_OVER_COMMIT
           
static int TYPE_FORWARD_ONLY
           
static int TYPE_SCROLL_INSENSITIVE
           
static int TYPE_SCROLL_SENSITIVE
           
 
Method Summary
 boolean absolute(int row)
           
 void afterLast()
           
 void beforeFirst()
           
 void cancelRowUpdates()
           
 void clearWarnings()
           
 void close()
           
 void deleteRow()
           
 int findColumn(String columnName)
           
 boolean first()
           
 Array getArray(int i)
           
 Array getArray(String colName)
           
 InputStream getAsciiStream(int columnIndex)
           
 InputStream getAsciiStream(String columnName)
           
 BigDecimal getBigDecimal(int columnIndex)
           
 BigDecimal getBigDecimal(int columnIndex, int scale)
           
 BigDecimal getBigDecimal(String columnName)
           
 BigDecimal getBigDecimal(String columnName, int scale)
           
 InputStream getBinaryStream(int columnIndex)
           
 InputStream getBinaryStream(String columnName)
           
 Blob getBlob(int i)
           
 Blob getBlob(String colName)
           
 boolean getBoolean(int columnIndex)
           
 boolean getBoolean(String columnName)
           
 byte getByte(int columnIndex)
           
 byte getByte(String columnName)
           
 byte[] getBytes(int columnIndex)
           
 byte[] getBytes(String columnName)
           
 Reader getCharacterStream(int columnIndex)
           
 Reader getCharacterStream(String columnName)
           
 Clob getClob(int i)
           
 Clob getClob(String colName)
           
 int getConcurrency()
           
 String getCursorName()
           
 Date getDate(int columnIndex)
           
 Date getDate(int columnIndex, Calendar cal)
           
 Date getDate(String columnName)
           
 Date getDate(String columnName, Calendar cal)
           
 double getDouble(int columnIndex)
           
 double getDouble(String columnName)
           
 int getFetchDirection()
           
 int getFetchSize()
           
 float getFloat(int columnIndex)
           
 float getFloat(String columnName)
           
 int getInt(int columnIndex)
           
 int getInt(String columnName)
           
 long getLong(int columnIndex)
           
 long getLong(String columnName)
           
 ResultSetMetaData getMetaData()
           
 Object getObject(int columnIndex)
           
 Object getObject(int i, Map map)
           
 Object getObject(String columnName)
          Can return null if value of entry is an SQL null.
 Object getObject(String colName, Map map)
           
 Ref getRef(int i)
           
 Ref getRef(String colName)
           
 int getRow()
           
 short getShort(int columnIndex)
           
 short getShort(String columnName)
           
 Statement getStatement()
           
 String getString(int columnIndex)
           
 String getString(String columnName)
           
 Time getTime(int columnIndex)
           
 Time getTime(int columnIndex, Calendar cal)
           
 Time getTime(String columnName)
           
 Time getTime(String columnName, Calendar cal)
           
 Timestamp getTimestamp(int columnIndex)
           
 Timestamp getTimestamp(int columnIndex, Calendar cal)
           
 Timestamp getTimestamp(String columnName)
           
 Timestamp getTimestamp(String columnName, Calendar cal)
           
 int getType()
           
 InputStream getUnicodeStream(int columnIndex)
           
 InputStream getUnicodeStream(String columnName)
           
 URL getURL(int columnIndex)
           
 URL getURL(String columnName)
           
 SQLWarning getWarnings()
           
 void insertRow()
           
 boolean isAfterLast()
           
 boolean isBeforeFirst()
           
 boolean isFirst()
           
 boolean isLast()
           
 boolean last()
           
 void moveToCurrentRow()
           
 void moveToInsertRow()
           
 boolean next()
           
 boolean previous()
           
 void refreshRow()
           
 boolean relative(int rows)
           
 boolean rowDeleted()
           
 boolean rowInserted()
           
 boolean rowUpdated()
           
 void setFetchDirection(int direction)
           
 void setFetchSize(int rows)
           
 void updateArray(int columnIndex, Array x)
           
 void updateArray(String columnName, Array x)
           
 void updateAsciiStream(int columnIndex, InputStream x, int length)
           
 void updateAsciiStream(String columnName, InputStream x, int length)
           
 void updateBigDecimal(int columnIndex, BigDecimal x)
           
 void updateBigDecimal(String columnName, BigDecimal x)
           
 void updateBinaryStream(int columnIndex, InputStream x, int length)
           
 void updateBinaryStream(String columnName, InputStream x, int length)
           
 void updateBlob(int columnIndex, Blob x)
           
 void updateBlob(String columnName, Blob x)
           
 void updateBoolean(int columnIndex, boolean x)
           
 void updateBoolean(String columnName, boolean x)
           
 void updateByte(int columnIndex, byte x)
           
 void updateByte(String columnName, byte x)
           
 void updateBytes(int columnIndex, byte[] x)
           
 void updateBytes(String columnName, byte[] x)
           
 void updateCharacterStream(int columnIndex, Reader x, int length)
           
 void updateCharacterStream(String columnName, Reader reader, int length)
           
 void updateClob(int columnIndex, Clob x)
           
 void updateClob(String columnName, Clob x)
           
 void updateDate(int columnIndex, Date x)
           
 void updateDate(String columnName, Date x)
           
 void updateDouble(int columnIndex, double x)
           
 void updateDouble(String columnName, double x)
           
 void updateFloat(int columnIndex, float x)
           
 void updateFloat(String columnName, float x)
           
 void updateInt(int columnIndex, int x)
           
 void updateInt(String columnName, int x)
           
 void updateLong(int columnIndex, long x)
           
 void updateLong(String columnName, long x)
           
 void updateNull(int columnIndex)
           
 void updateNull(String columnName)
           
 void updateObject(int columnIndex, Object x)
           
 void updateObject(int columnIndex, Object x, int scale)
           
 void updateObject(String columnName, Object x)
           
 void updateObject(String columnName, Object x, int scale)
           
 void updateRef(int columnIndex, Ref x)
           
 void updateRef(String columnName, Ref x)
           
 void updateRow()
           
 void updateShort(int columnIndex, short x)
           
 void updateShort(String columnName, short x)
           
 void updateString(int columnIndex, String x)
           
 void updateString(String columnName, String x)
           
 void updateTime(int columnIndex, Time x)
           
 void updateTime(String columnName, Time x)
           
 void updateTimestamp(int columnIndex, Timestamp x)
           
 void updateTimestamp(String columnName, Timestamp x)
           
 boolean wasNull()
           
 

Field Detail

FETCH_FORWARD

public static final int FETCH_FORWARD

FETCH_REVERSE

public static final int FETCH_REVERSE

FETCH_UNKNOWN

public static final int FETCH_UNKNOWN

TYPE_FORWARD_ONLY

public static final int TYPE_FORWARD_ONLY

TYPE_SCROLL_INSENSITIVE

public static final int TYPE_SCROLL_INSENSITIVE

TYPE_SCROLL_SENSITIVE

public static final int TYPE_SCROLL_SENSITIVE

CONCUR_READ_ONLY

public static final int CONCUR_READ_ONLY

CONCUR_UPDATABLE

public static final int CONCUR_UPDATABLE

HOLD_CURSORS_OVER_COMMIT

public static final int HOLD_CURSORS_OVER_COMMIT

CLOSE_CURSORS_AT_COMMIT

public static final int CLOSE_CURSORS_AT_COMMIT
Method Detail

next

public boolean next()
                      throws SQLException
Throws:
SQLException

close

public void close()
                    throws SQLException
Throws:
SQLException

wasNull

public boolean wasNull()
                         throws SQLException
Throws:
SQLException

getString

public String getString(int columnIndex)
                          throws SQLException
Throws:
SQLException

getBoolean

public boolean getBoolean(int columnIndex)
                            throws SQLException
Throws:
SQLException

getByte

public byte getByte(int columnIndex)
                      throws SQLException
Throws:
SQLException

getShort

public short getShort(int columnIndex)
                        throws SQLException
Throws:
SQLException

getInt

public int getInt(int columnIndex)
                    throws SQLException
Throws:
SQLException

getLong

public long getLong(int columnIndex)
                      throws SQLException
Throws:
SQLException

getFloat

public float getFloat(int columnIndex)
                        throws SQLException
Throws:
SQLException

getDouble

public double getDouble(int columnIndex)
                          throws SQLException
Throws:
SQLException

getBigDecimal

public BigDecimal getBigDecimal(int columnIndex,
                                int scale)
                                  throws SQLException
Throws:
SQLException

getBytes

public byte[] getBytes(int columnIndex)
                         throws SQLException
Throws:
SQLException

getDate

public Date getDate(int columnIndex)
                      throws SQLException
Throws:
SQLException

getTime

public Time getTime(int columnIndex)
                      throws SQLException
Throws:
SQLException

getTimestamp

public Timestamp getTimestamp(int columnIndex)
                                throws SQLException
Throws:
SQLException

getAsciiStream

public InputStream getAsciiStream(int columnIndex)
                                    throws SQLException
Throws:
SQLException

getUnicodeStream

public InputStream getUnicodeStream(int columnIndex)
                                      throws SQLException
Throws:
SQLException

getBinaryStream

public InputStream getBinaryStream(int columnIndex)
                                     throws SQLException
Throws:
SQLException

getString

public String getString(String columnName)
                          throws SQLException
Throws:
SQLException

getBoolean

public boolean getBoolean(String columnName)
                            throws SQLException
Throws:
SQLException

getByte

public byte getByte(String columnName)
                      throws SQLException
Throws:
SQLException

getShort

public short getShort(String columnName)
                        throws SQLException
Throws:
SQLException

getInt

public int getInt(String columnName)
                    throws SQLException
Throws:
SQLException

getLong

public long getLong(String columnName)
                      throws SQLException
Throws:
SQLException

getFloat

public float getFloat(String columnName)
                        throws SQLException
Throws:
SQLException

getDouble

public double getDouble(String columnName)
                          throws SQLException
Throws:
SQLException

getBigDecimal

public BigDecimal getBigDecimal(String columnName,
                                int scale)
                                  throws SQLException
Throws:
SQLException

getBytes

public byte[] getBytes(String columnName)
                         throws SQLException
Throws:
SQLException

getDate

public Date getDate(String columnName)
                      throws SQLException
Throws:
SQLException

getTime

public Time getTime(String columnName)
                      throws SQLException
Throws:
SQLException

getTimestamp

public Timestamp getTimestamp(String columnName)
                                throws SQLException
Throws:
SQLException

getAsciiStream

public InputStream getAsciiStream(String columnName)
                                    throws SQLException
Throws:
SQLException

getUnicodeStream

public InputStream getUnicodeStream(String columnName)
                                      throws SQLException
Throws:
SQLException

getBinaryStream

public InputStream getBinaryStream(String columnName)
                                     throws SQLException
Throws:
SQLException

getWarnings

public SQLWarning getWarnings()
                                throws SQLException
Throws:
SQLException

clearWarnings

public void clearWarnings()
                            throws SQLException
Throws:
SQLException

getCursorName

public String getCursorName()
                              throws SQLException
Throws:
SQLException

getMetaData

public ResultSetMetaData getMetaData()
                                       throws SQLException
Throws:
SQLException

getObject

public Object getObject(int columnIndex)
                          throws SQLException
Throws:
SQLException

getObject

public Object getObject(String columnName)
                          throws SQLException
Can return null if value of entry is an SQL null.

Throws:
SQLException

findColumn

public int findColumn(String columnName)
                        throws SQLException
Throws:
SQLException

getCharacterStream

public Reader getCharacterStream(int columnIndex)
                                   throws SQLException
Throws:
SQLException

getCharacterStream

public Reader getCharacterStream(String columnName)
                                   throws SQLException
Throws:
SQLException

getBigDecimal

public BigDecimal getBigDecimal(int columnIndex)
                                  throws SQLException
Throws:
SQLException

getBigDecimal

public BigDecimal getBigDecimal(String columnName)
                                  throws SQLException
Throws:
SQLException

isBeforeFirst

public boolean isBeforeFirst()
                               throws SQLException
Throws:
SQLException

isAfterLast

public boolean isAfterLast()
                             throws SQLException
Throws:
SQLException

isFirst

public boolean isFirst()
                         throws SQLException
Throws:
SQLException

isLast

public boolean isLast()
                        throws SQLException
Throws:
SQLException

beforeFirst

public void beforeFirst()
                          throws SQLException
Throws:
SQLException

afterLast

public void afterLast()
                        throws SQLException
Throws:
SQLException

first

public boolean first()
                       throws SQLException
Throws:
SQLException

last

public boolean last()
                      throws SQLException
Throws:
SQLException

getRow

public int getRow()
                    throws SQLException
Throws:
SQLException

absolute

public boolean absolute(int row)
                          throws SQLException
Throws:
SQLException

relative

public boolean relative(int rows)
                          throws SQLException
Throws:
SQLException

previous

public boolean previous()
                          throws SQLException
Throws:
SQLException

setFetchDirection

public void setFetchDirection(int direction)
                                throws SQLException
Throws:
SQLException

getFetchDirection

public int getFetchDirection()
                               throws SQLException
Throws:
SQLException

setFetchSize

public void setFetchSize(int rows)
                           throws SQLException
Throws:
SQLException

getFetchSize

public int getFetchSize()
                          throws SQLException
Throws:
SQLException

getType

public int getType()
                     throws SQLException
Throws:
SQLException

getConcurrency

public int getConcurrency()
                            throws SQLException
Throws:
SQLException

rowUpdated

public boolean rowUpdated()
                            throws SQLException
Throws:
SQLException

rowInserted

public boolean rowInserted()
                             throws SQLException
Throws:
SQLException

rowDeleted

public boolean rowDeleted()
                            throws SQLException
Throws:
SQLException

updateNull

public void updateNull(int columnIndex)
                         throws SQLException
Throws:
SQLException

updateBoolean

public void updateBoolean(int columnIndex,
                          boolean x)
                            throws SQLException
Throws:
SQLException

updateByte

public void updateByte(int columnIndex,
                       byte x)
                         throws SQLException
Throws:
SQLException

updateShort

public void updateShort(int columnIndex,
                        short x)
                          throws SQLException
Throws:
SQLException

updateInt

public void updateInt(int columnIndex,
                      int x)
                        throws SQLException
Throws:
SQLException

updateLong

public void updateLong(int columnIndex,
                       long x)
                         throws SQLException
Throws:
SQLException

updateFloat

public void updateFloat(int columnIndex,
                        float x)
                          throws SQLException
Throws:
SQLException

updateDouble

public void updateDouble(int columnIndex,
                         double x)
                           throws SQLException
Throws:
SQLException

updateBigDecimal

public void updateBigDecimal(int columnIndex,
                             BigDecimal x)
                               throws SQLException
Throws:
SQLException

updateString

public void updateString(int columnIndex,
                         String x)
                           throws SQLException
Throws:
SQLException

updateBytes

public void updateBytes(int columnIndex,
                        byte[] x)
                          throws SQLException
Throws:
SQLException

updateDate

public void updateDate(int columnIndex,
                       Date x)
                         throws SQLException
Throws:
SQLException

updateTime

public void updateTime(int columnIndex,
                       Time x)
                         throws SQLException
Throws:
SQLException

updateTimestamp

public void updateTimestamp(int columnIndex,
                            Timestamp x)
                              throws SQLException
Throws:
SQLException

updateAsciiStream

public void updateAsciiStream(int columnIndex,
                              InputStream x,
                              int length)
                                throws SQLException
Throws:
SQLException

updateBinaryStream

public void updateBinaryStream(int columnIndex,
                               InputStream x,
                               int length)
                                 throws SQLException
Throws:
SQLException

updateCharacterStream

public void updateCharacterStream(int columnIndex,
                                  Reader x,
                                  int length)
                                    throws SQLException
Throws:
SQLException

updateObject

public void updateObject(int columnIndex,
                         Object x,
                         int scale)
                           throws SQLException
Throws:
SQLException

updateObject

public void updateObject(int columnIndex,
                         Object x)
                           throws SQLException
Throws:
SQLException

updateNull

public void updateNull(String columnName)
                         throws SQLException
Throws:
SQLException

updateBoolean

public void updateBoolean(String columnName,
                          boolean x)
                            throws SQLException
Throws:
SQLException

updateByte

public void updateByte(String columnName,
                       byte x)
                         throws SQLException
Throws:
SQLException

updateShort

public void updateShort(String columnName,
                        short x)
                          throws SQLException
Throws:
SQLException

updateInt

public void updateInt(String columnName,
                      int x)
                        throws SQLException
Throws:
SQLException

updateLong

public void updateLong(String columnName,
                       long x)
                         throws SQLException
Throws:
SQLException

updateFloat

public void updateFloat(String columnName,
                        float x)
                          throws SQLException
Throws:
SQLException

updateDouble

public void updateDouble(String columnName,
                         double x)
                           throws SQLException
Throws:
SQLException

updateBigDecimal

public void updateBigDecimal(String columnName,
                             BigDecimal x)
                               throws SQLException
Throws:
SQLException

updateString

public void updateString(String columnName,
                         String x)
                           throws SQLException
Throws:
SQLException

updateBytes

public void updateBytes(String columnName,
                        byte[] x)
                          throws SQLException
Throws:
SQLException

updateDate

public void updateDate(String columnName,
                       Date x)
                         throws SQLException
Throws:
SQLException

updateTime

public void updateTime(String columnName,
                       Time x)
                         throws SQLException
Throws:
SQLException

updateTimestamp

public void updateTimestamp(String columnName,
                            Timestamp x)
                              throws SQLException
Throws:
SQLException

updateAsciiStream

public void updateAsciiStream(String columnName,
                              InputStream x,
                              int length)
                                throws SQLException
Throws:
SQLException

updateBinaryStream

public void updateBinaryStream(String columnName,
                               InputStream x,
                               int length)
                                 throws SQLException
Throws:
SQLException

updateCharacterStream

public void updateCharacterStream(String columnName,
                                  Reader reader,
                                  int length)
                                    throws SQLException
Throws:
SQLException

updateObject

public void updateObject(String columnName,
                         Object x,
                         int scale)
                           throws SQLException
Throws:
SQLException

updateObject

public void updateObject(String columnName,
                         Object x)
                           throws SQLException
Throws:
SQLException

insertRow

public void insertRow()
                        throws SQLException
Throws:
SQLException

updateRow

public void updateRow()
                        throws SQLException
Throws:
SQLException

deleteRow

public void deleteRow()
                        throws SQLException
Throws:
SQLException

refreshRow

public void refreshRow()
                         throws SQLException
Throws:
SQLException

cancelRowUpdates

public void cancelRowUpdates()
                               throws SQLException
Throws:
SQLException

moveToInsertRow

public void moveToInsertRow()
                              throws SQLException
Throws:
SQLException

moveToCurrentRow

public void moveToCurrentRow()
                               throws SQLException
Throws:
SQLException

getStatement

public Statement getStatement()
                                throws SQLException
Throws:
SQLException

getObject

public Object getObject(int i,
                        Map map)
                          throws SQLException
Throws:
SQLException

getRef

public Ref getRef(int i)
                    throws SQLException
Throws:
SQLException

getBlob

public Blob getBlob(int i)
                      throws SQLException
Throws:
SQLException

getClob

public Clob getClob(int i)
                      throws SQLException
Throws:
SQLException

getArray

public Array getArray(int i)
                        throws SQLException
Throws:
SQLException

getObject

public Object getObject(String colName,
                        Map map)
                          throws SQLException
Throws:
SQLException

getRef

public Ref getRef(String colName)
                    throws SQLException
Throws:
SQLException

getBlob

public Blob getBlob(String colName)
                      throws SQLException
Throws:
SQLException

getClob

public Clob getClob(String colName)
                      throws SQLException
Throws:
SQLException

getArray

public Array getArray(String colName)
                        throws SQLException
Throws:
SQLException

getDate

public Date getDate(int columnIndex,
                    Calendar cal)
                      throws SQLException
Throws:
SQLException

getDate

public Date getDate(String columnName,
                    Calendar cal)
                      throws SQLException
Throws:
SQLException

getTime

public Time getTime(int columnIndex,
                    Calendar cal)
                      throws SQLException
Throws:
SQLException

getTime

public Time getTime(String columnName,
                    Calendar cal)
                      throws SQLException
Throws:
SQLException

getTimestamp

public Timestamp getTimestamp(int columnIndex,
                              Calendar cal)
                                throws SQLException
Throws:
SQLException

getTimestamp

public Timestamp getTimestamp(String columnName,
                              Calendar cal)
                                throws SQLException
Throws:
SQLException

getURL

public URL getURL(int columnIndex)
                    throws SQLException
Throws:
SQLException

getURL

public URL getURL(String columnName)
                    throws SQLException
Throws:
SQLException

updateRef

public void updateRef(int columnIndex,
                      Ref x)
                        throws SQLException
Throws:
SQLException

updateRef

public void updateRef(String columnName,
                      Ref x)
                        throws SQLException
Throws:
SQLException

updateBlob

public void updateBlob(int columnIndex,
                       Blob x)
                         throws SQLException
Throws:
SQLException

updateBlob

public void updateBlob(String columnName,
                       Blob x)
                         throws SQLException
Throws:
SQLException

updateClob

public void updateClob(int columnIndex,
                       Clob x)
                         throws SQLException
Throws:
SQLException

updateClob

public void updateClob(String columnName,
                       Clob x)
                         throws SQLException
Throws:
SQLException

updateArray

public void updateArray(int columnIndex,
                        Array x)
                          throws SQLException
Throws:
SQLException

updateArray

public void updateArray(String columnName,
                        Array x)
                          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.