JML

java.sql
Class DriverManager

java.lang.Object
  extended byjava.sql.DriverManager

public class DriverManager
extends Object


Class Specifications

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

Model Field Summary
 
Model fields inherited from class java.lang.Object
_getClass, objectState, theString
 
Ghost Field Summary
 
Ghost fields inherited from class java.lang.Object
objectTimesFinalized, owner
 
Constructor Summary
DriverManager()
           
 
Model Method Summary
 
Model methods inherited from class java.lang.Object
hashValue
 
Method Summary
static void deregisterDriver(non_null Driver driver)
           
static Connection getConnection(non_null String url)
           
static Connection getConnection(non_null String url, nullable String user, nullable String password)
           
static Connection getConnection(String url, Properties info)
           
static Driver getDriver(non_null String url)
           
static Enumeration getDrivers()
           
static int getLoginTimeout()
           
static PrintStream getLogStream()
           
static PrintWriter getLogWriter()
           
static void println(String message)
           
static void registerDriver(non_null Driver driver)
           
static void setLoginTimeout(int seconds)
           
static void setLogStream(nullable PrintStream out)
           
static void setLogWriter(nullable PrintWriter out)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

DriverManager

public DriverManager()
Method Detail

getLogWriter

public static PrintWriter getLogWriter()
Specifications: nullable

setLogWriter

public static void setLogWriter(nullable PrintWriter out)

getConnection

public static Connection getConnection(String url,
                                       Properties info)
                                throws SQLException
Throws:
SQLException
Specifications: non_null

getConnection

public static Connection getConnection(non_null String url,
                                       nullable String user,
                                       nullable String password)
                                throws SQLException
Throws:
SQLException
Specifications: non_null

getConnection

public static Connection getConnection(non_null String url)
                                throws SQLException
Throws:
SQLException
Specifications: non_null

getDriver

public static Driver getDriver(non_null String url)
                        throws SQLException
Throws:
SQLException
Specifications: non_null

registerDriver

public static void registerDriver(non_null Driver driver)
                           throws SQLException
Throws:
SQLException

deregisterDriver

public static void deregisterDriver(non_null Driver driver)
                             throws SQLException
Throws:
SQLException

getDrivers

public static Enumeration getDrivers()
Specifications: non_null

setLoginTimeout

public static void setLoginTimeout(int seconds)

getLoginTimeout

public static int getLoginTimeout()

setLogStream

public static void setLogStream(nullable PrintStream out)

getLogStream

public static PrintStream getLogStream()
Specifications: nullable

println

public static void println(String message)

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.