version.java

derby database source code.good for you.

/*

   Derby - Class org.apache.derby.client.am.Version

   Copyright (c) 2001, 2005 The Apache Software Foundation or its licensors, where applicable.

   Licensed under the Apache License, Version 2.0 (the "License");
   you may not use this file except in compliance with the License.
   You may obtain a copy of the License at

      http://www.apache.org/licenses/LICENSE-2.0

   Unless required by applicable law or agreed to in writing, software
   distributed under the License is distributed on an "AS IS" BASIS,
   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
   See the License for the specific language governing permissions and
   limitations under the License.

*/

package org.apache.derby.client.am;



public abstract class Version {
    // Same as java.sql.DatabaseMetaData.getDriverName()
    public static String getDriverName() {
        return Configuration.dncDriverName;
    }

    // for DatabaseMetaData.getDriverVersion()
    public static String getDriverVersion() {
        return Configuration.dncProductVersionHolder__.getVersionBuildString(false);
    }


    // Same as java.sql.Driver.getMajorVersion(), getMinorVersion()
    public static int getMajorVersion() {
        return Configuration.getProductVersionHolder().getMajorVersion();
    }

    public static int getMinorVersion() {
        return Configuration.getProductVersionHolder().getMinorVersion();
    }

    public static int getBuildNumber() {
        return Configuration.getProductVersionHolder().getBuildNumberAsInt();
    }

    public static int getProtocolMaintVersion() {
        return Configuration.getProductVersionHolder().getDrdaMaintVersion();
    }

    public static boolean isAlpha() {
        return Configuration.getProductVersionHolder().isAlpha();
    }

    public static boolean isBeta() {
        return Configuration.getProductVersionHolder().isBeta();
    }

    // Not an external, just a helper method
    private static String getDriverNameAndVersion() {
        return Configuration.dncDriverName + " " +
                Configuration.dncProductVersionHolder__.getVersionBuildString(true);
    }

    // -------------------------- configuration print stream ---------------------

    public static void writeDriverConfiguration(java.io.PrintWriter printWriter) {
        String header = "[derby] ";
        synchronized (printWriter) {
            printWriter.println(header + "BEGIN TRACE_DRIVER_CONFIGURATION");
            printWriter.println(header + "Driver: " + getDriverNameAndVersion());

            printWriter.print(header + "Compatible JRE versions: { ");
            for (int i = 0; i < Configuration.dncCompatibleJREVersions.length; i++) {
                printWriter.print(Configuration.dncCompatibleJREVersions[i]);
                if (i != Configuration.dncCompatibleJREVersions.length - 1) {
                    printWriter.print(", ");
                }
            }
            printWriter.println(" }");

            printWriter.println(header + "Range checking enabled: " + Configuration.rangeCheckCrossConverters);
            printWriter.println(header + "Bug check level: 0x" + Integer.toHexString(Configuration.bugCheckLevel));
            printWriter.println(header + "Default fetch size: " + Configuration.defaultFetchSize);
            printWriter.println(header + "Default isolation: " + Configuration.defaultIsolation);

            java.lang.SecurityManager security = java.lang.System.getSecurityManager();
            if (security == null) {
                printWriter.println(header + "No security manager detected.");
            } else {
                printWriter.println(header + "Security manager detected.");
            }

            detectLocalHost(java.lang.System.getSecurityManager(), printWriter);

            printSystemProperty(security, "JDBC 1 system property jdbc.drivers = ", "jdbc.drivers", printWriter);

            printSystemProperty(security, "Java Runtime Environment version ", "java.version", printWriter);
            printSystemProperty(security, "Java Runtime Environment vendor = ", "java.vendor", printWriter);
            printSystemProperty(security, "Java vendor URL = ", "java.vendor.url", printWriter);
            printSystemProperty(security, "Java installation directory = ", "java.home", printWriter);
            printSystemProperty(security, "Java Virtual Machine specification version = ", "java.vm.specification.version", printWriter);
            printSystemProperty(security, "Java Virtual Machine specification vendor = ", "java.vm.specification.vendor", printWriter);
            printSystemProperty(security, "Java Virtual Machine specification name = ", "java.vm.specification.name", printWriter);
            printSystemProperty(security, "Java Virtual Machine implementation version = ", "java.vm.version", printWriter);
            printSystemProperty(security, "Java Virtual Machine implementation vendor = ", "java.vm.vendor", printWriter);
            printSystemProperty(security, "Java Virtual Machine implementation name = ", "java.vm.name", printWriter);
            printSystemProperty(security, "Java Runtime Environment specification version = ", "java.specification.version", printWriter);
            printSystemProperty(security, "Java Runtime Environment specification vendor = ", "java.specification.vendor", printWriter);
            printSystemProperty(security, "Java Runtime Environment specification name = ", "java.specification.name", printWriter);
            printSystemProperty(security, "Java class format version number = ", "java.class.version", printWriter);
            printSystemProperty(security, "Java class path = ", "java.class.path", printWriter);
            printSystemProperty(security, "Java native library path = ", "java.library.path", printWriter);
            printSystemProperty(security, "Path of extension directory or directories = ", "java.ext.dirs", printWriter);
            printSystemProperty(security, "Operating system name = ", "os.name", printWriter);
            printSystemProperty(security, "Operating system architecture = ", "os.arch", printWriter);
            printSystemProperty(security, "Operating system version = ", "os.version", printWriter);
            printSystemProperty(security, "File separator (\"/\" on UNIX) = ", "file.separator", printWriter);
            printSystemProperty(security, "Path separator (\":\" on UNIX) = ", "path.separator", printWriter);
            printSystemProperty(security, "User's account name = ", "user.name", printWriter);
            printSystemProperty(security, "User's home directory = ", "user.home", printWriter);
            printSystemProperty(security, "User's current working directory = ", "user.dir", printWriter);
            printWriter.println(header + "END TRACE_DRIVER_CONFIGURATION");
            printWriter.flush();
        }
    }

    private static void printSystemProperty(java.lang.SecurityManager security,
                                            String prefix,
                                            String property,
                                            java.io.PrintWriter printWriter) {
        String header = "[derby] ";
        synchronized (printWriter) {
            try {
                if (security != null) {
                    security.checkPropertyAccess(property);
                }
                String result = System.getProperty(property);
                printWriter.println(header + prefix + result);
                printWriter.flush();
            } catch (SecurityException e) {
                printWriter.println(header + "Security manager does not permit access to system property " + property);
                printWriter.flush();
            }
        }
    }

    // printWriter synchronized by caller
    private static void detectLocalHost(java.lang.SecurityManager security, java.io.PrintWriter printWriter) {
        String header = "[derby] ";
        // getLocalHost() will hang the HotJava 1.0 browser with a high security manager.
        if (security == null) {
            try {
                printWriter.print(header + "Detected local client host: ");
                printWriter.println(java.net.InetAddress.getLocalHost().toString());
                printWriter.flush();
            } catch (java.net.UnknownHostException e) {
                printWriter.print(header + "Detected an improper TCP/IP client configuration.");
                printWriter.print(header + "Unable to determine the IP address of your local host: ");
                printWriter.print(e.getMessage());
                printWriter.println(header + "Make sure your client machine has a properly configured IP address.");
                printWriter.flush();
            }
        }
    }
}