Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
JML
 PREV   NEXT FRAMES    NO FRAMES    

Uses of Class
java.util.Calendar

Packages that use Calendar
java.sql JML Specifications for the corresponding types in the Java Developement Kit (JDK). 
java.util JML Specifications for the corresponding types in the Java Developement Kit (JDK). 
 

Uses of Calendar in java.sql
 

Methods in java.sql with parameters of type Calendar
abstract  void PreparedStatement.setDate(int parameterIndex, Date x, Calendar cal)
           
abstract  void PreparedStatement.setTime(int parameterIndex, Time x, Calendar cal)
           
abstract  void PreparedStatement.setTimestamp(int parameterIndex, Timestamp x, Calendar cal)
           
abstract  Date ResultSet.getDate(int columnIndex, Calendar cal)
           
abstract  Date ResultSet.getDate(String columnName, Calendar cal)
           
abstract  Time ResultSet.getTime(int columnIndex, Calendar cal)
           
abstract  Time ResultSet.getTime(String columnName, Calendar cal)
           
abstract  Timestamp ResultSet.getTimestamp(int columnIndex, Calendar cal)
           
abstract  Timestamp ResultSet.getTimestamp(String columnName, Calendar cal)
           
abstract  Date CallableStatement.getDate(int, Calendar)
           
abstract  Time CallableStatement.getTime(int, Calendar)
           
abstract  Timestamp CallableStatement.getTimestamp(int, Calendar)
           
abstract  Date CallableStatement.getDate(String, Calendar)
           
abstract  Time CallableStatement.getTime(String, Calendar)
           
abstract  Timestamp CallableStatement.getTimestamp(String, Calendar)
           
abstract  void CallableStatement.setDate(String, Date, Calendar)
           
abstract  void CallableStatement.setTime(String, Time, Calendar)
           
abstract  void CallableStatement.setTimestamp(String, Timestamp, Calendar)
           
 

Uses of Calendar in java.util
 

Subclasses of Calendar in java.util
 class GregorianCalendar
          JML's specification of java.util.Calendar.
 

Fields in java.util declared as Calendar
private  Calendar Date.cal
           
 

Methods in java.util that return Calendar
static Calendar Calendar.getInstance()
           
static Calendar Calendar.getInstance(TimeZone zone)
           
static Calendar Calendar.getInstance(Locale aLocale)
           
static Calendar Calendar.getInstance(TimeZone zone, Locale aLocale)
           
 

Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
JML
 PREV   NEXT FRAMES    NO FRAMES    
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.