Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

trivial - simplified trace

darcs-hash:20080216144751-34f1c-302f3ff6df568a890297d8d3c48c581c208bc7b3.gz
  • Loading branch information...
commit c4eb2d949243a1e16e8b57631826b82956a3b46f 1 parent 266178d
@leiffrenzel leiffrenzel authored
View
2  net.sf.eclipsefp.haskell.ghccompiler/.options
@@ -1,2 +1,2 @@
# Turn on tracing for the ghccompiler plugin
-net.sf.eclipsefp.haskell.ghccompiler/trace/compiling = false
+net.sf.eclipsefp.haskell.ghccompiler/compiling = false
View
32 net.sf.eclipsefp.haskell.ghccompiler/src/net/sf/eclipsefp/haskell/ghccompiler/GhcCompilerPlugin.java
@@ -9,52 +9,52 @@
/** <p>The main plugin class to be used in the desktop.</p>
*
- * @author the mighty PDE wizard
+ * @author the mighty PDE wizard
*/
public class GhcCompilerPlugin extends AbstractUIPlugin {
// The shared instance.
private static GhcCompilerPlugin plugin;
-
+
public GhcCompilerPlugin() {
plugin = this;
}
-
+
/** <p>returns the shared instance.</p> */
public static GhcCompilerPlugin getDefault() {
return plugin;
}
-
+
/** <p>returns the unique identifier for the GhcCompilerPlugin.</p> */
public static String getPluginId() {
return getDefault().getBundle().getSymbolicName();
}
public static boolean isTracing() {
- String option = getPluginId() + "/trace/compiling";
+ String option = getPluginId() + "/compiling";
String value = Platform.getDebugOption( option );
return value != null && value.equals( "true" );
}
-
+
// logging
//////////
-
+
public static void log( final String message, final int severity ) {
- Status status = new Status( severity,
- getPluginId(),
- IStatus.OK,
- message,
+ Status status = new Status( severity,
+ getPluginId(),
+ IStatus.OK,
+ message,
null );
getDefault().getLog().log( status );
}
public static void log( final String message, final Throwable throwable ) {
- Status status = new Status( IStatus.ERROR,
- getPluginId(),
- IStatus.OK,
- message,
+ Status status = new Status( IStatus.ERROR,
+ getPluginId(),
+ IStatus.OK,
+ message,
throwable );
getDefault().getLog().log( status );
- }
+ }
}
Please sign in to comment.
Something went wrong with that request. Please try again.