01: /*BEGIN_COPYRIGHT_BLOCK
02: *
03: * Copyright (c) 2001-2007, JavaPLT group at Rice University (javaplt@rice.edu)
04: * All rights reserved.
05: *
06: * Redistribution and use in source and binary forms, with or without
07: * modification, are permitted provided that the following conditions are met:
08: * * Redistributions of source code must retain the above copyright
09: * notice, this list of conditions and the following disclaimer.
10: * * Redistributions in binary form must reproduce the above copyright
11: * notice, this list of conditions and the following disclaimer in the
12: * documentation and/or other materials provided with the distribution.
13: * * Neither the names of DrJava, the JavaPLT group, Rice University, nor the
14: * names of its contributors may be used to endorse or promote products
15: * derived from this software without specific prior written permission.
16: *
17: * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
18: * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
19: * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
20: * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR
21: * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
22: * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
23: * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
24: * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
25: * LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
26: * NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
27: * SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
28: *
29: * This software is Open Source Initiative approved Open Source Software.
30: * Open Source Initative Approved is a trademark of the Open Source Initiative.
31: *
32: * This file is part of DrJava. Download the current version of this project
33: * from http://www.drjava.org/ or http://sourceforge.net/projects/drjava/
34: *
35: * END_COPYRIGHT_BLOCK*/
36:
37: package edu.rice.cs.drjava.platform;
38:
39: import javax.swing.Action;
40: import java.net.URL;
41:
42: /**
43: * Central interface for all platform-specific code in DrJava.
44: * A default platform-neutral implementation is provided in DefaultPlatform.
45: * @version $Id: PlatformSupport.java 4255 2007-08-28 19:17:37Z mgricken $
46: * @see edu.rice.cs.drjava.platform.DefaultPlatform
47: */
48: public interface PlatformSupport {
49:
50: /** Returns whether this is a Mac OS X platform. */
51: public boolean isMacPlatform();
52:
53: /** Returns whether this is a Windows platform. */
54: public boolean isWindowsPlatform();
55:
56: /** Returns the current Java specification version. */
57: public String getJavaSpecVersion();
58:
59: /** Returns true if the classpath's tools.jar is from version 1.3. */
60: public boolean has13ToolsJar();
61:
62: /** Returns true if the classpath's tools.jar is from version 1.4. */
63: public boolean has14ToolsJar();
64:
65: /** Utility method to determine if the current Swing look and feel is the
66: * platform-specific look and feel for the client platform.
67: * @return true if current Swing look and feel is the system look and feel
68: */
69: public boolean isUsingSystemLAF();
70:
71: /** Hook for performing general UI setup. Called before all other UI setup is done. */
72: public void beforeUISetup();
73:
74: /** Hook for performing general UI setup. Called after all other UI setup is done.
75: * @param about the Action associated with openning the About dialog
76: * @param prefs the Action associated with openning the Preferences dialog
77: * @param quit the Action associated with quitting the DrJava application
78: */
79: public void afterUISetup(Action about, Action prefs, Action quit);
80:
81: /** Utility method for opening a URL in a browser in a platform-specific way.
82: * The default implementation uses Runtime.exec to execute a command specified
83: * in Preferences. Platform implementations should attempt the default method
84: * first, then try to use a "default browser", if such a thing exists on the
85: * specific platform.
86: * @param address the URL to open
87: * @return true if the URL was successfully handled, false otherwise
88: */
89: public boolean openURL(URL address);
90: }
|