JML

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(non_null String columnName)
           
 boolean first()
           
 Array getArray(int i)
           
 Array getArray(non_null String colName)
           
 InputStream getAsciiStream(int columnIndex)
           
 InputStream getAsciiStream(non_null String columnName)
           
 BigDecimal getBigDecimal(int columnIndex)
           
 BigDecimal getBigDecimal(int columnIndex, int scale)
           
 BigDecimal getBigDecimal(non_null String columnName)
           
 BigDecimal getBigDecimal(non_null String columnName, int scale)
           
 InputStream getBinaryStream(int columnIndex)
           
 InputStream getBinaryStream(non_null String columnName)
           
 Blob getBlob(int i)
           
 Blob getBlob(non_null String colName)
           
 boolean getBoolean(int columnIndex)
           
 boolean getBoolean(non_null String columnName)
           
 byte getByte(int columnIndex)
           
 byte getByte(non_null String columnName)
           
 byte[] getBytes(int columnIndex)
           
 byte[] getBytes(non_null String columnName)
           
 Reader getCharacterStream(int columnIndex)
           
 Reader getCharacterStream(non_null String columnName)
           
 Clob getClob(int i)
           
 Clob getClob(non_null String colName)
           
 int getConcurrency()
           
 String getCursorName()
           
 Date getDate(int columnIndex)
           
 Date getDate(int columnIndex, non_null Calendar cal)
           
 Date getDate(non_null String columnName)
           
 Date getDate(non_null String columnName, non_null Calendar cal)
           
 double getDouble(int columnIndex)
           
 double getDouble(non_null String columnName)
           
 int getFetchDirection()
           
 int getFetchSize()
           
 float getFloat(int columnIndex)
           
 float getFloat(non_null String columnName)
           
 int getInt(int columnIndex)
           
 int getInt(non_null String columnName)
           
 long getLong(int columnIndex)
           
 long getLong(non_null String columnName)
           
 ResultSetMetaData getMetaData()
           
 Object getObject(int columnIndex)
           
 Object getObject(int i, non_null Map map)
           
 Object getObject(non_null String columnName)
          Can return null if value of entry is an SQL null.
 Object getObject(non_null String colName, non_null Map map)
           
 Ref getRef(int i)
           
 Ref getRef(non_null String colName)
           
 int getRow()
           
 short getShort(int columnIndex)
           
 short getShort(non_null String columnName)
           
 Statement getStatement()
           
 String getString(int columnIndex)
           
 String getString(non_null String columnName)
           
 Time getTime(int columnIndex)
           
 Time getTime(int columnIndex, non_null Calendar cal)
           
 Time getTime(non_null String columnName)
           
 Time getTime(non_null String columnName, non_null Calendar cal)
           
 Timestamp getTimestamp(int columnIndex)
           
 Timestamp getTimestamp(int columnIndex, non_null Calendar cal)
           
 Timestamp getTimestamp(non_null String columnName)
           
 Timestamp getTimestamp(non_null String columnName, non_null Calendar cal)
           
 int getType()
           
 InputStream getUnicodeStream(int columnIndex)
           
 InputStream getUnicodeStream(non_null String columnName)
           
 URL getURL(int columnIndex)
           
 URL getURL(non_null 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, non_null Array x)
           
 void updateArray(non_null String columnName, non_null Array x)
           
 void updateAsciiStream(int columnIndex, non_null InputStream x, int length)
           
 void updateAsciiStream(non_null String columnName, non_null InputStream x, int length)
           
 void updateBigDecimal(int columnIndex, non_null BigDecimal x)
           
 void updateBigDecimal(non_null String columnName, non_null BigDecimal x)
           
 void updateBinaryStream(int columnIndex, non_null InputStream x, int length)
           
 void updateBinaryStream(non_null String columnName, non_null InputStream x, int length)
           
 void updateBlob(int columnIndex, non_null Blob x)
           
 void updateBlob(non_null String columnName, non_null Blob x)
           
 void updateBoolean(int columnIndex, boolean x)
           
 void updateBoolean(non_null String columnName, boolean x)
           
 void updateByte(int columnIndex, byte x)
           
 void updateByte(non_null String columnName, byte x)
           
 void updateBytes(int columnIndex, non_null byte[] x)
           
 void updateBytes(non_null String columnName, non_null byte[] x)
           
 void updateCharacterStream(int columnIndex, non_null Reader x, int length)
           
 void updateCharacterStream(non_null String columnName, non_null Reader reader, int length)
           
 void updateClob(int columnIndex, non_null Clob x)
           
 void updateClob(non_null String columnName, non_null Clob x)
           
 void updateDate(int columnIndex, non_null Date x)
           
 void updateDate(non_null String columnName, non_null Date x)
           
 void updateDouble(int columnIndex, double x)
           
 void updateDouble(non_null String columnName, double x)
           
 void updateFloat(int columnIndex, float x)
           
 void updateFloat(non_null String columnName, float x)
           
 void updateInt(int columnIndex, int x)
           
 void updateInt(non_null String columnName, int x)
           
 void updateLong(int columnIndex, long x)
           
 void updateLong(non_null String columnName, long x)
           
 void updateNull(int columnIndex)
           
 void updateNull(non_null String columnName)
           
 void updateObject(int columnIndex, non_null Object x)
           
 void updateObject(int columnIndex, non_null Object x, int scale)
           
 void updateObject(non_null String columnName, non_null Object x)
           
 void updateObject(non_null String columnName, non_null Object x, int scale)
           
 void updateRef(int columnIndex, non_null Ref x)
           
 void updateRef(non_null String columnName, non_null Ref x)
           
 void updateRow()
           
 void updateShort(int columnIndex, short x)
           
 void updateShort(non_null String columnName, short x)
           
 void updateString(int columnIndex, non_null String x)
           
 void updateString(non_null String columnName, non_null String x)
           
 void updateTime(int columnIndex, non_null Time x)
           
 void updateTime(non_null String columnName, non_null Time x)
           
 void updateTimestamp(int columnIndex, non_null Timestamp x)
           
 void updateTimestamp(non_null String columnName, non_null 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
Specifications: non_null

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
Specifications: non_null

getBytes

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

getDate

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

getTime

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

getTimestamp

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

getAsciiStream

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

getUnicodeStream

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

getBinaryStream

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

getString

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

getBoolean

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

getByte

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

getShort

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

getInt

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

getLong

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

getFloat

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

getDouble

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

getBigDecimal

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

getBytes

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

getDate

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

getTime

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

getTimestamp

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

getAsciiStream

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

getUnicodeStream

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

getBinaryStream

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

getWarnings

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

clearWarnings

public void clearWarnings()
                            throws SQLException
Throws:
SQLException

getCursorName

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

getMetaData

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

getObject

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

getObject

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

Throws:
SQLException
Specifications: non_null

findColumn

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

getCharacterStream

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

getCharacterStream

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

getBigDecimal

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

getBigDecimal

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

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,
                             non_null BigDecimal x)
                               throws SQLException
Throws:
SQLException

updateString

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

updateBytes

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

updateDate

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

updateTime

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

updateTimestamp

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

updateAsciiStream

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

updateBinaryStream

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

updateCharacterStream

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

updateObject

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

updateObject

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

updateNull

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

updateBoolean

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

updateByte

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

updateShort

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

updateInt

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

updateLong

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

updateFloat

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

updateDouble

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

updateBigDecimal

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

updateString

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

updateBytes

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

updateDate

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

updateTime

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

updateTimestamp

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

updateAsciiStream

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

updateBinaryStream

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

updateCharacterStream

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

updateObject

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

updateObject

public void updateObject(non_null String columnName,
                         non_null 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
Specifications: non_null

getObject

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

getRef

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

getBlob

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

getClob

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

getArray

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

getObject

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

getRef

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

getBlob

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

getClob

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

getArray

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

getDate

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

getDate

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

getTime

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

getTime

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

getTimestamp

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

getTimestamp

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

getURL

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

getURL

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

updateRef

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

updateRef

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

updateBlob

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

updateBlob

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

updateClob

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

updateClob

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

updateArray

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

updateArray

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